Journal: SIGPLAN Notices

Volume 47, Issue 6

335 -- 346John Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. Test-case reduction for C compiler bugs

Volume 47, Issue 4a

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