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.