SIGPLAN Chair's Inclusivity Statement

SIGPLAN Blog

Awards and Recent Recipients

Programming Languages Achievement Award (presented in 2024)

• Keshav Pingali

Distinguished Service Award (presented in 2024)

• Emery Berger

Distinguished Educator Award (presented in 2023)

• Kathi Fisler and Shriram Krishnamurthi

Programming Languages Software Award (presented in 2024)

• The Rust Programming Language

Robin Milner Young Researcher Award (presented in 2024)

• Armando Solar-Lezama

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

• Benjamin Bichsel, ETH Zürich

  High-Level Quantum Programming

Most Influential POPL Paper Award (presented in 2024)

• Ramana Kumar, Magnus Myreen, Michael Norrish, Scott Owens

  (for 2014): CakeML: A Verified Implementation of ML

Most Influential PLDI Paper Award (presented in 2024)

• Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel

  (for 2014) FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps

Most Influential ICFP Paper Award (presented in 2024)

• Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones

  (for 2014) Refinement Types for Haskell

Most Influential OOPSLA Paper Award (presented in 2024)

• Terence Parr, Sam Harwell, Kathleen Fisher

  (for 2014) Adaptive LL(*) parsing: the power of dynamic analysis

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

• ASPLOS Most Influential Paper Award: Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou

  Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS 2008

• ASPLOS Most Influential Paper Award: Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, and Galen C. Hunt

  Rethinking the Library OS from the Top Down, ASPLOS 2011

• ASPLOS Most Influential Paper Award: Todd C. Mowry, Monica S. Lam, and Anoop Gupta

  Design and evaluation of a compiler algorithm for prefetching, ASPLOS 1992

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)