Rastislav Bodík

2008
39	EE	Ajeet Shankar, Matthew Arnold, Rastislav Bodík: Jolt: lightweight dynamic analysis and removal of object churn. OOPSLA 2008: 127-142
38	EE	Rastislav Bodík: Software synthesis with sketching. PEPM 2008: 1-2
37	EE	Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík: Sketching concurrent data structures. PLDI 2008: 136-148
36	EE	Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
35	EE	Rastislav Bodík: Small languages in an undergraduate PL/Compiler course. SIGPLAN Notices 43(11): 39-44 (2008)
34	EE	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 Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)
2007
33	EE	Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
32	EE	Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178
31	EE	Ajeet Shankar, Rastislav Bodík: DITTO: automatic incrementalization of data structure invariant checks (in Java). PLDI 2007: 310-319
30	EE	Min Xu, Rastislav Bodík, Mark D. Hill: A Hardware Memory Race Recorder for Deterministic Replay. IEEE Micro 27(1): 48-55 (2007)
2006
29	EE	Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat: Combinatorial sketching for finite programs. ASPLOS 2006: 404-415
28	EE	Min Xu, Mark D. Hill, Rastislav Bodík: A regulated transitive reduction (RTR) for longer memory race recording. ASPLOS 2006: 49-60
27	EE	Manu Sridharan, Rastislav Bodík: Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400
2005
26		Rastislav Bodík: 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 Springer 2005
25	EE	Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Runtime specialization with optimistic heap analysis. OOPSLA 2005: 327-343
24	EE	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík: Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76
23	EE	Min Xu, Rastislav Bodík, Mark D. Hill: A serializability violation detector for shared-memory server programs. PLDI 2005: 1-14
22	EE	Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu: Programming by sketching for bit-streaming programs. PLDI 2005: 281-294
21	EE	David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman: Jungloid mining: helping to navigate the API jungle. PLDI 2005: 48-61
2004
20	EE	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)
19	EE	Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Interaction cost and shotgun profiling. TACO 1(3): 272-304 (2004)
2003
18	EE	Min Xu, Rastislav Bodík, Mark D. Hill: A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ISCA 2003: 122-133
17	EE	Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Using Interaction Costs for Microarchitectural Bottleneck Analysis. MICRO 2003: 228-242
16	EE	Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus: Debugging temporal specifications with concept analysis. PLDI 2003: 182-195
2002
15	EE	Brian A. Fields, Rastislav Bodík, Mark D. Hill: Slack: Maximizing Performance Under Technological Constraints. ISCA 2002: 47-58
14	EE	Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi: An efficient profile-analysis framework for data-layout optimizations. POPL 2002: 140-153
13	EE	Glenn Ammons, Rastislav Bodík, James R. Larus: Mining specifications. POPL 2002: 4-16
2001
12	EE	S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Rapid profiling via stratified sampling. ISCA 2001: 278-289
11	EE	Brian A. Fields, Shai Rubin, Rastislav Bodík: Focusing processor policies via critical-path prediction. ISCA 2001: 74-85
2000
10	EE	Rastislav Bodík, Rajiv Gupta, Vivek Sarkar: ABCD: eliminating array bounds checks on demand. PLDI 2000: 321-333
1999
9		Rajiv Gupta, Rastislav Bodík: Register Pressure Sensitive Redundancy Elimination. CC 1999: 107-121
8	EE	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Load-Reuse Analysis: Design and Evaluation. PLDI 1999: 64-76
1998
7	EE	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete removal of redundant expressions (with retrospective) Best of PLDI 1998: 596-611
6		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete Removal of Redundant Computations. PLDI 1998: 1-14
5	EE	Rastislav Bodík, Sadun Anik: Path-Sensitive Value-Flow Analysis. POPL 1998: 237-251
1997
4	EE	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Refining Data Flow Information Using Infeasible Paths. ESEC / SIGSOFT FSE 1997: 361-377
3		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Interprocedural Conditional Branch Elimination. PLDI 1997: 146-158
2		Rastislav Bodík, Rajiv Gupta: Partial Dead Code Elimination using Slicing Transformations. PLDI 1997: 159-170
1995
1		Rastislav Bodík, Rajiv Gupta: Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures. LCPC 1995: 1-15

Coauthor Index

1	Eric Allen	[34]
2	Glenn Ammons	[13] [16]
3	Sadun Anik	[5]
4	Gilad Arnold	[32]
5	Matthew Arnold	[39]
6	Mark W. Bailey	[34]
7	Kim B. Bruce	[34]
8	Satish Chandra	[36]
9	Trishul M. Chilimbi	[14]
10	Kemal Ebcioglu	[22]
11	Brian A. Fields	[11] [15] [17] [19] [20]
12	Stephen J. Fink (Stephen Fink)	[33]
13	Kathleen Fisher	[34]
14	Stephen N. Freund	[34]
15	Denis Gopan	[24]
16	Rajiv Gupta	[1] [2] [3] [4] [6] [7] [8] [9] [10]
17	Robert Harper	[34]
18	Mark D. Hill	[15] [17] [18] [19] [20] [23] [28] [30]
19	Christopher Grant Jones	[37]
20	Doug Kimelman	[21]
21	Chandra Krintz	[34]
22	Shriram Krishnamurthi	[34]
23	James R. Larus	[13] [16] [34]
24	Doug Lea	[34]
25	Gary T. Leavens	[34]
26	David Mandelin	[16] [21]
27	Chris J. Newburn	[17] [19] [20]
28	Lori L. Pollock	[34]
29	Rodric M. Rabbah	[22]
30	Stuart Reges	[34]
31	Martin C. Rinard	[34]
32	Shai Rubin	[11] [14]
33	Vijay A. Saraswat	[29] [32] [36]
34	Vivek Sarkar	[10] [36]
35	S. Subramanya Sastry	[12] [25]
36	Sanjit A. Seshia	[29] [32]
37	Lexin Shan	[24]
38	Ajeet Shankar	[25] [31] [39]
39	Mark Sheldon	[34]
40	James E. Smith	[12] [25]
41	Mary Lou Soffa	[3] [4] [6] [7] [8]
42	Armando Solar-Lezama	[22] [29] [32] [37]
43	Manu Sridharan	[24] [27] [33]
44	Liviu Tancau	[29] [32]
45	Franklyn A. Turbak	[34]
46	Mitchell Wand	[34]
47	Lin Xu	[21]
48	Min Xu	[18] [23] [28] [30]

Colors in the list of coauthors