ACM SIGPLAN Notices

Keyphrases

Publications

volume 50, number 8s, 2015

volume 49, number 4S, 2014

Tim Harris, Keir Fraser
Language support for lightweight transactions. ACM SIGPLAN Notices 49 (4S) (2014)
Cristina V. Lopes
The OOPSLA two-phase review process. ACM SIGPLAN Notices 49 (4S) (2014)
Manuel Fähndrich, Francesco Logozzo
SAS2013 artifact submission experience report. ACM SIGPLAN Notices 49 (4S) (2014)
Jan Vitek
SIGPLAN chair's report. ACM SIGPLAN Notices 49 (4S) (2014)
Derek Dreyer
SIGPLAN awards. ACM SIGPLAN Notices 49 (4S) (2014)
David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler
The nesC language: a holistic approach to networked embedded systems. ACM SIGPLAN Notices 49 (4S) (2014)
Peter Sewell
POPL 2014 program chair's report. ACM SIGPLAN Notices 49 (4S) (2014)
Michael Hind
SIGPLAN research highlights annual report. ACM SIGPLAN Notices 49 (4S) (2014)
Jeremy Gibbons
SIGPLAN vice-chair's report. ACM SIGPLAN Notices 49 (4S) (2014)
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan
Abstractions from proofs. ACM SIGPLAN Notices 49 (4S) (2014)
Andrew P. Black
SIGPLAN secretary's report. ACM SIGPLAN Notices 49 (4S) (2014)
Didier Le Botlan, Didier Rémy
MLF: raising ML to the power of system F. ACM SIGPLAN Notices 49 (4S) (2014)
Julia Lawall, Cristina V. Lopes
SIGPLAN Professional Activities Committee Report. ACM SIGPLAN Notices 49 (4S) (2014)
Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
Cristina V. Lopes
SIGPLAN treasurer's report. ACM SIGPLAN Notices 49 (4S) (2014)

volume 48, number 4S, 2013

Robert Bruce Findler, Matthias Felleisen
ICFP 2002: Contracts for higher-order functions. ACM SIGPLAN Notices 48 (4S) (2013)
Jeremy Gibbons
ACM SIGPLAN vice-chair's report. ACM SIGPLAN Notices 48 (4S) (2013)
Derek Dreyer
SIGPLAN most influential paper awards. ACM SIGPLAN Notices 48 (4S) (2013)
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
Principles of POPL. ACM SIGPLAN Notices 48 (4S) (2013)
Michael Hind
CACM research highlights annual report. ACM SIGPLAN Notices 48 (4S) (2013)
David F. Bacon, Perry Cheng, V. T. Rajan
POPL 2003: A real-time garbage collector with low overhead and consistent utilization. ACM SIGPLAN Notices 48 (4S) (2013)
Shriram Krishnamurthi
Artifact evaluation for software conferences. ACM SIGPLAN Notices 48 (4S) (2013)
Julia Lawall, Cristina V. Lopes
SIGPLAN professional activities committee report. ACM SIGPLAN Notices 48 (4S) (2013)
Cristina V. Lopes
SIGPLAN treasurer's report. ACM SIGPLAN Notices 48 (4S) (2013)
Jan Vitek
SIGPLAN chair's report. ACM SIGPLAN Notices 48 (4S) (2013)
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
PLDI 2002: Extended static checking for Java. ACM SIGPLAN Notices 48 (4S) (2013)
Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley
OOPSLA 2002: Reconsidering custom memory allocation. ACM SIGPLAN Notices 48 (4S) (2013)
Andrew P. Black
SIGPLAN secretary's report. ACM SIGPLAN Notices 48 (4S) (2013)

volume 47, number 4a, 2012

Graham Hutton
SIGPLAN vice-chair's report. ACM SIGPLAN Notices 47 (4a) (2012)
Erez Petrank, Benjamin Zorn
SIGPLAN professional activities committee report. ACM SIGPLAN Notices 47 (4a) (2012)
Dan Grossman
Report on the SIGPLAN education board and related activities. ACM SIGPLAN Notices 47 (4a) (2012)
Mooly Sagiv
POPL'11 program chair's report. ACM SIGPLAN Notices 47 (4a) (2012)
Andrew P. Black
SIGPLAN secretary's report. ACM SIGPLAN Notices 47 (4a) (2012)
Cristina Cifuentes
SIGPLAN treasurer's report. ACM SIGPLAN Notices 47 (4a) (2012)
Claudio V. Russo
Recursive structures for standard ML. ACM SIGPLAN Notices 47 (4a) (2012)
Michael Hicks
POPL'12 program chair's report: (or, how to run a medium-sized conference). ACM SIGPLAN Notices 47 (4a) (2012)
Antony L. Hosking
Most influential papers of ICFP, OOPSLA, PLDI, and POPL. ACM SIGPLAN Notices 47 (4a) (2012)
Olivier Danvy
On submissions and resubmissions. ACM SIGPLAN Notices 47 (4a) (2012)
Philip Wadler
SIGPLAN chair's report. ACM SIGPLAN Notices 47 (4a) (2012)
Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47 (4a) (2012)
Kathleen Fisher, Ronald Garcia, Stephanie Weirich
Nourishing the future of the field: the programming language mentoring workshop 2012. ACM SIGPLAN Notices 47 (4a) (2012)
Jan Vitek, Tomas Kalibera
R3: repeatability, reproducibility and rigor. ACM SIGPLAN Notices 47 (4a) (2012)
George C. Necula, Scott McPeak, Westley Weimer
CCured: type-safe retrofitting of legacy code. ACM SIGPLAN Notices 47 (4a) (2012)
Benjamin Zorn
CACM research highlights annual report. ACM SIGPLAN Notices 47 (4a) (2012)
Grzegorz Czajkowski, Laurent Daynès
Multitasking without compromise: a virtual machine evolution. ACM SIGPLAN Notices 47 (4a) (2012)

volume 44, number 11, 2009

Matthew Danish, Hongwei Xi
Operating system development with ATS: work in progress: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)