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

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, 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 (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 dyn ...

(DLS)

Associated journals

ACM Transactions on Architecture and Code Optimization 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 ...

* 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 * 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) * 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 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 solv ...

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

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

(

Glasgow Haskell Compiler The Glasgow Haskell Compiler (GHC) is an open-source native code compiler for the functional programming language Haskell. It provides a cross-platform environment for the writing and testing of Haskell code and it supports numerous extension ...

) * 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 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 Alex is a given name. It can refer to a shortened version of Alexander, Alexandra, Alexis. People Multiple *Alex Brown (disambiguation), multiple people *Alex Gordon (disambiguation), multiple people *Alex Harris (disambiguation), multiple pe ...

* 2017: Thomas W. Reps * 2016: Simon Peyton Jones * 2015: Luca Cardelli * 2014:

Neil D. Jones __NOTOC__ Neil D. Jones (born 22 March 1941 in Centralia, Illinois, USA) is an American computer scientist. He is currently Professor Emeritus in computer science at University of Copenhagen. His work spans both programming languages and the theo ...

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

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

* 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 Gordon David Plotkin, (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and hi ...

* 2009: Rod Burstall * 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 s ...

* 2007:

Niklaus Wirth Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally ...

* 2006:

Ron Cytron Ron is a shortening of the name Ronald. Ron or RON may also refer to: Arts and media * Big Ron (''EastEnders''), a TV character * Ron (''King of Fighters''), a video game character *Ron Douglas, the protagonist in ''Lucky Stiff'' played by Joe A ...

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

Barry K. Rosen Barry may refer to: People and fictional characters * Barry (name), including lists of people with the given name, nickname or surname, as well as fictional characters with the given name * Dancing Barry, stage name of Barry Richards (born c. 1950 ...

, Mark Wegman, and

Kenneth Zadeck Kenneth is an English given name and surname. The name is an Anglicised form of two entirely different Gaelic personal names: ''Cainnech'' and '' Cináed''. The modern Gaelic form of ''Cainnech'' is ''Coinneach''; the name was derived from a byn ...

* 2005: Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides * 2004:

John Backus John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist. He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Backu ...

* 2003: John C. Reynolds * 2002: John McCarthy * 2001:

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

* 2000:

Susan Graham Susan Graham (born July 23, 1960) is an American mezzo-soprano. Life and career Susan Graham was born in Roswell, New Mexico on July 23, 1960. Raised in Midland, Texas, Graham is a graduate of Texas Tech University and the Manhattan School o ...

* 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 Guy Lewis Steele Jr. (; born October 2, 1954) is an American computer scientist who has played an important role in designing and documenting several computer programming languages and technical standards. Biography Steele was born in Missouri ...

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 Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

. * 2019:

Martin Vechev Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Depart ...

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

* 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 Stackable Unified Module Interconnect Technology (SUMIT) is a connector between expansion buses independent of motherboard form factor. Boards featuring SUMIT connectors are usually used in "stacks" where one board sits on top of another. It was pub ...

* 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 John C. Reynolds. 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 male Slavic given name, meaning "''to increase glory''" . The name has been used by several notable people of Russian, Polish, Ukrainian, Serbian, Czech and Slovak backgrounds. *Old Slavonic, Serbian, Slovak, Slov ...

SIGPLAN Distinguished Service Award

* 2016: Phil Wadler * 2015: Dan Grossman * 2014: Simon Peyton Jones * 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 f ...

* 2010: Jack W. Davidson * 2009: Mamdouh Ibrahim * 2008: Michael Burke * 2007: Linda M. Northrop * 2006: Hans Boehm * 2005: no award made * 2004:

* 2003:

Mary Lou Soffa Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering. She is also noted for her leadership in broadening participation in computing. She is o ...

* 2002: Andrew Appel * 2001:

Barbara G. Ryder Barbara G. Ryder is an American Computer Scientist noted for her research on programming languages and more specifically, the theoretical foundations and empirical investigation of interprocedural compile-time analysis. Biography Ryder received ...

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

* 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 * 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 * 2016 (for 2006): DieHard: probabilistic memory safety for unsafe languages,

Emery Berger Emery may refer to: Places United States * Emery, Arizona, a populated place * Emery, Illinois * Emery, Michigan * Emery, Ohio, a ghost town * Emery Park, a park in Erie County, New York * Emery, North Carolina * Emery, Fayette County, Pe ...

, 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 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 Compu ...

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

, 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 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'' ...

* 2004 (for 1994): ATOM: a system for building customized program analysis tools,

Amitabh Srivastava Amitabh or Amitabha may refer to: *Amitābha, an important Buddha in Buddhism **Amitābha Buddha from Hancui, a statue from Hancui, China, now in the British Museum *Amitabh Bachchan, an actor *Amitabh Chaudhry (born 1964/65), Indian banker, CEO an ...

and Alan Eustace * 2003 (for 1993): Space Efficient Conservative Garbage Collection, Hans Boehm * 2002 (for 1992): Lazy Code Motion,

Jens Knoop Jens may refer to: * Jens (given name), a list of people with the name * Jens (surname), a list of people * Jens, Switzerland, a municipality * 1719 Jens, an asteroid See also * Jensen (disambiguation) Jensen may refer to: People *Jensen (surn ...

Oliver Rüthing Oliver may refer to: Arts, entertainment and literature Books * ''Oliver the Western Engine'', volume 24 in ''The Railway Series'' by Rev. W. Awdry * ''Oliver Twist'', a novel by Charles Dickens Fictional characters * Ariadne Oliver ...

, 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 and ...

and Monica S. Lam * 2000 (for 1990): Profile guided code positioning,

Karl Pettis Karl may refer to: People * Karl (given name), including a list of people and characters with the name * Karl der Große, commonly known in English as Charlemagne * Karl Marx, German philosopher and political writer * Karl of Austria, last Austrian ...

and

Robert C. Hansen The name Robert is an ancient Germanic given name, from Proto-Germanic "fame" and "bright" (''Hrōþiberhtaz''). Compare Old Dutch ''Robrecht'' and Old High German ''Hrodebert'' (a compound of '' Hruod'' ( non, Hróðr) "fame, glory, honou ...

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 Nate or NATE may refer to: People and fictional characters * Nate (given name) *A nickname for Nathanael *A nickname for Nathaniel Organizations * National Association for the Teaching of English, the UK subject teacher association for all aspe ...

, 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 Westley may refer to: People * Westley Allan Dodd (1961–1993), American serial killer * Westley Sissel Unseld (1946–2020), American professional basketball player, coach and executive * William Westley Guth (1871–1929), American attor ...

* 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 * 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 Bjarne is a Nordic male name, a variant of Bjorn, and can refer to the following people: *Bjarne Andersson, a cross-country skier *Bjarne Berg-Sæther, a Norwegian politician *Bjarne Berntsen, a Norwegian football coach and former player *Bjarne ...

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