-
A methodology for controlling the size of a test suite, ACM TOSEM, 1993. [Citations: 248]
-
An approach to regression testing using slicing, ICSM, 1992. [Citations: 179]
-
Region scheduling: an approach for detecting and redistributing parallelism,
IEEE TSE, 1990. [Citations: 169]
-
ABCD: eliminating array bounds checks on demand, PLDI, 2000. [Citations: 158]
-
Complete removal of redundant expressions (computations), PLDI, 1998. [Citations: 108 (+34)]
-
The fuzzy barrier: a mechanism for high speed synchronization of processors,
ASPLOS, 1989. [Citations: 114]
-
Optimizing array bound checks using flow analysis, LOPLAS, 1993. [Citations: 112]
-
Demand-driven computation of interprocedural data flow, POPL, 1995. [Citations: 109]
-
A practical data flow framework for array reference analysis and its use in optimizations,
PLDI, 1993. [Citations: 113]
-
Frequent value locality and value-centric data cache design, ASPLOS, 2000. [Citations: 93]
-
A fresh look at optimizing array bound checking, PLDI, 1990. [Citations: 84]
-
Distributed Control Protocols for Wavelength Reservation and their Performance Evaluation,
Photonic Network Communications, 1999. [Citations: 84]
-
Interprocedural conditional branch elimination, PLDI, 1997. [Citations: 86]
-
Frequent value compression in data caches, MICRO, 2000. [Citations: 76]
-
Precise dynamic slicing algorithms, ICSE, 2003. [Citations: 77]
-
Cost effective dynamic program slicing, PLDI, 2004. [Citations: 73]
-
Profile guided selection of ARM and thumb instructions, LCTES, 2002. [Citations: 67]
-
Path profile guided partial redundancy elimination using speculation, ICCL, 1998. [Citatons: 72]
-
A practical framework for demand-driven interprocedural data flow analysis,
TOPLAS, 1997. [Citations: 69]
-
Rigorous data flow testing through output influences, Irvine Software Symposium, 1992. [Citations: 64]
-
Path profile guided partial dead code elimination using predication, PACT, 1997. [Citations: 62]
-
Refining data flow information using infeasible paths, FSE, 1997. [Citations: 56]
-
Program slicing-based regression testing techniques, JSTVR, 1996. [Citations: 58]
-
URSA: A Unified ReSource Allocation for Registers and Functional Units in VLIW Architectures,
PACT, 1993. [Citations: 54]
-
Energy efficient Frequent Value data Cache design, MICRO, 2002. [Citations: 54]
-
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors, CC, 2002. [Citations: 53]
-
Automatic generation of microarchitecture simulators, ICCL, 1998. [Citations: 54]
-
Distributed path reservation algorithms for multiplexed all-optical interconnection networks,
IEEE TC, 1999. [Citations: 54]
-
Locating faulty code using failure-inducing chops, ASE, 2005. [Citations: 53]
-
Timestamped whole program path representation and its applications, PLDI, 2001. [Citations: 50]
-
Global context-based value prediction, HPCA, 1999. [Citations: 50]
-
Load-reuse analysis: design and evaluation, PLDI, 1999. [Citations: 57]
-
Distributed Slicing and Partial Re-execution for Distributed Programs, LCPC, 1992. [Citations: 51]
-
Locating faults through automated predicate switching, ICSE, 2006. [Citations: 50]
-
Register allocation via clique separators, PLDI, 1989. [Citations: 47]
-
Data Compression Transformations for Dynamically Allocated Data Structures, CC, 2002. [Citations: 45]
-
Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams,
ICSE, 2004. [Citations: 47]
-
Resource spackling: A framework for integrating register allocation in local and global schedulers,
PACT, 1994. [Citations: 48]
-
Frequent value locality and its applications, ACM TECS, 2002. [Citations: 47]
-
Hiding program slices for software security, CGO, 2003. [Citations: 44]
-
Experimental Evaluation of Using Dynamic Slices for Fault Location, AADEBUG, 2005. [Citations: 41]
-
Hybrid slicing: Integrating dynamic information with static analysis, TOSEM, 1997. [Citations: 41]
-
Partial dead code elimination using slicing transformations, PLDI, 1997. [Citations: 43]
-
A scalable implementation of barrier synchronization using an adaptive combining tree, IJPP, 1989. [Citations: 40]
-
Generalized dominators and post-dominators, POPL, 1992. [Citations: 38]
-
Load and store reuse using register file contents, ICS, 2001. [Citations: 37]
-
Hybrid slicing: an approach for refining static slices using dynamic information, FSE, 1995. [Citations: 39]
-
Pruning dynamic slices with confidence, PLDI, 2006. [Citations: 37]
-
Applying compiler techniques to scheduling in real-time systems, RTSS, 1990. [Citations: 38]
-
Value prediction in VLIW machines, ISCA, 1999. [Citations: 36]
-
Compilation techniques for optimizing communication on distributed-memory systems, ICPP, 1993. [Citations: 37]
-
Efficient register allocation via coloring using clique separators, TOPLAS, 1994. [Citations: 36]