Monica S. Lam
Proceedings of the 21st Conference on Programming Language Design and Implementation
PLDI, 2000.

@proceedings{PLDI-2000,
	acmid         = "349299",
	address       = "Britith Columbia, Canada",
	editor        = "Monica S. Lam",
	isbn          = "1-58113-199-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 21st Conference on Programming Language Design and Implementation}",
	year          = 2000,
}

Contents (30 items)

8 ×#analysis
5 ×#java
5 ×#optimisation
4 ×#compilation
4 ×#using
3 ×#interprocedural
3 ×#memory management
3 ×#pointer
2 ×#array
2 ×#bound

PLDI-2000-BalaDB #named #optimisation

Dynamo: a transparent dynamic optimization system (VB, ED, SB), pp. 1–12.

PLDI-2000-CierniakLS #java #optimisation

Practicing JUDO: Java under dynamic optimizations (MC, GYL, JMS), pp. 13–26.

PLDI-2000-Lucco #taxonomy

Split-stream dictionary program compression (SL), pp. 27–34.

PLDI-2000-Das #analysis #pointer

Unification-based pointer analysis with directional assignments (MD), pp. 35–46.

PLDI-2000-RouhtevC #analysis #points-to #scalability

Off-line variable substitution for scaling points-to analysis (AR, SC), pp. 47–56.

PLDI-2000-ChengH #analysis #composition #design #evaluation #implementation #interprocedural #pointer #using

Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation (BCC, WmWH), pp. 57–69.

PLDI-2000-XuMR #safety

Safety checking of machine code (ZX, BPM, TWR), pp. 70–82.

PLDI-2000-Necula #compilation #optimisation #validation

Translation validation for an optimizing compiler (GCN), pp. 83–94.

PLDI-2000-ColbyLNBPC #compilation #java

A certifying compiler for Java (CC, PL, GCN, FB, MP, KC), pp. 95–107.

PLDI-2000-StephensonBA #analysis #compilation

Bitwidth analysis with application to silicon compilation (MS, JB, SPA), pp. 108–120.

PLDI-2000-WilkenLH #integer #programming #scheduling #using

Optimal instruction scheduling using integer programming (KDW, JL, MH), pp. 121–133.

PLDI-2000-ZalameaLAV #code generation #pipes and filters

Improved spill code generation for software pipelined loops (JZ, JL, EA, MV), pp. 134–144.

PLDI-2000-LarsenA #parallel #set

Exploiting superword level parallelism with multimedia instruction sets (SL, SPA), pp. 145–156.

PLDI-2000-LinP #analysis #compilation #memory management

Compiler analysis of irregular memory accesses (YL, DAP), pp. 157–168.

PLDI-2000-YiAK #memory management #multi #recursion

Transforming loops to recursion for multi-level memory hierarchies (QY, VSA, KK), pp. 169–181.

PLDI-2000-RuginaR #analysis #array #bound #memory management #pointer

Symbolic bounds analysis of pointers, array indices, and accessed memory regions (RR, MCR), pp. 182–195.

PLDI-2000-SreedharBC #framework #interprocedural #optimisation

A framework for interprocedural optimization in the presence of dynamic class loading (VCS, MGB, JDC), pp. 196–207.

PLDI-2000-Ruf #effectiveness #java

Effective synchronization removal for Java (ER), pp. 208–218.

PLDI-2000-FlanaganF #concurrent #detection #java #type system

Type-based race detection for Java (CF, SNF), pp. 219–232.

PLDI-2000-Ramalingam #on the

On loops, dominators, and dominance frontier (GR), pp. 233–241.

PLDI-2000-WanH #functional #programming

Functional reactive programming from first principles (ZW, PH), pp. 242–252.

PLDI-2000-FahndrichRD #analysis #constraints #scalability #using

Scalable context-sensitive flow analysis using instantiation constraints (MF, JR, MD), pp. 253–263.

PLDI-2000-CannarozziPC #garbage collection

Contaminated garbage collection (DJC, MPP, RC), pp. 264–273.

PLDI-2000-DomaniKP #garbage collection #java #on the fly

A generational on-the-fly garbage collector for Java (TD, EKK, EP), pp. 274–284.

PLDI-2000-RamseyJ #exception #implementation #multi

A single intermediate language that supports multiple implementations of exceptions (NR, SLPJ), pp. 285–298.

PLDI-2000-Boothe #algorithm #bidirectional #debugging #performance

Efficient algorithms for bidirectional debugging (BB), pp. 299–310.

PLDI-2000-HeydonLY #dependence #precise #using

Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.

PLDI-2000-BodikGS #array #bound #named

ABCD: eliminating array bounds checks on demand (RB, RG, VS), pp. 321–333.

PLDI-2000-GhemawatRS #analysis #interprocedural #low cost

Field analysis: getting useful and low-cost interprocedural information (SG, KHR, DJS), pp. 334–344.

PLDI-2000-DolbyC #automation #evaluation #optimisation

An automatic object inlining optimization and its evaluation (JD, AAC), pp. 345–357.