SIGPLAN Chair's Inclusivity Statement

SIGPLAN Blog

Awards and Recent Recipients

Programming Languages Achievement Award (presented in 2023)

• Kathryn S. McKinley

Distinguished Service Award (presented in 2023)

• Talia Ringer

Programming Languages Software Award (presented in 2023)

• OCaml

Robin Milner Young Researcher Award (presented in 2023)

• Nate Foster

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

• Sam Westrick, Carnegie Mellong University

  Efficient and Scalable Parallel Functional Programming through Disentanglement

Most Influential POPL Paper Award (presented in 2023)

• Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang

  (for 2013): Views: Compositional reasoning for concurrent programs

Most Influential PLDI Paper Award (presented in 2023)

• Jonathan Ragan-Kelley (MIT), Connelly Barnes (Adobe), Andrew Adams (Adobe), Sylvain Paris (Adobe), Frédo Durand (MIT), Saman Amarasinghe (MIT)

  (for 2013) Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Representation in Image Processing Pipelines

Most Influential ICFP Paper Award (presented in 2022)

• Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell and David Mazières

  (for 2012) Addressing covert termination and timing channels in concurrent information flow systems

Most Influential OOPSLA Paper Award (presented in 2022)

• Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer and Paul Thomson

  (for 2012) GPUVerify: a verifier for GPU kernels

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)