default search action
PLDI 2005: Chicago, IL, USA
- Vivek Sarkar, Mary W. Hall:
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, Alex 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
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
Demystifying on-the-fly spill code. 180-189
Instrumentation and testing
- Chi-Keung Luk, Robert S. Cohn
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
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
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
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
Composing security policies with polymer. 305-314 - Franz Franchetti, Yevgen Voronenko, Markus Püschel:
Formal loop merging for signal transforms. 315-326
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: