BodíkRastislav

发表

Demand-driven points-to analysis for Java

SridharanManu, GopanDenis, ShanLexin, 2005 .

Refining data flow information using infeasible paths

GuptaRajiv, BodíkRastislav, SoffaMary Lou, 1997 .

Focusing processor policies via critical-path prediction

BodíkRastislav, FieldsBrian, RubinShai, 2001 .

Complete removal of redundant expressions

GuptaRajiv, BodíkRastislav, SoffaMary Lou, 2004 .

Refinement-based context-sensitive points-to analysis for Java

SridharanManu, BodíkRastislav, 2006 .

An efficient profile-analysis framework for data-layout optimizations

BodíkRastislav, ChilimbiTrishul, RubinShai, 2002 .

Partial dead code elimination using slicing transformations

GuptaRajiv, BodíkRastislav, 1997 .

Load-reuse analysis

GuptaRajiv, BodíkRastislav, SoffaMary Lou, 1999 .

Synthesis of first-order dynamic programming algorithms

BodikRastislav, BodíkRastislav, PuYewen, 2011 .

Ringer: web automation by demonstration

BodikRastislav, BarmanShaon, ChasinsSarah, 2016 .

A regulated transitive reduction (RTR) for longer memory race recording

BodíkRastislav, Xumin, D. HillMark, 2006 .