SIGPLAN Chair's Inclusivity Statement

SIGPLAN Blog

Awards and Recent Recipients

Programming Languages Achievement Award (presented in 2022)

• Xavier Leroy

Distinguished Service Award (presented in 2022)

• Mike Hicks

Programming Languages Software Award (presented in 2022)

• CompCert

Robin Milner Young Researcher Award (presented in 2022)

• Viktor Vafeiadis

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

• Uri Alon, Technion

  Machine Learning for Programming Language Processing

• Jay P. Lim, Rutgers, The State University of New Jersey

  Novel Polynomial Approximation Methods for Generating Correctly Rounded Elementary Functions

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

• John Regehr (University of Utah), Yang Chen (Meta), Pascal Cuoq (TrustInSoft), Eric Eide (University of Utah), Chucky Ellison, Xuejun Yang (Microsoft)

  (for 2012) Test-Case Reduction for C Compiler Bugs

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)
• Compiler Construction (CC)
• Code Generation and Optimization (CGO)
• Dynamic Languages Symposium ([DLS](Conferences/DLS) @ [SPLASH)
• 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)