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