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