PLDI 2000
30 papers
- A certifying compiler for Java
- A framework for interprocedural optimization in the presence of dynamic class loading
- A generational on-the-fly garbage collector for Java
- A single intermediate language that supports multiple implementations of exceptions
- ABCD: eliminating array bounds checks on demand
- An automatic object inlining optimization and its evaluation
- Bitwidth analysis with application to silicon compilation
- Caching function calls using precise dependencies
- Compiler analysis of irregular memory accesses
- Contaminated garbage collection
- Dynamo: a transparent dynamic optimization system
- Effective synchronization removal for Java
- Efficient algorithms for bidirectional debugging
- Exploiting superword level parallelism with multimedia instruction sets
- Field analysis: getting useful and low-cost interprocedural information
- Functional reactive programming from first principles
- Improved spill code generation for software pipelined loops
- Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation
- Off-line variable substitution for scaling points-to analysis
- On loops, dominators, and dominance frontier
- Optimal instruction scheduling using integer programming
- Practicing JUDO: Java under dynamic optimizations
- Safety checking of machine code
- Scalable context-sensitive flow analysis using instantiation constraints
- Split-stream dictionary program compression
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions
- Transforming loops to recursion for multi-level memory hierarchies
- Translation validation for an optimizing compiler
- Type-based race detection for Java
- Unification-based pointer analysis with directional assignments