PLDI 2005
29 papers
- A serializability violation detector for shared-memory server programs
- Automatic pool allocation: improving performance by controlling data structure layout in the heap
- Automatically partitioning packet processing applications for pipelined architectures
- Checking type safety of foreign function calls
- Code placement for improving dynamic branch prediction accuracy
- Composing security policies with polymer
- DART: directed automated random testing
- Demystifying on-the-fly spill code
- Differential register allocation
- Essential language support for generic programming
- Formal loop merging for signal transforms
- Garbage collection without paging
- Jungloid mining: helping to navigate the API jungle
- Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices
- Optimising aspectJ
- PADS: a domain-specific language for processing ad hoc data
- Path slicing
- Permission-based ownership: encapsulating state in higher-order typed languages
- Pin: building customized program analysis tools with dynamic instrumentation
- Programming ad-hoc networks of mobile and resource-constrained devices
- Programming by sketching for bit-streaming programs
- Register allocation for software pipelined multi-dimensional loops
- Scalable statistical bug isolation
- Semantic type qualifiers
- Shangri-La: achieving high performance from compiled network applications while enabling ease of programming
- The transactional manifesto: software engineering and non-blocking synchronization
- Threads cannot be implemented as a library
- TraceBack: first fault diagnosis by reconstruction of distributed control flow
- VYRD: verifYing concurrent programs by runtime refinement-violation detection