PLDI 2005: Chicago, IL, USA

Bug detection and verification

• Min Xu, Rastislav Bodík, Mark D. Hill:
  A serializability violation detector for shared-memory server programs. 1-14
  Electronic Edition (ACM DL) BibTeX
• Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan:
  Scalable statistical bug isolation. 15-26
  Electronic Edition (ACM DL) BibTeX
• Tayfun Elmas, Serdar Tasiran, Shaz Qadeer:
  VYRD: verifYing concurrent programs by runtime refinement-violation detection. 27-37
  Electronic Edition (ACM DL) BibTeX
• Ranjit Jhala, Rupak Majumdar:
  Path slicing. 38-47
  Electronic Edition (ACM DL) BibTeX

Function interfaces

• David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman:
  Jungloid mining: helping to navigate the API jungle. 48-61
  Electronic Edition (ACM DL) BibTeX
• Michael Furr, Jeffrey S. Foster:
  Checking type safety of foreign function calls. 62-72
  Electronic Edition (ACM DL) BibTeX

Types

• Jeremy G. Siek, Andrew Lumsdaine:
  Essential language support for generic programming. 73-84
  Electronic Edition (ACM DL) BibTeX
• Brian Chin, Shane Markstrum, Todd D. Millstein:
  Semantic type qualifiers. 85-95
  Electronic Edition (ACM DL) BibTeX
• Neel Krishnaswami, Jonathan Aldrich:
  Permission-based ownership: encapsulating state in higher-order typed languages. 96-106
  Electronic Edition (ACM DL) BibTeX

Optimization

• Daniel A. Jiménez:
  Code placement for improving dynamic branch prediction accuracy. 107-116
  Electronic Edition (ACM DL) BibTeX
• Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble:
  Optimising aspectJ. 117-128
  Electronic Edition (ACM DL) BibTeX
• Chris Lattner, Vikram S. Adve:
  Automatic pool allocation: improving performance by controlling data structure layout in the heap. 129-142
  Electronic Edition (ACM DL) BibTeX
• Matthew Hertz, Yi Feng, Emery D. Berger:
  Garbage collection without paging. 143-153
  Electronic Edition (ACM DL) BibTeX

Register allocation

• Hongbo Rong, Alban Douillet, Guang R. Gao:
  Register allocation for software pipelined multi-dimensional loops. 154-167
  Electronic Edition (ACM DL) BibTeX
• Xiaotong Zhuang, Santosh Pande:
  Differential register allocation. 168-179
  Electronic Edition (ACM DL) BibTeX
• Alex Aletà, Josep M. Codina, Antonio González, David R. Kaeli:
  Demystifying on-the-fly spill code. 180-189
  Electronic Edition (ACM DL) BibTeX

Instrumentation and testing

• Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood:
  Pin: building customized program analysis tools with dynamic instrumentation. 190-200
  Electronic Edition (ACM DL) BibTeX
• Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel:
  TraceBack: first fault diagnosis by reconstruction of distributed control flow. 201-212
  Electronic Edition (ACM DL) BibTeX
• Patrice Godefroid, Nils Klarlund, Koushik Sen:
  DART: directed automated random testing. 213-223
  Electronic Edition (ACM DL) BibTeX

Network processing

• Michael K. Chen, Xiao-Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, Roy Ju:
  Shangri-La: achieving high performance from compiled network applications while enabling ease of programming. 224-236
  Electronic Edition (ACM DL) BibTeX
• Jinquan Dai, Bo Huang, Long Li, Luddy Harrison:
  Automatically partitioning packet processing applications for pipelined architectures. 237-248
  Electronic Edition (ACM DL) BibTeX
• Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode:
  Programming ad-hoc networks of mobile and resource-constrained devices. 249-260
  Electronic Edition (ACM DL) BibTeX

Threads

• Hans-Juergen Boehm:
  Threads cannot be implemented as a library. 261-268
  Electronic Edition (ACM DL) BibTeX
• Carlos García Quiñones, Carlos Madriles, F. Jesús Sánchez, Pedro Marcuello, Antonio González, Dean M. Tullsen:
  Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices. 269-279
  Electronic Edition (ACM DL) BibTeX

The transactional manifesto

• Maurice Herlihy:
  The transactional manifesto: software engineering and non-blocking synchronization. 280
  Electronic Edition (ACM DL) BibTeX

Domain-specific tools

• Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu:
  Programming by sketching for bit-streaming programs. 281-294
  Electronic Edition (ACM DL) BibTeX
• Kathleen Fisher, Robert Gruber:
  PADS: a domain-specific language for processing ad hoc data. 295-304
  Electronic Edition (ACM DL) BibTeX
• Lujo Bauer, Jay Ligatti, David Walker:
  Composing security policies with polymer. 305-314
  Electronic Edition (ACM DL) BibTeX
• Franz Franchetti, Yevgen Voronenko, Markus Püschel:
  Formal loop merging for signal transforms. 315-326
  Electronic Edition (ACM DL) BibTeX