From Wikipedia, the free encyclopedia
  (Redirected from SIGPLAN Notices)
Jump to: navigation, search

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


Associated journals[edit]



Programming Languages Software Award[edit]

Programming Languages Achievement Award[edit]

Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages.[7]

SIGPLAN Doctoral Dissertation Award[edit]

The full name of this award is the John C. Reynolds Doctoral Dissertation Award, after the computer scientist John C. Reynolds. It is "presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages."[8]

  • 2016: Shachar Itzhaky: Automatic Reasoning for Pointer Programs Using Decidable Logics
  • 2015: Mark Batty: The C11 and C++11 Concurrency Model
  • 2014: Aaron Turon: Understanding and Expressing Scalable Concurrency
  • 2013: Patrick Rondon: Verifying Low-Level Programs via Liquid Type Inference
  • 2012: Dan Marino: Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection
  • 2010: Robert L. Bocchino: An Effect System and Language for Deterministic-by-Default Parallel Programming
  • 2009: Akash Lai and William Thies
  • 2008: Michael Bond and Viktor Vafeiadis
  • 2007: Swarat Chaudhuri
  • 2006: Xiangyu Zhang
  • 2005: Sumit Gulwani
  • 2003: Godmar Back
  • 2002: Michael Hicks
  • 2001: Rastislav Bodik

SIGPLAN Distinguished Service Award[edit]

Most Influential PLDI Paper Award[edit]

Most Influential POPL Paper Award[edit]

  • 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[edit]

  • 2012 (for 2002): Reconsidering Custom Memory Allocation, Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley
  • 2010 (for 2000): Adaptive Optimization in the Jalapeño JVM, Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney
  • 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[edit]

  • 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


  1. ^ a b c "Programming Languages Software Award". Retrieved 2017-01-16. 
  2. ^ 2013: The Coq proof assistant. Sigplan. Retrieved on 2013-08-20.
  3. ^ 2012: Jikes Research Virtual Machine (RVM). Sigplan. Retrieved on 2013-08-20.
  4. ^ 2011: Simon Peyton Jones and Simon Marlow. Sigplan. Retrieved on 2013-08-20.
  5. ^ 2010: Chris Lattner. Sigplan. Retrieved on 2013-08-20.
  6. ^ ACM SIGPLAN Programming Languages Software Award in 2010 in recognition of his work on LLVM.
  7. ^ "SIGPLAN Programming Languages Achievement Award". ACM SIGPLAN. Archived from the original on 2014-05-18. 
  8. ^ "John C. Reynolds Doctoral Dissertation Award". Retrieved 2017-01-16. 

External links[edit]