State of the Art in Program Analysis

More workshops at ACM SIGPLAN Conference on Programming Language Design and Implementation 2026

• Array-Oriented Programming — Workshop on programming models, languages, and compilers for array-oriented computation, with applications in scientific computing,...
• Choreographic Programming — Focuses on choreographic programming models that describe distributed systems from a global perspective, covering language...
• Equality Graphs — Workshop on e-graphs and equality saturation, a powerful technique for program optimisation and synthesis, covering...
• International Symposium on Memory Management — Co-hosted symposium covering garbage collection, memory allocation, runtime systems, and the theoretical and practical aspects...
• Languages, Compilers, and Tools for Embedded Systems — Co-hosted conference on programming languages, compilers, tools, and theory for embedded and real-time systems, covering...
• Principles of Agentic Engineering — Explores programming language foundations for agentic AI systems, including formal models for autonomous agents, language...
• Programming Languages Mentoring Workshop — Mentoring workshop for students and early-career researchers in programming languages, featuring talks on research careers,...
• Programming for the Planet — Examines how programming languages, compilers, and software tools can contribute to environmental sustainability, covering energy-aware...