|
|
Selected Papers: |
| PLDI '07 |
Ditto: Automatic Incrementalization of Data Structure Invariant Checks
AJ Shankar, Rastislav Bodik
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’07)
San Diego, CA, June 2007 |
| PLDI '07 |
Sketching Stencils
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat and Sanjit Seshia
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’07)
San Diego, CA, June 2007 |
| PLDI '07 |
Thin Slicing (a poster)
Manu Sridharan, Stephen Fink, and Rastislav Bodik
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’07)
San Diego, CA, June 2007
|
IEEE MICRO |
A Hardware Memory Race Recorder for Deterministic Replay,
Min Xu, Rastislav Bodik, and Mark D. Hill
IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences,
January-February 2007 |
ASPLOS '06 |
Combinatorial Sketching for Finite Programs
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat and
Sanjit Seshia
12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2006)
San Jose, CA, October 2006 |
ASPLOS '06 |
A Regulated Transitive Reduction for Longer Memory Race Recording
Min Xu, Rastislav Bodik and Mark D. Hill
12th International Conference on
Architectural Support for Programming Languages and Operating Systems (ASPLOS
2006)
San Jose, CA, October 2006 |
PLDI '06 |
Refinement-Based Context-Sensitive Points-To Analysis for Java
Manu Sridharan and Rastislav Bodik
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’06)
Ottawa, Canada, June 2006 |
OOPSLA '05
|
Runtime Specialization With Optimistic Heap Analysis
AJ Shankar, S.Subramanya Sastry, Rastislav Bodik, James E. Smith
20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '05)
San Diego, CA, October 2005 |
OOPSLA '05
|
Demand-Driven Points-to Analysis for Java
Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodik
20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '05)
San Diego, CA, October 2005 |
PLDI '05
|
Mining Jungloids: Helping to Navigate the API Jungle
David Mandelin, Lin Xu, Rastislav Bodik, Doug Kimelman
ACM SIGPLAN Conference
on Programming Language Design and Implementation (PLDI’05)
Chicago, IL,
June 2005 |
PLDI '05
|
Programming by Sketching for Bitstreaming Programs
Armando Solar-Lezama, Rodric Rabbah, Rastislav Bodik, Kemal Ebcioglu,
ACM SIGPLAN
Conference on Programming Language Design and Implementation (PLDI '05)
Chicago,
IL, June 2005 |
PLDI '05
|
Serializability Violation Detector for Shared-Memory Server Programs
Min Xu, Rastislav Bodik, Mark D. Hill
ACM SIGPLAN Conference on Programming
Language Design and Implementation (PLDI '05)
Chicago, IL, June 2005
slides |
IEEE MICRO |
Interaction Cost: For when event counts just don't add up
Brian A. Fields, Rastislav Bodik, Mark D. Hill, and Chris J. Newburn
IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences
November-December 2004 |
ACM TACO |
Interaction Cost and Shotgun Profiling
Brian A. Fields, Rastislav Bodik, Mark D. Hill, Chris J. Newburn
ACM Transactions on Architecture and Code Optimization (TACO)
Volume 1, Issue 3, September 2004 |
PLDI |
Retrospective: Complete removal of redundant expressions
ACM SIGPLAN Notices
Volume 39 , Issue 4 (April 2004) Best of PLDI 1979-1999 |
P-PHEC '04 |
Templating Transformations of Bitstream Programs (obsoleted, read this instead)
Armando Solar-Lezama, Rastislav Bodik
HPCA Workshop on Productivity and Performance
High-End Computing (P-PHEC 2004)
Madrid, Spain, February, 2004 |
MICRO '03 |
Using Interaction
Costs for Microarchitectural Bottleneck Analysis,
Brian Fields, Rastislav Bodik, Mark D. Hill, Chris J. Newburn
The 36th Annual IEEE/ACM International Symposium on Microarchitecture,
San Diego, CA, December 2003. |
PLDI '03
|
Debugging
Temporal Specifications with Concept Analysis,
Glenn Ammons, David Mandelin, Rastislav Bodik, James Larus
ACM SIGPLAN Conference on Programming Language Design and
Implementation,
San Diego, CA, June 2003. |
ISCA '03
|
A
"Flight Data Recorder" for Enabling Full-system Multiprocessor
Deterministic Replay,
Min Xu, Rastislav Bodik, Mark Hill
The 30th International Symposium on Computer Architecture,
San Diego, CA, June 2003. |
|
ISCA '02
|
Slack:
Maximizing Performance under Technological Constraints,
Brian Fields, Rastislav Bodik, Mark D. Hill
The 29th International Symposium on Computer Architecture,
Anchorage, Alaska, May 2002. |
|
POPL '02
|
Mining
Specifications,
Glenn Ammons, Rastislav Bodik, James Larus
The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages,
Portland, Oregon, January 2002. |
|
POPL '02
|
An
Efficient Profile-Analysis Framework for Data Layout Optimizations,
Shai Rubin, Rastislav
Bodik, Trishul Chilimbi
The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages,
Portland, Oregon, January 2002. |
|
ISCA '01
|
Focusing
Processor Policies via Critical-Path Prediction,
Brian Fields, Shai Rubin, Rastislav Bodik,
28th International Symposium on Computer Architecture,
Goeteborg, Sweden, July 2001. |
|
ISCA '01
|
Rapid
Profiling via Stratified Sampling,
S.Subramanya Sastry, Rastislav Bodik, James E. Smith,
To appear in the 28th International Symposium on Computer Architecture,
Goeteborg, Sweden, July 2001. |
|
PLDI '00
|
ABCD:
Eliminating Array Bounds Checks on Demand,
Rastislav Bodik, Rajiv Gupta, and Vivek
Sarkar,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Vancouver, British
Columbia,
June 2000.
(abstract, slides pdf, slides powerpoint) |
|
Ph.D.
|
Path-Sensitive
Value-Flow Optimizations of Programs,
Rastislav Bodik
Ph.D. Dissertation, University of
Pittsburgh, November 1999.
(abstract, job-talk slides, videotaped talk) |
|
PLDI '99
|
Load-Reuse
Analysis: Design and Evaluation,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Atlanta, Georgia, May 1999.
(abstract talk: PowerPoint) |
|
PLDI '98
|
Complete
Removal of Redundant Expressions,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 1-14, Montreal, Quebec, Canada, June 1998.
(abstract, talk: PowerPoint, acrobat, acrobat w/
notes) |
|
POPL '98
|
Path-Sensitive
Value-Flow Analysis,
Rastislav Bodik and Sadun Anik,
The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages,
San Diego, California, January 1998.
(abstract, talk: slides, slides w/comments) |
|
FSE '97
|
Refining
Data Flow Information using Infeasible Paths,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
Fifth ACM SIGSOFT Symposium on Foundations of Software Engineering and
Sixth European Software Engineering Conference,
LNCS 1301 Springer Verlag,
pages 361-377, Zurich, Switzerland, September 1997.
(abstract, talk: slides, slides w/comments) |
|
PLDI '97
|
Interprocedural
Conditional Branch Elimination,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 146-158, Las Vegas, Nevada, June 1997.
(abstract, talk: landscape + portrait) |
|
PLDI '97
|
Partial
Dead Code Elimination using Slicing Transformations,
Rastislav Bodik and Rajiv Gupta,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 159-170, Las Vegas, Nevada, June 1997.
(abstract, talk) |
|
IJPP '96
|
Array Data-Flow Analysis for
Load-Store Optimizations in Fine-Grain Architectures,
Rastislav Bodik and Rajiv Gupta,
International Journal of Parallel Programming,
Vol. 24, No. 6, pages 481-512, 1996.
(abstract) |