PLDI 2005: Chicago, IL, USA

Vivek Sarkar, Mary W. Hall (Eds.): Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005. ACM 2005, ISBN 1-59593-056-6

Bug detection and verification

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

Function interfaces

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

Types

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

Optimization

Daniel A. Jiménez:
Code placement for improving dynamic branch prediction accuracy. 107-116
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
Chris Lattner, Vikram S. Adve:
Automatic pool allocation: improving performance by controlling data structure layout in the heap. 129-142
Matthew Hertz, Yi Feng, Emery D. Berger:
Garbage collection without paging. 143-153

Register allocation

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

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
Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel:
TraceBack: first fault diagnosis by reconstruction of distributed control flow. 201-212
Patrice Godefroid, Nils Klarlund, Koushik Sen:
DART: directed automated random testing. 213-223

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
Jinquan Dai, Bo Huang, Long Li, Luddy Harrison:
Automatically partitioning packet processing applications for pipelined architectures. 237-248
Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode:
Programming ad-hoc networks of mobile and resource-constrained devices. 249-260

Threads

Hans-Juergen Boehm:
Threads cannot be implemented as a library. 261-268
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

The transactional manifesto

Maurice Herlihy:
The transactional manifesto: software engineering and non-blocking synchronization. 280

Domain-specific tools

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

Last update Sat May 18 19:35:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page