• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 31 matches

• 2000
• 
  Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia:
  Dynamo: a transparent dynamic optimization system. PLDI 2000: 1-12
• 
  Rastislav Bodík, Rajiv Gupta, Vivek Sarkar:
  ABCD: eliminating array bounds checks on demand. PLDI 2000: 321-333
• 
  Bob Boothe:
  Efficient algorithms for bidirectional debugging. PLDI 2000: 299-310
• 
  Dante J. Cannarozzi, Michael P. Plezbert, Ron Cytron:
  Contaminated garbage collection. PLDI 2000: 264-273
• 
  Ben-Chung Cheng, Wen-mei W. Hwu:
  Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. PLDI 2000: 57-69
• 
  Michal Cierniak, Guei-Yuan Lueh, James M. Stichnoth:
  Practicing JUDO: Java under dynamic optimizations. PLDI 2000: 13-26
• 
  Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline:
  A certifying compiler for Java. PLDI 2000: 95-107
• 
  Manuvir Das:
  Unification-based pointer analysis with directional assignments. PLDI 2000: 35-46
• 
  Julian Dolby, Andrew A. Chien:
  An automatic object inlining optimization and its evaluation. PLDI 2000: 345-357
• 
  Tamar Domani, Elliot K. Kolodner, Erez Petrank:
  A generational on-the-fly garbage collector for Java. PLDI 2000: 274-284
• 
  Manuel Fähndrich, Jakob Rehof, Manuvir Das:
  Scalable context-sensitive flow analysis using instantiation constraints. PLDI 2000: 253-263
• 
  Cormac Flanagan, Stephen N. Freund:
  Type-based race detection for Java. PLDI 2000: 219-232
• 
  Sanjay Ghemawat, Keith H. Randall, Daniel J. Scales:
  Field analysis: getting useful and low-cost interprocedural information. PLDI 2000: 334-344
• 
  Allan Heydon, Roy Levin, Yuan Yu:
  Caching function calls using precise dependencies. PLDI 2000: 311-320
• 
  Samuel Larsen, Saman P. Amarasinghe:
  Exploiting superword level parallelism with multimedia instruction sets. PLDI 2000: 145-156
• 
  Yuan Lin, David A. Padua:
  Compiler analysis of irregular memory accesses. PLDI 2000: 157-168
• 
  Steven Lucco:
  Split-stream dictionary program compression. PLDI 2000: 27-34
• 
  George C. Necula:
  Translation validation for an optimizing compiler. PLDI 2000: 83-94
• 
  G. Ramalingam:
  On loops, dominators, and dominance frontier. PLDI 2000: 233-241
• 
  Norman Ramsey, Simon L. Peyton Jones:
  A single intermediate language that supports multiple implementations of exceptions. PLDI 2000: 285-298
• 
  Atanas Rountev, Satish Chandra:
  Off-line variable substitution for scaling points-to analysis. PLDI 2000: 47-56
• 
  Erik Ruf:
  Effective synchronization removal for Java. PLDI 2000: 208-218
• 
  Radu Rugina, Martin C. Rinard:
  Symbolic bounds analysis of pointers, array indices, and accessed memory regions. PLDI 2000: 182-195
• 
  Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok Choi:
  A framework for interprocedural optimization in the presence of dynamic class loading. PLDI 2000: 196-207
• 
  Mark Stephenson, Jonathan Babb, Saman P. Amarasinghe:
  Bitwidth analysis with application to silicon compilation. PLDI 2000: 108-120
• 
  Zhanyong Wan, Paul Hudak:
  Functional reactive programming from first principles. PLDI 2000: 242-252
• 
  Kent D. Wilken, Jack Liu, Mark Heffernan:
  Optimal instruction scheduling using integer programming. PLDI 2000: 121-133
• 
  Zhichen Xu, Barton P. Miller, Thomas W. Reps:
  Safety checking of machine code. PLDI 2000: 70-82
• 
  Qing Yi, Vikram S. Adve, Ken Kennedy:
  Transforming loops to recursion for multi-level memory hierarchies. PLDI 2000: 169-181
• 
  Javier Zalamea, Josep Llosa, Eduard Ayguadé, Mateo Valero:
  Improved spill code generation for software pipelined loops. PLDI 2000: 134-144

skipping 1 more match