


default search action
PLDI 1996: Philadephia, Pennsylvania
- Charles N. Fischer:

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996. ACM 1996, ISBN 0-89791-795-2
SIGPLAN Notices 31(5) (May 1996)
Instruction Scheduling
- 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
- 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 E. Evans

:
Static Detection of Dynamic Memory Errors. 44-53
Parallelizing Compilers
- 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., Andrew S. Partridge, Simon L. Peyton Jones:

GUM: A Portable Parallel Implementation of Haskell. 79-88
Implementation Techniques
- 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
- 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
- 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
- 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
- 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
- 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
- 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














