Kernel Function Tracing in the Face of Compiler Optimization
Explore advanced kernel function tracing techniques and overcome challenges posed by compiler optimizations in Linux systems.
Let's Shake the Flutter Tree: Understanding Tree-Shaking in Multi-Platform Development
Explore Flutter's Tree-shaking mechanism to optimize cross-platform code and ensure efficient platform-specific builds.
Building a Full-Stack Kotlin Conference App in 40 Minutes - Confetti
Développez une application de conférence fullstack avec Kotlin, GraphQL et KMM. Explorez le backend graphql-kotlin, l'utilisation d'Apollo et la création de clients mobiles partagés.
A2: A Programming Language for the Apple II
Explore A2, a new programming language for Apple II, its motivations, and compiler development challenges. Learn about this MIT-licensed project from its creator.
Generic Tile Engine (GTE) - A Graphic Engine for the Apple IIgs - Lecture 25
Explore the Generic Tile Engine for Apple IIgs, featuring fast full-screen multi-plane parallax scrolling. Learn design goals, technical details, and see demos showcasing capabilities.
Writing an Apple /// Arcade Game
Explore creating an Apple /// arcade game in assembly, leveraging unique system capabilities. Dive into screen regions, interrupts, custom fonts, and audio integration for retro game development.
Nox Archaist - Analysis of Lord British Cow Bug
Explore the assembly code behind Nox Archaist's Lord British Cow Bug, learn its cause and fix, and discover potential new 6502 Workshop projects.
Snapshot Fuzzing with WTF Fuzzer - Techniques and Implementation
Master snapshot fuzzing with WTF Fuzzer. Configure Hyper-V, use Windbg and Bdump.js for snapshotting, develop harnesses, and fuzz C programs. Enhance your software security skills through hands-on practice.
Filling the Core Language Gaps - Proposed New Primitives in APL
Explore three proposed APL primitives enhancing function composition, generalization, and indexing, completing the language's core functionality.
Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
Optimize JavaScript VMs for IoT devices by reducing hidden classes, improving memory usage and execution speed through offline graph optimization and profile-guided techniques.
The Semantics of Plurals in Expression Languages - SLE
Explore the semantics of plurals in software languages, examining bunch theory and its integration with relations for seamless modeling and programming.
Forest: Structural Code Editing with Multiple Cursors
Explore Forest, a structural code editor bridging interactive editing and complex refactoring scripts through novel multi-cursor design for efficient and expressive code modifications.
The Principles of the Flix Programming Language
Explore the design values and principles of Flix, a multi-paradigm programming language, and their impact on its syntax, semantics, type system, and standard library.
Event-Driven Multiparty Session Actors
Explore a novel approach combining actor languages and multiparty session types for reliable distributed applications, featuring a statically-typed session system for multi-session actors.
Code Analysis at WhatsApp - Keynote
Explore WhatsApp's code analysis tools, dynamic and static analysis techniques, and their integration into software development lifecycles.
Shape-Constrained Array Programming with Size-Dependent Types
Explore a dependent type system for array-size consistency in functional programming, enabling compile-time shape enforcement and nontrivial transformations without added complexity.
Fast Deep Learning with Categories
Explore GPU-accelerated deep learning using Haskell, ConCat, and Accelerate for high-performance industrial applications.
A History of Subtyping
Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.
How to Thrive as a PhD Student in Programming Languages
Discover strategies for success and personal growth during your PL PhD journey, focusing on research, collaboration, and professional development.
MacoCaml - Staging Composable and Compilable Macros
Explore MacoCaml, a novel approach to compile-time code generation in OCaml, combining macros with phase separation and quotation-based staging. Learn about its theoretical foundation and implementation.
Trustworthy Runtime Verification via Bisimulation - Experience Report
Explore trustworthy runtime verification using bisimulation in the Copilot framework. Learn how CopilotVerifier generates correctness proofs for compiled monitors, enhancing safety-critical system assurance.