SIGPLAN is the Association for Computing Machinery

Association for Computing Machinery

The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...

's Special Interest Group

Special Interest Group

A Special Interest Group is a community with an interest in advancing a specific area of knowledge, learning or technology where members cooperate to effect or to produce solutions within their particular field, and may communicate, meet, and organize conferences...

 on programming language

Programming language

A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....

s.

Conferences

• Principles of Programming Languages
  POPL
  The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming...
  
   (POPL)
• Programming Language Design and Implementation
  PLDI
  Programming Language Design and Implementation 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-Champaign and chaired by Robert S. Northcote. That conference...
  
   (PLDI)
• International Symposium on Memory Management
  International Symposium on Memory Management
  The International Symposium on Memory Management is an ACM SIGPLAN symposium on memory management. Before becoming a conference it was known as the International Workshop on Memory Management .- History :...
  
   (ISMM)
• Languages, Compilers, and Tools for Embedded Systems (LCTES)
• Symposium on Principles and Practice of Parallel Programming
  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)
• International Conference on Functional Programming
  International Conference on Functional Programming
  The International Conference on Functional Programming is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 ....
  
   (ICFP)
• Systems, Programming, Languages, and Applications: Software for Humanity
  SPLASH conference
  SPLASH is a conference sponsored by the SIGPLAN special interest group of the Association for Computing Machinery . It is an acronym for Systems, Programming, Languages, and Applications: Software for Humanity. The first SPLASH conference was held in Sparks, Nevada, October 17-21, 2010 at John...
  
   (SPLASH)
• Object-Oriented Programming, Systems, Languages, and Applications
  OOPSLA
  OOPSLA is an annual ACM research conference. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is typically held in Europe...
  
   (OOPSLA)
• History of Programming Languages
  HOPL
  History of Programming Languages is an infrequent ACM SIGPLAN conference. Past conferences were held in 1978, 1993, and 2007.- HOPL I :...
  
   (HOPL)
• Dynamic Languages Symposium (DLS)

Newsletters

• SIGPLAN Notices -
• Fortran Forum -
• Lisp Pointers (final issue 1995) -
• OOPS Messenger (1990-1996) -

Awards

Programming Languages Software Award:

• 2010: Chris Lattner
  Chris Lattner
  Chris Lattner is an American software developer, best known as the primary author of the Low Level Virtual Machine project and related projects, such as the clang compiler. He is currently the chief architect of the Compiler Group at Apple Inc.- Background :...
  
  

Programming Languages Achievement Award:

• 2009: Rod Burstall
  Rod Burstall
  Rodney Martineau Burstall is one of four founders of the Edinburgh Laboratory for Foundations of Computer Science.He was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is known for his work with Robin Popplestone on POP, an innovative...
  
  
• 2008: Barbara Liskov
  Barbara Liskov
  Barbara Liskov is a computer scientist. She is currently the Ford Professor of Engineering in the MIT School of Engineering's Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology.-Life and career:She earned her BA in...
  
  
• 2007: Niklaus Wirth
  Niklaus Wirth
  Niklaus Emil Wirth is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering. In 1984 he won the Turing Award for developing a sequence of innovative computer languages.-Biography:Wirth...
  
  
• 2006: Ron Cytron, Jeanne Ferrante
  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....
  
  , Barry K. Rosen, Mark Wegman
  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 Research in 1975, where he currently serves as head of...
  
  , and Kenneth Zadeck
• 2005: Erich Gamma
  Erich Gamma
  Erich Gamma is Swiss computer scientist and co-author of the influential Software engineering textbook, Design Patterns: Elements of Reusable Object-Oriented Software. He co-wrote the JUnit software testing framework with Kent Beck and led the design of the Eclipse platform's Java Development Tools...
  
  , Richard Helm, Ralph Johnson, John Vlissides
  John Vlissides
  John Matthew Vlissides was a software scientist known mainly as one of the four authors of the book Design Patterns: Elements of Reusable Object-Oriented Software...
  
  
• 2004: John Backus
  John Backus
  John Warner Backus was an American computer scientist. He directed the team that invented the first widely used high-level programming language and was the inventor of the Backus-Naur form , the almost universally used notation to define formal language syntax.He also did research in...
  
  
• 2003: John C. Reynolds
  John C. Reynolds
  John C. Reynolds is an American computer scientist.John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse University from 1970 to 1986. Since then he has been Professor of Computer...
  
  
• 2002: John McCarthy
  John McCarthy (computer scientist)
  John McCarthy was an American computer scientist and cognitive scientist. He coined the term "artificial intelligence" , invented the Lisp programming language and was highly influential in the early development of AI.McCarthy also influenced other areas of computing such as time sharing systems...
  
  
• 2001: Robin Milner
  Robin Milner
  Arthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:...
  
  
• 2000: Susan Graham
• 1999: Ken Kennedy
  Ken Kennedy (computer scientist)
  Ken Kennedy was an American computer scientist and professor at Rice University. He was the founding chairman of Rice's Computer Science Department....
  
  
• 1998: Fran Allen
• 1997: Guy Steele

SIGPLAN Doctoral Dissertation Award:

• 2009: Akash Lai and William Thies
• 2008: Michael Bond and Viktor Vafeiadis
• 2007: Swarat Chaudhuri
• 2006: Xiangyu Zhang
• 2005: Sumit Gulwani
• 2003: Godmar Back
• 2002: Michael Hicks
• 2001: Rastislav Bodik

SIGPLAN Distinguished Service Award:

