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 ...
s.
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
Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium on Compiler Optimization, held July 27–28, 1970 at the University of Illinois at Urbana-Ch ...
(PLDI)
*
International Symposium on Memory Management The International Symposium on Memory Management (ISMM) is an ACM SIGPLAN symposium on memory management know also as Institut des Sciences de Maçon Multitasking. Before becoming a conference it was known as the International Workshop on Memory Man ...
(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 pageat
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
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 extensions, ...
)
* 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:
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 ...
* 2015:
Luca Cardelli
Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. A ...
* 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 :fr:B ...
* 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
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
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
Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal (programming language), Pascal, and pioneered several classic topics in software engineering. In 1984, he w ...
* 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 ...
,
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
Erich Gamma is a Swiss computer scientist and one of the four co-authors (referred to as "Gang of Four") of the software engineering textbook, '' Design Patterns: Elements of Reusable Object-Oriented Software''.
Gamma is an expert in the Eclipse ...
,
Richard Helm
Richard Helm is one of the "Gang of Four" who wrote the influential '' Design Patterns'' book. In 2006 he was awarded the Dahl–Nygaard Prize
The Dahl–Nygaard Prize is awarded annually to a senior researcher with outstanding career contribution ...
,
Ralph Johnson,
John Vlissides
John Matthew Vlissides (August 2, 1961 – November 24, 2005) was a software engineer known mainly as one of the four authors (referred to as the Gang of Four) of the book '' Design Patterns: Elements of Reusable Object-Oriented Software''. Vliss ...
* 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 Back ...
* 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
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
* 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
Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development group for the Racket programming languages, responsible for creation of software packages including ...
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
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 ...
. 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:
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 ...
* 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 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 ...
* 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 Robert or Bob Harper may refer to:
* Robert Almer Harper (1862–1946), American botanist
* Robert Goodloe Harper (1765–1825), US senator from Maryland
* Robert Harper (fl. 1734–1761), founder of Harpers Ferry, West Virginia
* Robert Harper (a ...
, 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
Xavier or Xabier may refer to:
Place
* Xavier, Spain
People
* Xavier (surname)
* Xavier (given name)
* Francis Xavier (1506–1552), Catholic saint
** St. Francis Xavier (disambiguation)
* St. Xavier (disambiguation)
* Xavier (footballer, born ...
* 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
Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. A ...
* 2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions,
Mads Tofte
Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language.
Education
Tofte was born in Lyngby, Denmark and grew up in Holbæk, Denmark. H ...
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,
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
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](_blank)
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
See also
*
List of computer science awards
This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association for Computing Machinery, the Institute of Electrical and Electronics Engineers, other comput ...
References
External links
SIGPLAN homepage
{{Authority control
Association for Computing Machinery Special Interest Groups