Michael Burke, Mary Lou Soffa
Proceedings of the 22nd Conference on Programming Language Design and Implementation
PLDI, 2001.

@proceedings{PLDI-2001,
	acmid         = "378795",
	address       = "Snowbird, Utah, USA",
	editor        = "Michael Burke and Mary Lou Soffa",
	isbn          = "1-58113-414-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd Conference on Programming Language Design and Implementation}",
	year          = 2001,
}

Contents (30 items)

6 ×#analysis
4 ×#named
3 ×#c
3 ×#pointer
2 ×#abstraction
2 ×#bytecode
2 ×#compilation
2 ×#framework
2 ×#garbage collection
2 ×#java

PLDI-2001-KennedyS #design #dot-net #implementation #runtime

Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.

PLDI-2001-HicksMN

Dynamic Software Updating (MWH, JTM, SN), pp. 13–23.

PLDI-2001-HeintzeT #analysis #pointer

Demand-Driven Pointer Analysis (NH, OT), pp. 24–34.

PLDI-2001-VivienR #analysis #pointer

Incrementalized Pointer and Escape Analysis (FV, MCR), pp. 35–46.

PLDI-2001-GhiyaLS #ambiguity #analysis #c #memory management #on the #points-to #source code

On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs (RG, DML, DCS), pp. 47–58.

PLDI-2001-DeLineF #bytecode #low level #protocol

Enforcing High-Level Protocols in Low-Level Software (RD, MF), pp. 59–69.

PLDI-2001-GayA

Language Support for Regions (DG, AA), pp. 70–80.

PLDI-2001-MonnierSS

Principled Scavenging (SM, BS, ZS), pp. 81–91.

PLDI-2001-BaconALRS #garbage collection #java #multi

Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector (DFB, CRA, HBL, VTR, SES), pp. 92–103.

PLDI-2001-ShahamKS #java #profiling

Heap Profiling for Space-Efficient Java (RS, EKK, SS), pp. 104–113.

PLDI-2001-BergerZM #memory management

Composing High-Performance Memory Allocators (EDB, BGZ, KSM), pp. 114–124.

PLDI-2001-ChengB #garbage collection #parallel #realtime

A Parallel, Real-Time Garbage Collector (PC, GEB), pp. 125–136.

PLDI-2001-AmmeDFR #named #representation #type safety

SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form (WA, ND, MF, JvR), pp. 137–147.

PLDI-2001-EvansF #bytecode

Bytecode Compression via Profiled Grammar Rewriting (WSE, CWF), pp. 148–155.

PLDI-2001-KrintzC #optimisation #using

Using Annotation to Reduce Dynamic Optimization Time (CK, BC), pp. 156–167.

PLDI-2001-ArnoldR #cost analysis #framework

A Framework for Reducing the Cost of Instrumented Code (MA, BGR), pp. 168–179.

PLDI-2001-ZhangG #representation

Timestamped Whole Program Path Representation and its Applications (YZ, RG), pp. 180–190.

PLDI-2001-Chilimbi #abstraction #locality #performance

Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality (TMC), pp. 191–202.

PLDI-2001-BallMMR #abstraction #automation #c #source code

Automatic Predicate Abstraction of C Programs (TB, RM, TDM, SKR), pp. 203–213.

PLDI-2001-AggarwalR #analysis

Related Field Analysis (AA, KHR), pp. 214–220.

PLDI-2001-MollerS #logic #pointer

The Pointer Assertion Logic Engine (AM, MIS), pp. 221–231.

PLDI-2001-ThiesVSA #framework #optimisation

A Unified Framework for Schedule and Storage Optimization (WT, FV, JS, SPA), pp. 232–242.

PLDI-2001-AppelG

Optimal Spilling for CISC Machines with Few Registers (AWA, LG), pp. 243–253.

PLDI-2001-HeintzeT01a #alias #analysis #c #using

Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second (NH, OT), pp. 254–263.

PLDI-2001-HansonP

Dynamic Variables (DRH, TAP), pp. 264–273.

PLDI-2001-MarlowJMR #exception #haskell

Asynchronous Exceptions in Haskell (SM, SLPJ, AM, JHR), pp. 274–285.

PLDI-2001-ChatterjeePHL #analysis #behaviour

Exact Analysis of the Cache Behavior of Nested Loops (SC, EP, PJH, ARL), pp. 286–297.

PLDI-2001-XiongJJP #algorithm #compilation #named

SPL: A Language and Compiler for DSP Algorithms (JX, JRJ, RWJ, DAP), pp. 298–308.

PLDI-2001-KumarMYL #named #programmable

ESP: A Language for Programmable Devices (SK, YM, XY, KL), pp. 309–320.

PLDI-2001-SchnarrHL #compilation #named

Facile: A Language and Compiler for High-Performance Processor Simulators (ES, MDH, JRL), pp. 321–331.