Sigplan Dissertation Award

Welcome to the SIGPLAN Awards Nomination Portal

Programming Languages Achievement Award

The Programming Languages Achievement Award is given by ACM SIGPLAN to an individual or individuals who has made a significant and lasting contribution to the field of programming languages. The contribution can be a single event or a lifetime of achievement. The award includes a prize of $5,000. The award is announced at SIGPLAN’s PLDI conference in June. Nominations can be submitted at any time using this form. Nominations submitted on or before January 5th will be considered for that year’s award. A nomination for the Achievement Award that is not selected will remain in consideration for a total of three years.Submit a Nomination for the Programming Languages Achievement Award

Programming Languages Software Award

The Programming Languages Software Award is awarded to an institution or individual(s) to recognize the development a software system that has had a significant impact on programming language research, implementations, and tools. The impact may be reflected in the wide-spread adoption of the system or its underlying concepts by the wider programming language community either in research projects, in the open-source community, or commercially.The award includes a prize of $2,500.Submit a Nomination for the Programming Languages Software Award

Robin Milner Young Researcher Award

The Robin Milner Young Researcher Award is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages. Eligibility is limited to individuals whose computer-related professional career (graduate school or full-time employment, whichever began first) started no earlier than January 1st of the year that is 20 years prior to the award year. Nominations that are not selected will remain in consideration for a total of three years. The award includes a prize of $2,500.Submit a Nomination for the Robin Milner Young Researcher Award

John C. Reynolds Doctoral Dissertation Award

Presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages. The award includes a prize of $1,000. The winner can choose to receive the award at ICFP, OOPSLA, POPL, or PLDI.Submit a Nomination for the John C. Reynolds Doctoral Dissertation Award

Distinguished Service Award

Awarded on the basis of value and degree of services to the Programming Languages Community. The award recognizes contributions to ACM SIGPLAN, its conferences, publications, or its local activities. The award includes a prize of $2,500. Current members of the ACM SIGPLAN Executive Committee are not eligible for this award. Submit a Nomination for the Distinguished Service Award

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]

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


External links[edit]

0 thoughts on “Sigplan Dissertation Award

Leave a Reply

Your email address will not be published. Required fields are marked *