Rastislav Bodík

Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman: Synthesis of biological models from mutation experiments. POPL 2013: 469-482

Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík: Parallel schedule synthesis for attribute grammars. PPOPP 2013: 187-196

Vivek Sarkar, Rastislav Bodík (Eds.): Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. ACM 2013, isbn 978-1-4503-1870-9

Rastislav Bodík: Compiling what to how: technical perspective. Commun. ACM 55(2): 102 (2012)

Rastislav Bodík, Emina Torlak: Synthesizing Programs with Constraint Solvers. CAV 2012: 3

Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík: Angelic debugging. ICSE 2011: 121-130

Yewen Pu, Rastislav Bodík, Saurabh Srivastava: Synthesis of first-order dynamic programming algorithms. OOPSLA 2011: 83-98

Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv: Specifying and verifying sparse matrix codes. ICFP 2010: 249-260

Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor: Programming with angelic nondeterminism. POPL 2010: 339-352

Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv: Field-sensitive program dependence analysis. SIGSOFT FSE 2010: 287-296

Leo A. Meyerovich, Rastislav Bodík: Fast and parallel webpage layout. WWW 2010: 711-720

Krste Asanovic, Rastislav Bodík, James Demmel, Tony Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick: A view of the parallel computing landscape. Commun. ACM 52(10): 56-67 (2009)

Andreas Raabe, Rastislav Bodík: Synthesizing hardware from sketches. DAC 2009: 623-624

Rastislav Bodík: Algorithmic Program Synthesis with Partial Programs and Decision Procedures. SAS 2009: 1

Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)

Rastislav Bodík: Small languages in an undergraduate PL/Compiler course. SIGPLAN Notices 43(11): 39-44 (2008)

Ajeet Shankar, Matthew Arnold, Rastislav Bodík: Jolt: lightweight dynamic analysis and removal of object churn. OOPSLA 2008: 127-142

Rastislav Bodík: Software synthesis with sketching. PEPM 2008: 1-2

Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík: Sketching concurrent data structures. PLDI 2008: 136-148

Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22

Min Xu, Rastislav Bodík, Mark D. Hill: A Hardware Memory Race Recorder for Deterministic Replay. IEEE Micro 27(1): 48-55 (2007)

Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178

Ajeet Shankar, Rastislav Bodík: DITTO: automatic incrementalization of data structure invariant checks (in Java). PLDI 2007: 310-319

Min Xu, Mark D. Hill, Rastislav Bodík: A regulated transitive reduction (RTR) for longer memory race recording. ASPLOS 2006: 49-60

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat: Combinatorial sketching for finite programs. ASPLOS 2006: 404-415

Manu Sridharan, Rastislav Bodík: Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400

Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík: Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76

Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Runtime specialization with optimistic heap analysis. OOPSLA 2005: 327-343

Min Xu, Rastislav Bodík, Mark D. Hill: A serializability violation detector for shared-memory server programs. PLDI 2005: 1-14

David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman: Jungloid mining: helping to navigate the API jungle. PLDI 2005: 48-61

Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu: Programming by sketching for bit-streaming programs. PLDI 2005: 281-294

Rastislav Bodík (Ed.): Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3443, Springer 2005, isbn 3-540-25411-0

Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Interaction Cost: For When Event Counts Just Don't Add Up. IEEE Micro 24(6): 57-61 (2004)

Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Interaction cost and shotgun profiling. TACO 1(3): 272-304 (2004)

Min Xu, Rastislav Bodík, Mark D. Hill: A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ISCA 2003: 122-133

Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Using Interaction Costs for Microarchitectural Bottleneck Analysis. MICRO 2003: 228-242

Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus: Debugging temporal specifications with concept analysis. PLDI 2003: 182-195

Brian A. Fields, Rastislav Bodík, Mark D. Hill: Slack: Maximizing Performance Under Technological Constraints. ISCA 2002: 47-58

Glenn Ammons, Rastislav Bodík, James R. Larus: Mining specifications. POPL 2002: 4-16

Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi: An efficient profile-analysis framework for data-layout optimizations. POPL 2002: 140-153

Brian A. Fields, Shai Rubin, Rastislav Bodík: Focusing processor policies via critical-path prediction. ISCA 2001: 74-85

S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Rapid profiling via stratified sampling. ISCA 2001: 278-289

Rastislav Bodík, Rajiv Gupta, Vivek Sarkar: ABCD: eliminating array bounds checks on demand. PLDI 2000: 321-333

Rajiv Gupta, Rastislav Bodík: Register Pressure Sensitive Redundancy Elimination. CC 1999: 107-121

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Load-Reuse Analysis: Design and Evaluation. PLDI 1999: 64-76

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete Removal of Redundant Computations. PLDI 1998: 1-14

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete removal of redundant expressions (with retrospective). Best of PLDI 1998: 596-611

Rastislav Bodík, Sadun Anik: Path-Sensitive Value-Flow Analysis. POPL 1998: 237-251

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Refining Data Flow Information Using Infeasible Paths. ESEC / SIGSOFT FSE 1997: 361-377

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Interprocedural Conditional Branch Elimination. PLDI 1997: 146-158

Rastislav Bodík, Rajiv Gupta: Partial Dead Code Elimination using Slicing Transformations. PLDI 1997: 159-170

Rastislav Bodík, Rajiv Gupta: Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures. International Journal of Parallel Programming 24(6): 481-512 (1996)

Rastislav Bodík, Rajiv Gupta: Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures. LCPC 1995: 1-15