Charles N. Fischer
Proceedings of the 17th Conference on Programming Language Design and Implementation
PLDI, 1996.

@proceedings{PLDI-1996,
	acmid         = "231379",
	address       = "Philadephia, Pennsylvania, USA",
	editor        = "Charles N. Fischer",
	isbn          = "0-89791-795-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 17th Conference on Programming Language Design and Implementation}",
	year          = 1996,
}

Contents (28 items)

5 ×#compilation
4 ×#analysis
4 ×#named
3 ×#memory management
3 ×#ml
3 ×#optimisation
3 ×#performance
2 ×#code generation
2 ×#data flow
2 ×#debugging

PLDI-1996-RuttenbergGLS #compilation #heuristic #pipes and filters

Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler (JCR, GRG, WL, AS), pp. 1–11.

PLDI-1996-EichenbergerD #constraints #multi #pipes and filters #scheduling

A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints (AEE, ESD), pp. 12–22.

PLDI-1996-FlanaganFKWF #debugging #invariant #web

Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.

PLDI-1996-Adl-TabatabaiG #debugging

Source-Level Debugging of Scalar Optimized Code (ARAT, TRG), pp. 33–43.

PLDI-1996-Evans #detection #fault #memory management #static analysis

Static Detection of Dynamic Memory Errors (DE), pp. 44–53.

PLDI-1996-RinardD #analysis #commutative #compilation #framework

Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers (MCR, PCD), pp. 54–67.

PLDI-1996-ChakrabartiGC #analysis #communication #optimisation

Global Communication Analysis and Optimization (SC, MG, JDC), pp. 68–78.

PLDI-1996-TrinderHMPJ #haskell #implementation #named #parallel

GUM: A Portable Parallel Implementation of Haskell (PWT, KH, JSMJ, ASP, SLPJ), pp. 79–88.

PLDI-1996-Boehm #garbage collection

Simple Garbage-Collector-Safety (HJB), pp. 89–98.

PLDI-1996-BruggemanWD #continuation #representation

Representing Control in the Presence of One-Shot Continuations (CB, OW, RKD), pp. 99–107.

PLDI-1996-BurgerD #float

Printing Floating-Point Numbers Quickly and Accurately (RGB, RKD), pp. 108–116.

PLDI-1996-DawsonRW #case study #logic programming #program analysis #using

Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study (SD, CRR, DSW), pp. 117–126.

PLDI-1996-Adl-TabatabaiLLW #independence #mobile #performance #source code

Efficient and Language-Independent Mobile Programs (ARAT, GL, SL, RW), pp. 127–136.

PLDI-1996-LeeL #code generation #ml #optimisation #runtime

Optimizing ML with Run-Time Code Generation (PL, ML), pp. 137–148.

PLDI-1996-AuslanderPCEB #compilation #effectiveness #performance

Fast, Effective Dynamic Compilation (JA, MP, CC, SJE, BNB), pp. 149–159.

PLDI-1996-Engler #code generation #named #performance

VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System (DRE), pp. 160–170.

PLDI-1996-ReppyR #ml #standard

Simple Objects for Standard ML (JHR, JGR), pp. 171–180.

PLDI-1996-TarditiMCSHL #compilation #ml #named #optimisation

TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.

PLDI-1996-JagannathanW

Flow-directed Inlining (SJ, AKW), pp. 193–205.

PLDI-1996-SperberT #compilation #partial evaluation

Realistic Compilation by Partial Evaluation (MS, PT), pp. 206–214.

PLDI-1996-KnoblockR

Data Specialization (TBK, ER), pp. 215–225.

PLDI-1996-Ramsey #bytecode

Relocating Machine Instructions by Currying (NR), pp. 226–236.

PLDI-1996-ChandraRL #memory management #named #protocol

Teapot: Language Support for Writing Memory Coherence Protocols (SC, BR, JRL), pp. 237–248.

PLDI-1996-BaileyD #generative #sequence #source code

Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.

PLDI-1996-RussinovichC #concurrent #memory management #nondeterminism

Replay For Concurrent Non-Deterministic Shared Memory Applications (MR, BC), pp. 258–266.

PLDI-1996-Ramalingam #analysis #data flow

Data Flow Frequency Analysis (GR), pp. 267–277.

PLDI-1996-SreedharGL #analysis #data flow #framework #graph #incremental #using

A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs (VCS, GRG, YFL), pp. 278–290.

PLDI-1996-BilardiP #dependence

Generalized Dominance and Control Dependence (GB, KP), pp. 291–300.