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 2026)

• Derek Dreyer

Distinguished Educator Award (presented in 2026)

• Graham Hutton

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 2026)

• Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin

  (for 2016): Dependent Types and Multi-monadic Effects in F*

Most Influential PLDI Paper Award (presented in 2026)

• Oded Padon, Kenneth Lauchlin McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham

  (for 2016) Ivy: Safety Verification by Interactive Generalization.

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

John Vlissides Award (presented in 2025)

• John Vlissides Award: Amanda Xu, University of Wisconsin-Madison

ACM Fellows (recognized in 2020)

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

SIGPLAN Events

• 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)
• 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)
• The Programming Languages Mentoring Workshop (PLMW)
• Certified Programs and Proofs (CPP) (in-cooperation)
• International Conference on the Art, Science, and Engineering of Programming (‹Programming›) (in-cooperation)