publication venue for
- The landscape of refactoring research in the last decade (keynote) 2017
- A Vision for Online Verification-Validation 2017
- Are web applications ready for parallelism? 2015
- A Relational Framework for Higher-Order Shape Analysis 2014
- Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths 2013
- Calling Context Abstraction with Shapes 2011
- Program Analysis via Satisfiability Modulo Path Programs 2010
- Automating vertical profiling 2005
- A stateless, content-directed data prefetching mechanism 2002
- Whole-program optimization for time and space efficient threads 1996
- CORPUS-BASED STATIC BRANCH PREDICTION 1995
- REDUCING BRANCH COSTS VIA BRANCH ALIGNMENT 1994
- DATA-FLOW EQUATIONS FOR EXPLICITLY PARALLEL PROGRAMS 1993
- IMPROVING THE CACHE LOCALITY OF MEMORY ALLOCATION 1993
- EMPIRICAL MEASUREMENTS OF 6 ALLOCATION-INTENSIVE C-PROGRAMS 1992
- AUTOMATED GENERATION OF CODE USING BACKTRACKING PARSERS FOR ATTRIBUTE GRAMMARS 1991
- MUNIN - DISTRIBUTED SHARED MEMORY BASED ON TYPE-SPECIFIC MEMORY COHERENCE 1990
- SOFTWARE MAINTENANCE ENVIRONMENTS - A NEW PERSPECTIVE 1988
- THE DESIGN AND IMPLEMENTATION OF DISTRIBUTED SMALLTALK 1987
- IMPLEMENTING A USER INTERFACE AS A SYSTEM OF ATTRIBUTES 1987
- Interval-Based Memory Reclamation 2018
- A Vision for Online Verification-Validation 2017
- Semantic-Directed Clumping of Disjunctive Abstract States 2017
- Semantic-Directed Clumping of Disjunctive Abstract States 2017
- Cartesian Hoare Logic for Verifying k-Safety roperties 2016
- Failure-Atomic Persistent Memory Updates via JUSTDO Logging 2016
- Selective Control-Flow Abstraction via Jumping 2015
- Declarative Programming over Eventually Consistent Data Stores 2015
- Consolidation of Queries with User-Defined Functions 2014
- Abstract Acceleration of General Linear Loops 2014
- Fissile Type Analysis: Modular Checking of Almost Everywhere Invariants 2014
- Thresher: Precise Refutations for Heap Reachability 2013
- Mixing Type Checking and Symbolic Execution 2010
- Relational inductive shape analysis 2008
- Non-linear loop invariant generation using Grobner bases 2004