Marina C. Chen, Ron K. Cytron, A. Michael Berman
Proceedings of the 18th Conference on Programming Language Design and Implementation
PLDI, 1997.
@proceedings{PLDI-1997, acmid = "258915", address = "Las Vegas, Nevada, USA", editor = "Marina C. Chen and Ron K. Cytron and A. Michael Berman", isbn = "0-89791-907-6", publisher = "{ACM}", title = "{Proceedings of the 18th Conference on Programming Language Design and Implementation}", year = 1997, }
Contents (31 items)
- PLDI-1997-Proebsting #evaluation
- Simple Translation of Goal-Directed Evaluation (TAP), pp. 1–6.
- PLDI-1997-Dolby #automation
- Automatic Inline Allocation of Objects (JD), pp. 7–17.
- PLDI-1997-RamalingamS #algorithm #c++
- A Member Lookup Algorithm for C++ (GR, HS), pp. 18–30.
- PLDI-1997-WagnerG #analysis #incremental #programming language
- Incremental Analysis of real Programming Languages (TAW, SLG), pp. 31–43.
- PLDI-1997-EideFFLL #compilation #flexibility #named #optimisation
- Flick: A Flexible, Optimizing IDL Compiler (EE, KF, BF, JL, GL), pp. 44–56.
- PLDI-1997-Collberg #analysis #automation #mutation testing
- Reverse Interpretation + Mutation Analysis = Automatic Retargeting (CSC), pp. 57–70.
- PLDI-1997-DinizR #adaptation #effectiveness #feedback
- Dynamic Feedback: An Effective Technique for Adaptive Computing (PCD, MCR), pp. 71–84.
- PLDI-1997-AmmonsBL #hardware #performance #profiling
- Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling (GA, TB, JRL), pp. 85–96.
- PLDI-1997-ClingerH #garbage collection
- Generational Garbage Collection and the Radioactive Decay Model (WDC, LTH), pp. 97–108.
- PLDI-1997-PolettoEK #code generation #flexibility #named #performance
- tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation (MP, DRE, MFK), pp. 109–121.
- PLDI-1997-Goodwin #analysis #data flow #execution #interprocedural
- Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
- PLDI-1997-AyersGS
- Aggressive Inlining (AA, RG, RS), pp. 134–145.
- PLDI-1997-BodikGS #branch #interprocedural
- Interprocedural Conditional Branch Elimination (RB, RG, MLS), pp. 146–158.
- PLDI-1997-BodikG #slicing #using
- Partial Dead Code Elimination using Slicing Transformations (RB, RG), pp. 159–170.
- PLDI-1997-HashemiKC #performance #using
- Efficient Procedure Mapping Using Cache Line Coloring (AHH, DRK, BC), pp. 171–182.
- PLDI-1997-YoungJKS #branch
- Near-optimal Intraprocedural Branch Alignment (CY, DSJ, DRK, MDS), pp. 183–193.
- PLDI-1997-EichenbergerD #performance
- Efficient Formulation for Optimal Modulo Schedulers (AEE, ESD), pp. 194–205.
- PLDI-1997-DussartHH
- Module-Sensitive Program Specialisation (DD, RH, JH), pp. 206–214.
- PLDI-1997-SperberT #compilation #partial evaluation
- Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.
- PLDI-1997-JensenJKS #automation #higher-order #logic #monad #pointer #source code #using #verification
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic (JLJ, MEJ, NK, MIS), pp. 226–236.
- PLDI-1997-FlanaganF #analysis #component
- Componential Set-Based Analysis (CF, MF), pp. 235–248.
- PLDI-1997-Webber #program analysis #using
- Program Analysis Using Binary Relations (ABW), pp. 249–260.
- PLDI-1997-HeintzeM #analysis #control flow #linear #transitive
- Linear-time Subtransitive Control Flow Analysis (NH, DAM), pp. 261–272.
- PLDI-1997-ChowCKLLT #algorithm
- A New Algorithm for Partial Redundancy Elimination based on SSA Form (FCC, SC, RK, SML, RL, PT), pp. 273–286.
- PLDI-1997-BergnerDEO
- Spill Code Minimization via Interference Region Spilling (PB, PD, DE, MTO), pp. 287–295.
- PLDI-1997-LuehG
- Call-Cost Directed Register Allocation (GYL, TRG), pp. 296–307.
- PLDI-1997-CooperL #c #source code
- Register Promotion in C Programs (KDC, JL), pp. 308–319.
- PLDI-1997-TauraY #approach #compilation #effectiveness #implementation #multi #performance #thread
- Fine-grain Multithreading with Minimal Compiler Support — A Cost Effective Approach to Implementing Efficient Multithreading Languages (KT, AY), pp. 320–333.
- PLDI-1997-ChandraCCMNA #distributed #memory management #multi
- Data Distribution Support on Distributed Shared Memory Multiprocessors (RC, DKC, RC, DEM, NN, JAMA), pp. 334–345.
- PLDI-1997-KodukulaAP #multi
- Data-centric Multi-level Blocking (IK, NA, KP), pp. 346–357.
- PLDI-1997-ErnstEFLP
- Code Compression (JE, WSE, CWF, SL, TAP), pp. 358–365.
5 ×#analysis
5 ×#performance
4 ×#using
3 ×#automation
3 ×#compilation
3 ×#multi
2 ×#algorithm
2 ×#branch
2 ×#effectiveness
2 ×#flexibility
5 ×#performance
4 ×#using
3 ×#automation
3 ×#compilation
3 ×#multi
2 ×#algorithm
2 ×#branch
2 ×#effectiveness
2 ×#flexibility