Rastislav Bodík

	2010
43		Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor: Programming with angelic nondeterminism. POPL 2010: 339-352
	2009
42		Andreas Raabe, Rastislav Bodík: Synthesizing hardware from sketches. DAC 2009: 623-624
41		Rastislav Bodík: Algorithmic Program Synthesis with Partial Programs and Decision Procedures. SAS 2009: 1
40		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)
	2008
39		Ajeet Shankar, Matthew Arnold, Rastislav Bodík: Jolt: lightweight dynamic analysis and removal of object churn. OOPSLA 2008: 127-142
38		Rastislav Bodík: Software synthesis with sketching. PEPM 2008: 1-2
37		Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík: Sketching concurrent data structures. PLDI 2008: 136-148
36		Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
35		Rastislav Bodík: Small languages in an undergraduate PL/Compiler course. SIGPLAN Notices 43(11): 39-44 (2008)
34		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)
	2007
33		Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
32		Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178
31		Ajeet Shankar, Rastislav Bodík: DITTO: automatic incrementalization of data structure invariant checks (in Java). PLDI 2007: 310-319
30		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		Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat: Combinatorial sketching for finite programs. ASPLOS 2006: 404-415
28		Min Xu, Mark D. Hill, Rastislav Bodík: A regulated transitive reduction (RTR) for longer memory race recording. ASPLOS 2006: 49-60
27		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		Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Runtime specialization with optimistic heap analysis. OOPSLA 2005: 327-343
24		Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík: Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76
23		Min Xu, Rastislav Bodík, Mark D. Hill: A serializability violation detector for shared-memory server programs. PLDI 2005: 1-14
22		Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu: Programming by sketching for bit-streaming programs. PLDI 2005: 281-294
21		David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman: Jungloid mining: helping to navigate the API jungle. PLDI 2005: 48-61
	2004
20		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		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		Min Xu, Rastislav Bodík, Mark D. Hill: A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ISCA 2003: 122-133
17		Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Using Interaction Costs for Microarchitectural Bottleneck Analysis. MICRO 2003: 228-242
16		Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus: Debugging temporal specifications with concept analysis. PLDI 2003: 182-195
	2002
15		Brian A. Fields, Rastislav Bodík, Mark D. Hill: Slack: Maximizing Performance Under Technological Constraints. ISCA 2002: 47-58
14		Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi: An efficient profile-analysis framework for data-layout optimizations. POPL 2002: 140-153
13		Glenn Ammons, Rastislav Bodík, James R. Larus: Mining specifications. POPL 2002: 4-16
	2001
12		S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Rapid profiling via stratified sampling. ISCA 2001: 278-289
11		Brian A. Fields, Shai Rubin, Rastislav Bodík: Focusing processor policies via critical-path prediction. ISCA 2001: 74-85
	2000
10		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		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Load-Reuse Analysis: Design and Evaluation. PLDI 1999: 64-76
	1998
7		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		Rastislav Bodík, Sadun Anik: Path-Sensitive Value-Flow Analysis. POPL 1998: 237-251
	1997
4		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	Krste Asanovic	[40]
7	Mark W. Bailey	[34]
8	Shaon Barman	[43]
9	Kim B. Bruce	[34]
10	Satish Chandra	[36] [43]
11	Trishul M. Chilimbi	[14]
12	James Demmel	[40]
13	Kemal Ebcioglu	[22]
14	Brian A. Fields	[11] [15] [17] [19] [20]
15	Stephen J. Fink (Stephen Fink)	[33]
16	Kathleen Fisher	[34]
17	Stephen N. Freund	[34]
18	Joel Galenson	[43]
19	Denis Gopan	[24]
20	Rajiv Gupta	[1] [2] [3] [4] [6] [7] [8] [9] [10]
21	Robert Harper	[34]
22	Mark D. Hill	[15] [17] [18] [19] [20] [23] [28] [30]
23	Christopher Grant Jones	[37]
24	Tony Keaveny	[40]
25	Kurt Keutzer	[40]
26	Doug Kimelman	[21] [43]
27	Chandra Krintz	[34]
28	Shriram Krishnamurthi	[34]
29	John Kubiatowicz	[40]
30	James R. Larus	[13] [16] [34]
31	Doug Lea	[34]
32	Gary T. Leavens	[34]
33	David Mandelin	[16] [21]
34	Nelson Morgan	[40]
35	Chris J. Newburn	[17] [19] [20]
36	David A. Patterson	[40]
37	Lori L. Pollock	[34]
38	Andreas Raabe	[42]
39	Rodric M. Rabbah	[22]
40	Stuart Reges	[34]
41	Martin C. Rinard	[34]
42	Casey Rodarmor	[43]
43	Shai Rubin	[11] [14]
44	Vijay A. Saraswat	[29] [32] [36]
45	Vivek Sarkar	[10] [36]
46	S. Subramanya Sastry	[12] [25]
47	Koushik Sen	[40]
48	Sanjit A. Seshia	[29] [32]
49	Lexin Shan	[24]
50	Ajeet Shankar	[25] [31] [39]
51	Mark A. Sheldon	[34]
52	James E. Smith	[12] [25]
53	Mary Lou Soffa	[3] [4] [6] [7] [8]
54	Armando Solar-Lezama	[22] [29] [32] [37]
55	Manu Sridharan	[24] [27] [33]
56	Liviu Tancau	[29] [32]
57	Nicholas Tung	[43]
58	Franklyn A. Turbak	[34]
59	Mitchell Wand	[34]
60	John Wawrzynek	[40]
61	David Wessel	[40]
62	Lin Xu	[21]
63	Min Xu	[18] [23] [28] [30]
64	Katherine A. Yelick	[40]

Colors in the list of coauthors