• 2010: Jack W. Davidson
• 2009: Mamdouh Ibrahim
• 2008: Michael Burke
• 2007: Linda M. Northrop
• 2006: Hans Boehm
• 2005: no award made
• 2004: Ron Cytron
• 2003: Mary Lou Soffa
• 2002: Andrew Appel
  Andrew Appel
  Andrew Wilson Appel is the Eugene Higgins Professor of computer science at Princeton University, New Jersey. He is especially well-known because of his compiler books, the Modern Compiler Implementation in ML series, as well as Compiling With Continuations...
  
  
• 2001: Barbara Ryder
• 2000: David Wise
• 1999: Loren Meissner
• 1998: Brent Hailpern
  Brent Hailpern
  Brent Hailpern is a computer scientist and manager at IBM Research. His research work focused on programming languages and concurrency, and he is now Director of Computer Science at IBM Research - Almaden in San Jose, California.-Education:...
  
  
• 1997: Jan Lee and Jean E. Sammet
  Jean E. Sammet
  Jean E. Sammet is an American computer scientist who developed the FORMAC programming language in 1962.She received her B.A. in Math from Mount Holyoke College in 1948 and her M.A. in Math from University of Illinois at Urbana-Champaign in 1949...
  
  
• 1996: Dick Wexelblat and John Richards
  John Richards
  John Richards may refer to:*John Richards , Irish judge*John Richards , Bishop of St David's*John Richards , Bishop of Ebbsfleet...
  
  

Most Influential PLDI Paper Award:

• 2010 (for 2000): Dynamo: A Transparent Dynamic Optimization System, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji
• 2009 (for 1999): A Fast Fourier Transform Compiler, Matteo Frigo
• 2008 (for 1998): The implementation of the Cilk-5 multithreaded language, Matteo Frigo, Charles E. Leiserson, Keith H. Randall
• 2007 (for 1997): Exploiting hardware performance counters with flow and context sensitive profiling, Glenn Ammons, Thomas Ball, and James R. Larus
• 2006 (for 1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi, Greg Morrisett
  Greg Morrisett
  John Gregory Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science and Engineering in the Harvard School of Engineering and Applied Sciences....
  
  , Perry Cheng, Christopher Stone
  Christopher Stone
  Major Christopher Reynolds Stone, D.S.O., M.C. was the first disc jockey in the United Kingdom.He was educated at Eton College and served in the Royal Fusiliers. In 1906 Stone published a book of Sea songs and ballads and in 1923 he wrote the history of his old regiment...
  
  , Robert Harper
  Robert Harper (computer scientist)
  Robert "Bob" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions to the design of the Standard ML programming language and the LF logical framework....
  
  , and Peter Lee
  Peter Lee (computer scientist)
  Peter Lee is an American computer scientist. He is a Distinguished Scientist and Managing Director of Microsoft Research, Redmond, USA. Previously, he was the head of the Transformational Convergence Technology Office of the Defense Advanced Research Projects Agency and the Department Chair of...
  
  
• 2005 (for 1995): Selective Specialization for Object-Oriented Languages, Jeffrey Dean, Craig Chambers, and David Grove
• 2004 (for 1994): ATOM: a system for building customized program analysis tools, Amitabh Srivastava and Alan Eustace
• 2003 (for 1993): Space Efficient Conservative Garbage Collection, Hans Boehm
• 2002 (for 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen
• 2001 (for 1991): A data locality optimizing algorithm, Michael E. Wolf and Monica S. Lam
  Monica S. Lam
  Monica Sin-Ling Lam is a professor in the Computer Science Department at Stanford, and Founder and Chief Scientist of MokaFive.-Professional biography:...
  
  
• 2000 (for 1990): Profile guided code positioning, Karl Pettis and Robert C. Hansen

Most Influential POPL Paper Award

• 2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli and Andrew D. Gordon
• 2009 (for 1999): JFlow: Practical Mostly-Static Information Flow Control, Andrew C. Myers
• 2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, and Neal Glew
• 2007 (for 1997): Proof-carrying Code, George Necula
• 2006 (for 1996): Points-to Analysis in Almost Linear Time, Bjarne Steensgaard
• 2005 (for 1995): A Language with Distributed Scope, Luca Cardelli
  Luca Cardelli
  Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the functional programming...
  
  
• 2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, Mads Tofte
  Mads Tofte
  Mads Tofte is a Danish computer scientist who has contributed in particular to Functional programming and the Standard ML programming language.In April 1999 he was appointed the first managing director of the IT University of Copenhagen...
  
   and Jean-Pierre Talpin
• 2003 (for 1993): Imperative functional programming, Simon Peyton Jones
  Simon Peyton Jones
  Simon Peyton Jones is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional languages...
  
   and Philip Wadler
  Philip Wadler
  Philip Wadler is a computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and...
  
  

Most Influential OOPSLA Paper Award

• 2009 (for 1999): Implementing Jalapeño in Java, Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, and Stephen Smith
• 2008 (for 1998): Ownership Types for Flexible Alias Protection, David G. Clarke, John M. Potter, and James Noble
• 2007 (for 1997): Call Graph Construction in Object-Oriented Languages, David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers
• 2006 (for 1986-1996):
  • Subject Oriented Programming: A Critique of Pure Objects, William Harrison and Harold Ossher
  • Concepts and Experiments in Computational Reflection, Pattie Maes
  • Self: The Power of Simplicity, David Ungar and Randall B. Smith

Most Influential ICFP Paper Award

• 2009 (for 1999): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace and Colin Runciman
• 2008 (for 1998): Cayenne — a language with dependent types, Lennart Augustsson
• 2007 (for 1997): Functional Reactive Animation, Conal Elliott and Paul Hudak
• 2006 (for 1996): Optimality and inefficiency: what isn't a cost model of the lambda calculus?, Julia L. Lawall and Harry G. Mairson