PLDI 1994:
Orlando,
Florida
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI),
Orlando,
Florida,
June 20-24,
1994. SIGPLAN Notices 29(6) (June 1994)
- Amr Sabry, Matthias Felleisen:
Is Continuation-Passing Useful for Data Flow Analysis?
1-12 BibTeX
- Andrew W. Appel, David B. MacQueen:
Separate Compilation for Standard ML.
13-23 BibTeX
- John Launchbury, Simon L. Peyton Jones:
Lazy Functional State Threads.
24-35 BibTeX
- Kemal Ebcioglu, Randy D. Groves, Ki-Chang Kim, Gabriel M. Silberman, Isaac Ziv:
VLIW Compilation Techniques in a Superscalar Environment.
36-48 BibTeX
- Amitabh Srivastava, David W. Wall:
Link-Time Optimization of Address Calculation on a 64-bit Architecture.
49-60 BibTeX
- Torbjörn Granlund, Peter L. Montgomery:
Division by Invariant Integers using Multiplication.
61-72 BibTeX
- Ko-Yang Wang:
Precise Compile-Time Performance Prediction for Superscalar-Based Computers.
73-84 BibTeX
- Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison:
Accurate Static Estimators for Program Optimization.
85-96 BibTeX
- Andreas Krall:
Improving Semi-static Branch Prediction by Code Replication.
97-106 BibTeX
- Reinhard von Hanxleden, Ken Kennedy:
GIVE-N-TAKE - A Balanced Code Placement Framework.
107-120 BibTeX
- William Pugh:
Counting Solutions to Presburger Formulas: How and Why.
121-134 BibTeX
- Allan L. Fisher, Anwar M. Ghuloum:
Parallelizing Complex Scans and Reductions.
135-146 BibTeX
- Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Partial Dead Code Elimination.
147-158 BibTeX
- Preston Briggs, Keith D. Cooper:
Effective Partial Redundancy Elimination.
159-170 BibTeX
- Richard Johnson, David Pearson, Keshav Pingali:
The Program Structure Tree: Computing Control Regions in Linear Time.
171-185 BibTeX
- Jack W. Davidson, Sanjay Jinturkar:
Memory Access Coalescing: A technique for Eliminating Redundant memory Accesses.
186-195 BibTeX
- Amitabh Srivastava, Alan Eustace:
ATOM - A System for Building Customized Program Analysis Tools.
196-205 BibTeX
- Mark B. Reinhold:
Cache Performance of Garbage-Collected Programs.
206-217 BibTeX
- Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau:
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures.
218-229 BibTeX
- Alain Deutsch:
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting.
230-241 BibTeX
- Maryam Emami, Rakesh Ghiya, Laurie J. Hendren:
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers.
242-256 BibTeX
- Steven M. Kurlander, Charles N. Fischer:
Zero-cost Range Splitting.
257-265 BibTeX
- Cindy Norris, Lori L. Pollock:
register Allocation over the Program Dependence Graph.
266-277 BibTeX
- Roland Wismüller:
Debugging of Globally Optimized Programs Using Data Flow Analysis.
278-289 BibTeX
- Todd M. Austin, Scott E. Breach, Gurindar S. Sohi:
Efficient Detection of All Pointer and Array Access Errors.
290-301 BibTeX
- Hiralal Agrawal:
On Slicing Programs with Jump Statements.
302-312 BibTeX
- Robert H. B. Netzer, Mark H. Weaver:
Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs.
313-325 BibTeX
- Urs Hölzle, David Ungar:
Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback.
326-336 BibTeX
- Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs.
337-348 BibTeX
,
long version: JLP 22(3):
179-209 (1995)
- Pascal Van Hentenryck, Viswanath Ramachandran:
Backtracking without Trailing in CLP(R-lin).
349-360 BibTeX
, long version:
TOPLAS 17(4): 349-360 (1995)
Copyright © Sat May 16 23:33:31 2009
by Michael Ley (ley@uni-trier.de)