Optimizing Apps for Foldable Devices - What Can My Foldable Do?
Explore foldable device capabilities, optimize layouts, and create unique experiences using Jetpack WindowManager. Learn to adapt apps for different postures and display configurations.
What Connects an Electronic Stethoscope and a Baby Monitor? - A Case Study on BLE Issues
Investigate BLE issues in healthcare Android apps through a real-world case study. Explore problem-solving approaches and learn from challenges in combining BLE with Android.
Elevating Camera Flows with Jetpack Compose
Elevate camera integrations in Jetpack Compose apps: build QR scanners, selfie snappers, and smooth video capture for a transformed user experience.
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.
The 4 Horsemen of Unsoundness in Object-Oriented Languages
Explore 4 subtle issues challenging OO verification: termination, leaky partial verification, ill-founded contracts, and reduction to primitive operations.
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.
Competitive Debugging: Toward Contests Promoting Debugging as a Skill
Explore competitive debugging as a novel approach to enhance software development skills through engaging contests, promoting debugging techniques and tool adoption.
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.