SIGPLAN

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

Conferences

Principles of Programming Languages (POPL)
Programming Language Design and Implementation (PLDI)
International Symposium on Memory Management (ISMM)
Languages, Compilers, and Tools for Embedded Systems (LCTES)
Symposium on Principles and Practice of Parallel Programming (PPoPP)
International Conference on Functional Programming (ICFP)
Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
History of Programming Languages (HOPL)
Dynamic Languages Symposium (DLS)

Programming Languages Software Award:

Programming Languages Achievement Award:^[2]

2009: Rod Burstall
2008: Barbara Liskov
2007: Niklaus Wirth
2006: Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark Wegman, and Kenneth Zadeck
2005: Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
2004: John Backus
2003: John C. Reynolds
2002: John McCarthy
2001: Robin Milner
2000: Susan Graham
1999: Ken Kennedy
1998: Fran Allen
1997: Guy Steele

SIGPLAN Doctoral Dissertation Award:

SIGPLAN Distinguished Service Award:

Most Influential PLDI Paper Award:

2010 (for 2000): Dynamo: A Transparent Dynamic Optimization System, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji
2009 (for 1999): A Fast Fourier Transform Compiler, Matteo Frigo
2008 (for 1998): The implementation of the Cilk-5 multithreaded language, Matteo Frigo, Charles E. Leiserson, Keith H. Randall
2007 (for 1997): Exploiting hardware performance counters with flow and context sensitive profiling, Glenn Ammons, Thomas Ball, and James R. Larus
2006 (for 1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee
2005 (for 1995): Selective Specialization for Object-Oriented Languages, Jeffrey Dean, Craig Chambers, and David Grove
2004 (for 1994): ATOM: a system for building customized program analysis tools, Amitabh Srivastava and Alan Eustace
2003 (for 1993): Space Efficient Conservative Garbage Collection, Hans Boehm
2002 (for 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen
2001 (for 1991): A data locality optimizing algorithm, Michael E. Wolf and Monica S. Lam
2000 (for 1990): Profile guided code positioning, Karl Pettis and Robert C. Hansen

Most Influential POPL Paper Award

2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli and Andrew D. Gordon
2009 (for 1999): JFlow: Practical Mostly-Static Information Flow Control, Andrew C. Myers
2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, and Neal Glew
2007 (for 1997): Proof-carrying Code, George Necula
2006 (for 1996): Points-to Analysis in Almost Linear Time, Bjarne Steensgaard
2005 (for 1995): A Language with Distributed Scope, Luca Cardelli
2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, Mads Tofte and Jean-Pierre Talpin
2003 (for 1993): Imperative functional programming, Simon Peyton Jones and Philip Wadler

Most Influential OOPSLA Paper Award

2009 (for 1999): Implementing Jalapeño in Java, Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, and Stephen Smith
2008 (for 1998): Ownership Types for Flexible Alias Protection, David G. Clarke, John M. Potter, and James Noble
2007 (for 1997): Call Graph Construction in Object-Oriented Languages, David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers
2006 (for 1986–1996):
- Subject Oriented Programming: A Critique of Pure Objects, William Harrison and Harold Ossher
- Concepts and Experiments in Computational Reflection, Pattie Maes
- Self: The Power of Simplicity, David Ungar and Randall B. Smith

Most Influential ICFP Paper Award

2009 (for 1999): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace and Colin Runciman
2008 (for 1998): Cayenne — a language with dependent types, Lennart Augustsson
2007 (for 1997): Functional Reactive Animation, Conal Elliott and Paul Hudak
2006 (for 1996): Optimality and inefficiency: what isn't a cost model of the lambda calculus?, Julia L. Lawall and Harry G. Mairson