Abstract is missing.
- A serializability violation detector for shared-memory server programsMin Xu, Rastislav Bodík, Mark D. Hill. 1-14 [doi]
- Scalable statistical bug isolationBen Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan. 15-26 [doi]
- VYRD: verifYing concurrent programs by runtime refinement-violation detectionTayfun Elmas, Serdar Tasiran, Shaz Qadeer. 27-37 [doi]
- Path slicingRanjit Jhala, Rupak Majumdar. 38-47 [doi]
- Jungloid mining: helping to navigate the API jungleDavid Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman. 48-61 [doi]
- Checking type safety of foreign function callsMichael Furr, Jeffrey S. Foster. 62-72 [doi]
- Essential language support for generic programmingJeremy G. Siek, Andrew Lumsdaine. 73-84 [doi]
- Semantic type qualifiersBrian Chin, Shane Markstrum, Todd D. Millstein. 85-95 [doi]
- Permission-based ownership: encapsulating state in higher-order typed languagesNeel Krishnaswami, Jonathan Aldrich. 96-106 [doi]
- Code placement for improving dynamic branch prediction accuracyDaniel A. Jiménez. 107-116 [doi]
- Optimising aspectJPavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble. 117-128 [doi]
- Automatic pool allocation: improving performance by controlling data structure layout in the heapChris Lattner, Vikram S. Adve. 129-142 [doi]
- Garbage collection without pagingMatthew Hertz, Yi Feng, Emery D. Berger. 143-153 [doi]
- Register allocation for software pipelined multi-dimensional loopsHongbo Rong, Alban Douillet, Guang R. Gao. 154-167 [doi]
- Differential register allocationXiaotong Zhuang, Santosh Pande. 168-179 [doi]
- Demystifying on-the-fly spill codeAlex Aletà, Josep M. Codina, Antonio González, David R. Kaeli. 180-189 [doi]
- Pin: building customized program analysis tools with dynamic instrumentationChi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood. 190-200 [doi]
- TraceBack: first fault diagnosis by reconstruction of distributed control flowAndrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel. 201-212 [doi]
- DART: directed automated random testingPatrice Godefroid, Nils Klarlund, Koushik Sen. 213-223 [doi]
- Shangri-La: achieving high performance from compiled network applications while enabling ease of programmingMichael K. Chen, Xiao-Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, Roy Ju. 224-236 [doi]
- Automatically partitioning packet processing applications for pipelined architecturesJinquan Dai, Bo Huang, Long Li, Luddy Harrison. 237-248 [doi]
- Programming ad-hoc networks of mobile and resource-constrained devicesYang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode. 249-260 [doi]
- Threads cannot be implemented as a libraryHans-Juergen Boehm. 261-268 [doi]
- Mitosis compiler: an infrastructure for speculative threading based on pre-computation slicesCarlos García Quiñones, Carlos Madriles, F. Jesús Sánchez, Pedro Marcuello, Antonio González, Dean M. Tullsen. 269-279 [doi]
- The transactional manifesto: software engineering and non-blocking synchronizationMaurice Herlihy. 280 [doi]
- Programming by sketching for bit-streaming programsArmando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu. 281-294 [doi]
- PADS: a domain-specific language for processing ad hoc dataKathleen Fisher, Robert Gruber. 295-304 [doi]
- Composing security policies with polymerLujo Bauer, Jay Ligatti, David Walker. 305-314 [doi]
- Formal loop merging for signal transformsFranz Franchetti, Yevgen Voronenko, Markus Püschel. 315-326 [doi]