 |
SIGPLAN |
| "To explore programming language concepts and tools focusing on design, implementation and efficient use." |
|
|
Special Interest Group on Programming Languages |
| SIGPLAN is a Special Interest Group of ACM
that focuses on Programming Languages. In particular, SIGPLAN explores the design, implementation, theory, and efficient use of programming languages and associated tools.
Its members are programming language users, developers, implementers, theoreticians, researchers and educators. |
|
Membership
|
Key Links
|
Sponsored Conferences and Symposia
Awards
-
SIGPLAN Programming Languages Achievement
Award
2010 Winner: Gordon D. Plotkin
-
SIGPLAN Distinguished Service Award
2010 Winner: Jack W. Davidson
-
SIGPLAN Programming Languages Software Award (New!)
2010 Winner: Chris Lattner
-
SIGPLAN Doctoral Dissertation Award
2009 Winners.
Akash Lal, University of Wisconsin. Interprocedural Analysis and the Verification of Concurrent Programs
William Thies, Massachusetts Institute of Technology, Language and Compiler Support for Stream Programs
-
Most Influential ICFP Paper Award
2010 (for 2000):Quickcheck: a lightweight tool for random testing of Haskell programs, Koen Claessen and John Hughes
- Most Influential OOPSLA Paper Award
2007 Winner (for 1997): Call Graph Construction in Object-Oriented Languages, David Grove, Greg
DeFouw, Jeffrey Dean, and Craig Chambers
- Most Influential PLDI Paper Award
2011 Winner (for 2001): Automatic predicate abstraction of C programs, Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
- Most Influential POPL Paper Award
2011 Winner
(for 2001): BI as an Assertion Language for Mutable Data Structures, Samin Ishtiaq and Peter W. O'Hearn
- John Vlissides Award
2009 Winner: Tudor Dumitras, Carnegie Mellon University
- ACM Fellows from the Programming Language Community
ACM Programming Language
Publications
|
|
|
|