SIGPLAN
From Infogalactic: the planetary knowledge core
(Redirected from ACM SIGPLAN Programming Languages Software Award)
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Contents
- 1 Conferences
- 2 Associated journals
- 3 Newsletters
- 4 Awards
- 4.1 Programming Languages Software Award
- 4.2 Programming Languages Achievement Award
- 4.3 SIGPLAN Doctoral Dissertation Award
- 4.4 SIGPLAN Distinguished Service Award
- 4.5 Most Influential PLDI Paper Award
- 4.6 Most Influential POPL Paper Award
- 4.7 Most Influential OOPSLA Paper Award
- 4.8 Most Influential ICFP Paper Award
- 5 References
- 6 External links
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)
Associated journals
- ACM Transactions on Architecture and Code Optimization
- ACM Transactions on Programming Languages and Systems
Newsletters
- SIGPLAN Notices - ISSN 1558-1160 ISSN 0362-1340
- Fortran Forum - ISSN 1061-7264 ISSN 1931-1311
- Lisp Pointers (final issue 1995) - ISSN 1045-3563
- OOPS Messenger (1990–1996) - ISSN 1558-0253 ISSN 1055-6400
Awards
Programming Languages Software Award
- 2010: Chris Lattner (LLVM)[1][2]
- 2011: Simon Peyton Jones and Simon Marlow (Glasgow Haskell Compiler)[3]
- 2012: Jikes Research Virtual Machine (RVM)[4]
- 2013: Coq proof assistant[5]
Programming Languages Achievement Award
Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages.[6]
- 2014: Neil D. Jones
- 2013: Patrick Cousot and Radhia Cousot
- 2012: Matthias Felleisen
- 2011: Tony Hoare
- 2010: Gordon Plotkin
- 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
- 2013: Patrick Rondon
- 2012: Dan Marino
- 2010: Robert L. Bocchino
- 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
- 2010: Jack W. Davidson
- 2009: Mamdouh Ibrahim
- 2008: Michael Burke
- 2007: Linda M. Northrop
- 2006: Hans Boehm
- 2005: no award made
- 2004: Ron Cytron
- 2003: Mary Lou Soffa
- 2002: Andrew Appel
- 2001: Barbara G. Ryder
- 2000: David Wise
- 1999: Loren Meissner
- 1998: Brent Hailpern
- 1997: Jan Lee and Jean E. Sammet
- 1996: Dick Wexelblat and John Richards
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
- 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
- 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
References
- ↑ 2010: Chris Lattner. Sigplan. Retrieved on 2013-08-20.
- ↑ ACM SIGPLAN Programming Languages Software Award in 2010 in recognition of his work on LLVM.
- ↑ 2011: Simon Peyton Jones and Simon Marlow. Sigplan. Retrieved on 2013-08-20.
- ↑ 2012: Jikes Research Virtual Machine (RVM). Sigplan. Retrieved on 2013-08-20.
- ↑ 2013: The Coq proof assistant. Sigplan. Retrieved on 2013-08-20.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
Lua error in package.lua at line 80: module 'strict' not found.