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 progr ...

(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. Hi ...

(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 The history of programming languages spans from documentation of early mechanical computers to modern tools for software development. Early programming languages were highly specialized, relying on mathematical notation and similarly obscure ...

(HOPL) * Dynamic Languages Symposium (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 ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...

* 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 o ...

* 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 environment ...

* 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 Ra ...

* 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 versi ...

* 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 sol ...

* 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 software ...

(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 editor ...

* 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 from ...

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 CEO ...

(

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 represen ...

)

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 Thomas W. Reps (born 28 May 1956, United States) is an American computer scientist known for his contributions to automatic program analysis. Dr. Reps is Professor of Computer Science in the Computer Sciences Department of the University of Wisco ...

* 2016:

* 2015: Luca Cardelli * 2014: Neil D. Jones * 2013:

Patrick Cousot Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supéri ...

and

Radhia Cousot Radhia Cousot (6 August 1947 – 1 May 2014) was a Tunisian French computer scientist known for inventing abstract interpretation. Studies Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the mass ...

* 2012:

Matthias Felleisen Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US when he was 21 years old. He received his PhD from Indiana University under the direction of Daniel P. Friedman. Afte ...

* 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 c ...

* 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 Universi ...

* 2008: Barbara Liskov * 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 Uni ...

, Barry K. Rosen,

Mark Wegman Mark N. Wegman is an American computer scientist known for his contributions to algorithms and compiler optimization. Wegman received his B.A. from New York University and his Ph.D. from the University of California, Berkeley. He joined IBM Res ...

, 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 Frances Elizabeth Allen (August 4, 1932August 4, 2020) was an American computer scientist and pioneer in the field of optimizing compilers. Allen was the first woman to become an IBM Fellow, and in 2006 became the first woman to win the Turing ...

* 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 * 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 ''magna c ...

* 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 borne ...

* 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

SIGPLAN Distinguished Service Award

* 2016:

Phil Wadler Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical computer science, Theoretical Computer Science at the Laboratory ...

* 2015: Dan Grossman * 2014:

* 2013:

Kathleen Fisher Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation. Professor Fisher is Chair of Computer Science at Tufts University and one of the authors of the PADS data description ...

* 2012: Jens Palsberg * 2011: Kathryn S. McKinley * 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 Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency. Education Dr. Hailpern received his B.S. degree, summa cum laude, in Mathematics from t ...

* 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 Dick, Dicks, or Dick's may refer to: Media * ''Dicks'' (album), a 2004 album by Fila Brazillia * Dicks (band), a musical group * ''Dick'' (film), a 1999 American comedy film * "Dick" (song), a 2019 song by Starboi3 featuring Doja Cat Names ...

and John Richards

Most Influential PLDI Paper Award

* 2017 (for 2007): Valgrind: a framework for heavyweight dynamic binary instrumentation, Nicholas Nethercote,

Julian Seward Julian Seward is a British compiler writer and Free Software contributor who lives in Stuttgart. He is commonly known for creating the bzip2 compression tool in 1996, as well as the valgrind memory debugging toolset founded in 2000. In 2006, ...

* 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, 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,

Greg Morrisett John Gregory Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech. He previously was Dean of the Faculty of Computing and Information Science at Cornell University. Morrisett was the Allen B. Cutting Professor of Compute ...

, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee * 2005 (for 1995): Selective Specialization for Object-Oriented Languages,

Jeffrey Dean Jeffrey Adgate "Jeff" Dean (born July 23, 1968) is an American computer scientist and software engineer. Since 2018, he is the lead of Google AI, Google's AI division. Education Dean received a B.S., ''summa cum laude'', from the University ...

Craig Chambers Craig Chambers has been a computer scientist at Google since 2007. Prior to this, he was a Professor in the department of Computer Science and Engineering at the University of Washington. He received his B.S. degree in Computer Science from MIT i ...

, and

David Grove David C. Grove (born 1935) is an American anthropologist, archaeologist and academic, known for his contributions and research into the Preclassic (or Formative) period cultures of Mesoamerica, in particular those of the Mexican ''altiplano'' an ...

* 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 Monica Sin-Ling Lam is an American computer scientist. She is a professor in the Computer Science Department at Stanford University. Professional biography Monica Lam received a B.Sc. from University of British Columbia in 1980 and a Ph.D. in ...

* 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 E ...

, 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 Peter William O'Hearn One or more of the preceding sentences incorporates text from the royalsociety.org website where: (born 13 July 1963 in Halifax, Nova Scotia), formerly a research scientist at Meta, is a Distinguished Engineer at Lacewor ...

* 2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli and

Andrew D. Gordon Andrew D. Gordon is a British computer scientist employed by Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control. Biography Gordon earned a Ph.D. from ...

* 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 Pierre ...

* 2003 (for 1993): Imperative functional programming,

and

Philip Wadler Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical Computer Science at the Laboratory for Foundations of Computer S ...

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

Conferences

Associated journals

Newsletters

Awards

Programming Languages Software Award

Programming Languages Achievement Award

Robin Milner Young Researcher Award

SIGPLAN Doctoral Dissertation Award

SIGPLAN Distinguished Service Award

Most Influential PLDI Paper Award

Most Influential POPL Paper Award

Most Influential OOPSLA Paper Award

Most Influential ICFP Paper Award

See also

References

External links