SIGPLAN is the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

's Special Interest Group on

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

Conferences

Principles of Programming Languages The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of prog ...

(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, the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, is an academic conference in the field of parallel programming. PPoPP is sponsored by the Association for Computing Machinery special interest group SIGPLAN. H ...

(PPoPP) *

International Conference on Functional Programming The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming). The con ...

(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 Dynamics (from Greek δυναμικός ''dynamikos'' "powerful", from δύναμις ''dynamis'' "power") or dynamic may refer to: Physics and engineering * Dynamics (mechanics) ** Aerodynamics, the study of the motion of air ** Analytical dynam ...

(DLS)

Associated journals

* ACM Transactions on Architecture and Code Optimization * ACM Transactions on Programming Languages and Systems
Proceedings of the ACM on Programming Languages

Newsletters

* SIGPLAN Notices -
Home page
at ACM * Fortran Forum - * Lisp Pointers (final issue 1995) - * OOPS Messenger (1990–1996) -

Awards

Programming Languages Software Award

* 2022:

CompCert CompCert is a formally verified optimizing compiler for a large subset of the C99 programming language (known as Clight) which currently targets PowerPC, ARM, RISC-V, x86 and x86-64 architectures. This project, led by Xavier Leroy, started of ...

* 2021:

WebAssembly WebAssembly (sometimes abbreviated Wasm) defines a portable binary-code format and a corresponding text format for executable programs as well as software interfaces for facilitating interactions between such programs and their host environmen ...

* 2020:

Pin (computer program) Pin is a platform for creating analysis tools. A pin tool comprises instrumentation, analysis and callback routines. Instrumentation routines are called when code that has not yet been recompiled is about to be run, and enable the insertion of ana ...

* 2019:

Scala (programming language) Scala ( ) is a strong statically typed general-purpose programming language that supports both object-oriented programming and functional programming. Designed to be concise, many of Scala's design decisions are aimed to address criticisms of ...

* 2018:

Racket (programming language) Racket is a general-purpose, multi-paradigm programming language and a multi-platform distribution that includes the Racket language, compiler, large standard library, IDE, development tools, and a set of additional languages including Typed R ...

* 2016:

V8 (JavaScript engine) V8 is a free and open-source JavaScript engine developed by the Chromium Project for Google Chrome and Chromium web browsers. The project’s creator is Lars Bak. The first version of the V8 engine was released at the same time as the first ve ...

* 2015:

Z3 Theorem Prover Z3, also known as the Z3 Theorem Prover, is a cross-platform satisfiability modulo theories (SMT) solver by Microsoft. Overview Z3 was developed in the ''Research in Software Engineering'' (RiSE) group at Microsoft Research and is targeted at so ...

* 2014:

GNU Compiler Collection The GNU Compiler Collection (GCC) is an optimizing compiler produced by the GNU Project supporting various programming languages, hardware architectures and operating systems. The Free Software Foundation (FSF) distributes GCC as free softwar ...

(GCC) * 2013: Coq

proof assistant In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof edi ...

* 2012:

Jikes Research Virtual Machine Jikes is an open-source Java compiler written in C++. It is no longer being updated. The original version was developed by David L. "Dave" Shields and Philippe Charles at IBM but was quickly transformed into an open-source project contributed ...

(RVM) * 2011:

Simon Peyton Jones Simon Peyton Jones (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. Education Peyton Jones graduated f ...

and

Simon Marlow Simon Marlow is a British computer programmer, author, and co-developer of the Glasgow Haskell Compiler (GHC). He and Simon Peyton Jones won the SIGPLAN Programming Languages Software Award in 2011 for their work on GHC. Marlow's book Parallel ...

( Glasgow Haskell Compiler) * 2010:

Chris Lattner Christopher Arthur Lattner (born 1978) is an American software engineer, former Google and Tesla employee and co-founder of LLVM, Clang compiler, MLIR compiler infrastructure and the Swift programming language. , he is the co-founder and CE ...

(

LLVM LLVM is a set of compiler and toolchain technologies that can be used to develop a front end for any programming language and a back end for any instruction set architecture. LLVM is designed around a language-independent intermediate repre ...

)

Programming Languages Achievement Award

Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages. * 2020: Hans-J. Boehm * 2019: Alex Aiken * 2017: Thomas W. Reps * 2016:

* 2015: Luca Cardelli * 2014: Neil D. Jones * 2013: Patrick Cousot and Radhia Cousot * 2012: Matthias Felleisen * 2011:

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and ...

* 2010: Gordon Plotkin * 2009:

Rod Burstall Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the Univers ...

* 2008:

Barbara Liskov Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the development of the Liskov su ...

* 2007: Niklaus Wirth * 2006: Ron Cytron,

Jeanne Ferrante Jeanne Ferrante is a computer scientist active in the field of compiler technology, where she has made important contributions regarding optimization and parallelization. Jeanne Ferrante is Professor of Computer Science and Engineering at Univ ...

, Barry K. Rosen, Mark Wegman, and Kenneth Zadeck * 2005: Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides * 2004: John Backus * 2003:

John C. Reynolds John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist. Education and affiliations John Reynolds studied at Purdue University and then earned a Doctor of Philosophy (Ph.D.) in theoretical physics from Harvard U ...

* 2002: John McCarthy * 2001: Robin Milner * 2000: Susan Graham * 1999: Ken Kennedy * 1998: Fran Allen * 1997: Guy Steele

Robin Milner Young Researcher Award

Recognizes outstanding contributions by young researchers in the area of programming languages. The award is named after the computer scientist Robin Milner. * 2019: Martin Vechev * 2018: Ranjit Jhala * 2017:

Derek Dreyer Derek is a masculine given name. It is the English language short form of ''Diederik'', the Low Franconian form of the name Theodoric. Theodoric is an old Germanic name with an original meaning of "people- ruler". Common variants of the name ...

* 2016:

Stephanie Weirich Stephanie Weirich ( ) is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. She is a professor of computer science at the University of Pennsylvania. Weirich graduated ''magn ...

* 2015: David Walker * 2014: Sumit Gulwani * 2013:

Lars Birkedal Lars is a common male name in Scandinavian countries. Origin ''Lars'' means "from the city of Laurentum". Lars is derived from the Latin name Laurentius, which means "from Laurentum" or "crowned with laurel". A homonymous Etruscan name was ...

* 2012: Shriram Krishnamurthi

SIGPLAN Doctoral Dissertation Award

The full name of this award is the John C. Reynolds Doctoral Dissertation Award, after the computer scientist

. It is "presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages." * 2018: Justin Hsu and David Menendez * 2017: Ramana Kumar * 2016: Shachar Itzhaky and Vilhelm Sjöberg * 2015: Mark Batty * 2014: Aaron Turon * 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 Rastislav or Rostyslav is a Slavic names, male Slavic given name, meaning "''to increase glory''" . The name has been used by several notable people of Russian language, Russian, Poland, Polish, Ukrainian language, Ukrainian, Serbian language, Ser ...

SIGPLAN Distinguished Service Award

* 2016: Phil Wadler * 2015: Dan Grossman * 2014:

* 2013: Kathleen Fisher * 2012: Jens Palsberg * 2011:

Kathryn S. McKinley Kathryn S. McKinley is an American computer scientist noted for her research on compilers, runtime systems, and computer architecture. She is also known for her leadership in broadening participation in computing. McKinley was co-chair of CRA-W fr ...

* 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 Loren is a given name, nickname and surname which may refer to: Given name Men * Loren Acton (born 1936), American physicist and astronaut * Loren C. Ball (born 1948), amateur astronomer who has discovered more than 100 asteroids * Loren M. Berry ...

* 1998: Brent Hailpern * 1997: J.A.N. Lee and

Jean E. Sammet Jean E. Sammet (March 23, 1928 – May 20, 2017) was an American computer scientist who developed the FORMAC programming language in 1962. She was also one of the developers of the influential COBOL programming language. She received her B.A. i ...

* 1996: Dick Wexelblat and John Richards

Most Influential PLDI Paper Award

* 2017 (for 2007): Valgrind: a framework for heavyweight dynamic binary instrumentation, Nicholas Nethercote, Julian Seward * 2016 (for 2006): DieHard: probabilistic memory safety for unsafe languages, Emery Berger, Benjamin Zorn * 2015 (for 2005): Pin: building customized program analysis tools with dynamic instrumentation, Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood * 2014 (for 2004): Scalable Lock-Free Dynamic Memory Allocation, Maged M. Michael * 2013 (for 2003): The nesC language: A holistic approach to networked embedded systems, David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer, and David E. Culler * 2012 (for 2002): Extended Static Checking for Java,

Cormac Flanagan Cormac is a masculine given name in the Irish and English languages. The name is ancient in the Irish language and is also seen in the rendered Old Norse as ''Kormákr''. Mac is Irish for "son", and can be used as either a prefix or a suffix ...

, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata * 2011 (for 2001): Automatic predicate abstraction of C programs, Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani * 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 David (; , "beloved one") (traditional spelling), , ''Dāwūd''; grc-koi, Δαυΐδ, Dauíd; la, Davidus, David; gez , ዳዊት, ''Dawit''; xcl, Դաւիթ, ''Dawitʿ''; cu, Давíдъ, ''Davidŭ''; possibly meaning "beloved one". w ...

, Greg Morrisett,

Perry Cheng Perry, also known as pear cider, is an alcoholic beverage made from fermented pears, traditionally the perry pear. It has been common for centuries in England, particularly in Gloucestershire, Herefordshire, and Worcestershire. It is also m ...

, Christopher Stone, Robert Harper, and

Peter Lee Peter Lee may refer to: *Peter Lee (bishop of Christ the King) (born 1947), England-born Anglican bishop, working in South Africa *Peter Lee (bishop of Virginia) (born 1938), American bishop of the Episcopal Church *Peter Lee (chess player) (born 19 ...

* 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 Michael may refer to: People * Michael (given name), a given name * Michael (surname), including a list of people with the surname Michael Given name "Michael" * Michael (archangel), ''first'' of God's archangels in the Jewish, Christian an ...

and Monica S. Lam * 2000 (for 1990): Profile guided code positioning, Karl Pettis and Robert C. Hansen

Most Influential POPL Paper Award

* 2018 (for 2008): Multiparty asynchronous session types, Kohei Honda, Nobuko Yoshida, Marco Carbone * 2017 (for 2007): JavaScript Instrumentation for Browser Security, Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov * 2016 (for 2006): Formal certification of a compiler back-end or: programming a compiler with a proof assistant, Xavier Leroy * 2015 (for 2005): Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View Update Problem, Nate Foster, Michael B. Greenwald, Jonathan T. Moore,

Benjamin C. Pierce Benjamin Crawford Pierce is the Henry Salvatori Professor of computer science at the University of Pennsylvania. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of ...

, Alan Schmitt * 2014 (for 2004): Abstractions from proofs, Thomas Henzinger,

Ranjit Jhala Ranjit can refer to: * Ranjit Singh (disambiguation) ** Ranjit Singh (1780–1839), First Maharaja of the Sikh Empire ** Ranjit Singh of Bharatpur (1776–1805), ruler of the Bharatpur princely state in Rajasthan, India ** K. S. Ranjitsinhji (1872� ...

, Rupak Majumdar, Kenneth McMillan * 2013 (for 2003): A real-time garbage collector with low overhead and consistent utilization, David F. Bacon, Perry Cheng, VT Rajan * 2012 (for 2002): CCured: Type-Safe Retrofitting of Legacy Code, George C. Necula, Scott McPeak, and Westley Weimer * 2011 (for 2001): BI as an Assertion Language for Mutable Data Structures, Samin Ishtiaq and Peter W. O'Hearn * 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 Jean-Pierre or Jean Pierre may refer to: People * Karine Jean-Pierre b.1977, White House Deputy Press Secretary for President Joe Biden 2021- * Jean-Pierre, Count of Montalivet (1766–1823), French statesman and Peer of France * Eugenia Pierr ...

* 2003 (for 1993): Imperative functional programming,

and Philip Wadler

Most Influential OOPSLA Paper Award

* 2017 (for 2007): Statistically Rigorous Java Performance Evaluation, Andy Georges,

Dries Buytaert Dries Buytaert (born 19 November 1978)Curriculum Vitae
is ...

, Lieven Eeckhout * 2016 (for 2006): The DaCapo benchmarks: Java benchmarking development and analysis, Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanović, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann * 2015 (for 2005): X10: An Object-Oriented Approach to Non-Uniform Cluster Computing, Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar * 2014 (for 2004): Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages, Gilad Bracha and David Ungar * 2013 (for 2003): Language Support for Lightweight Transactions, Tim Harris and Keir Fraser * 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

* 2019 (for 2009): Runtime Support for Multicore Haskell: Simon Marlow, Simon Peyton Jones, and Satnam Singh * 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

External links

SIGPLAN homepage
{{Authority control Association for Computing Machinery Special Interest Groups