PLDI 1996: Philadephia, Pennsylvania

Charles N. Fischer (Ed.): Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, May 21-24, 1996. ACM 1996, ISBN 0-89791-795-2

SIGPLAN Notices 31(5) (May 1996)

Instruction Scheduling

Session chair: Monica S. Lam

John C. Ruttenberg, Guang R. Gao, Woody Lichtenstein, Artour Stoutchinin:
Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler. 1-11
Alexandre E. Eichenberger, Edward S. Davidson:
A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints. 12-22

Debugging

Session chair: Robert H. Halstead Jr.

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen:
Static Debugging: Browsing the Web of Program Invariants. 23-32
Ali-Reza Adl-Tabatabai, Thomas R. Gross:
Source-Level Debugging of Scalar Optimized Code. 33-43
David Evans:
Static Detection of Dynamic Memory Errors. 44-53

Parallelizing Compilers

Session chair: Kathryn S. McKinley

Martin C. Rinard, Pedro C. Diniz:
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. 54-67
Soumen Chakrabarti, Manish Gupta, Jong-Deok Choi:
Global Communication Analysis and Optimization. 68-78
Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., A. S. Partridge, Simon L. Peyton Jones:
GUM: A Portable Parallel Implementation of Haskell. 79-88

Implementation Techniques

Session chair: Robert Cartwright

Hans-Juergen Boehm:
Simple Garbage-Collector-Safety. 89-98
Carl Bruggeman, Oscar Waddell, R. Kent Dybvig:
Representing Control in the Presence of One-Shot Continuations. 99-107
Robert G. Burger, R. Kent Dybvig:
Printing Floating-Point Numbers Quickly and Accurately. 108-116

New Directions

Session chair: Michael Burke

Steven Dawson, C. R. Ramakrishnan, David Scott Warren:
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. 117-126
Ali-Reza Adl-Tabatabai, Geoff Langdale, Steven Lucco, Robert Wahbe:
Efficient and Language-Independent Mobile Programs. 127-136

Run-time Code Generation

Session chair: Bernhard Steffen

Peter Lee, Mark Leone:
Optimizing ML with Run-Time Code Generation. 137-148
Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad:
Fast, Effective Dynamic Compilation. 149-159
Dawson R. Engler:
VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. 160-170

Functional Language Implementation

Session chair: Fritz Henglein

John H. Reppy, Jon G. Riecke:
Simple Objects for Standard ML. 171-180
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee:
TIL: A Type-Directed Optimizing Compiler for ML. 181-192
Suresh Jagannathan, Andrew K. Wright:
Flow-directed Inlining. 193-205

Currying/Partial Evaluation

Session chair: Thomas W. Reps

Michael Sperber, Peter Thiemann:
Realistic Compilation by Partial Evaluation. 206-214
Todd B. Knoblock, Erik Ruf:
Data Specialization. 215-225
Norman Ramsey:
Relocating Machine Instructions by Currying. 226-236

Testing and Verification

Session chair: Dirk Grunwald

Satish Chandra, Brad Richards, James R. Larus:
Teapot: Language Support for Writing Memory Coherence Protocols. 237-248
Mark W. Bailey, Jack W. Davidson:
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators. 249-257
Mark Russinovich, Bryce Cogswell:
Replay For Concurrent Non-Deterministic Shared Memory Applications. 258-266

Program Analysis

Session chair: William Landi

G. Ramalingam:
Data Flow Frequency Analysis. 267-277
Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee:
A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs. 278-290
Gianfranco Bilardi, Keshav Pingali:
Generalized Dominance and Control Dependence. 291-300

Last update Thu May 23 17:50:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page