SIGPLAN Chair's Inclusivity Statement

SIGPLAN Blog

Awards and Recent Recipients

Programming Languages Achievement Award (presented in 2025)

• Martin Odersky

Distinguished Service Award (presented in 2024)

• Emery Berger

Distinguished Educator Award (presented in 2025)

• Simon Peyton Jones

Programming Languages Software Award (presented in 2025)

• Lean Theorem Prover

Robin Milner Young Researcher Award (presented in 2025)

• Isil Dillig

John C. Reynolds Doctoral Dissertation Award (presented in 2025)

• Harrison Goldstein, University of Pennsylvania

  Property-Based Testing for the People

• Rachit Nigam, Cornell University

  Modular Abstractions for Efficient Hardware Design

Most Influential POPL Paper Award (presented in 2025)

• Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Paabøl Svendsen, Aaron Joseph Turon, Lars Birkedal, Derek Dreyer

  (for 2015): Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

Most Influential PLDI Paper Award (presented in 2025)

• Brandon Lucia and Benjamin Ransford

  (for 2015) A Simpler, Safer Programming and Execution Model for Intermittent Systems.

Most Influential ICFP Paper Award (presented in 2025)

• Andreas Rossberg

  (for 2015) 1ML - Core and Modules United (F-ing first-class modules)

Most Influential OOPSLA Paper Award (presented in 2025)

• Vu Le, Chengnian Sun, and Zhendong Su

  (for 2015) Finding Deep Compiler Bugs via Guided Stochastic Program Mutation

Other Awards at SIGPLAN-sponsored Events (presented in 2024)

• John Vlissides Award: Noam Zilberstein, Cornell University

ACM Fellows (recognized in 2020)

• Tony Hoare, Andrew D. Gordon, Cormac Flanagan, Gordon Plotkin, Patrick Cousot, and Thomas Eiter

SIGPLAN Sponsored Conferences

• Principles of Programming Languages (POPL)
• Programming Language Design and Implementation (PLDI)
• OOPSLA
• International Conference on Functional Programming (ICFP)
• Architectural Support for Programming Languages and Operating Systems (ASPLOS)
• Systems, Programming, Languages, and Applications Software for Humanity (SPLASH)
• Compiler Construction (CC)
• Code Generation and Optimization (CGO)
• Dynamic Languages Symposium (DLS)
• Generative Programming: Concepts and Experiences (GPCE)
• International Symposium on Memory Management (ISMM)
• Languages, Compilers, and Tools for Embedded Systems (LCTES)
• Haskell Symposium (HS)
• History of Programming Languages (HOPL)
• Managed Programming Languages & Runtimes (MPLR)
• Onward!
• Software Language Engineering (SLE)
• Principles and Practices of Parallel Programming (PPoPP)
• Virtual Execution Environments (VEE)
• The Programming Languages Mentoring Workshop (PLMW)
• Certified Programs and Proofs (CPP)