Journal: SIGPLAN Notices

Volume 49, Issue 4S

1 -- 0Jan Vitek. SIGPLAN chair's report
2 -- 0Jeremy Gibbons. SIGPLAN vice-chair's report
3 -- 0Andrew Black. SIGPLAN secretary's report
4 -- 0Cristina V. Lopes. SIGPLAN treasurer's report
5 -- 7Derek Dreyer. SIGPLAN awards
8 -- 0Julia Lawall, Cristina V. Lopes. SIGPLAN Professional Activities Committee Report
9 -- 0Michael Hind. SIGPLAN research highlights annual report
10 -- 26Peter Sewell. POPL 2014 program chair's report
27 -- 32Cristina V. Lopes. The OOPSLA two-phase review process
33 -- 38Hans-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
39 -- 40Manuel Fähndrich, Francesco Logozzo. SAS2013 artifact submission experience report
41 -- 52David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler. The nesC language: a holistic approach to networked embedded systems
52 -- 63Didier Le Botlan, Didier Rémy. MLF: raising ML to the power of system F
64 -- 78Tim Harris 0001, Keir Fraser. Language support for lightweight transactions
79 -- 91Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan. Abstractions from proofs