Rastislav Bodík

	2012
50		Rastislav Bodík: Compiling what to how: technical perspective. Commun. ACM 55(2): 102 (2012)
	2011
49		Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík: Angelic debugging. ICSE 2011: 121-130
48		Yewen Pu, Rastislav Bodík, Saurabh Srivastava: Synthesis of first-order dynamic programming algorithms. OOPSLA 2011: 83-98
	2010
47		Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv: Specifying and verifying sparse matrix codes. ICFP 2010: 249-260
46		Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor: Programming with angelic nondeterminism. POPL 2010: 339-352
45		Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv: Field-sensitive program dependence analysis. SIGSOFT FSE 2010: 287-296
44		Leo A. Meyerovich, Rastislav Bodík: Fast and parallel webpage layout. WWW 2010: 711-720
	2009
43		Andreas Raabe, Rastislav Bodík: Synthesizing hardware from sketches. DAC 2009: 623-624
42		Rastislav Bodík: Algorithmic Program Synthesis with Partial Programs and Decision Procedures. SAS 2009: 1
41		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
40		Ajeet Shankar, Matthew Arnold, Rastislav Bodík: Jolt: lightweight dynamic analysis and removal of object churn. OOPSLA 2008: 127-142
39		Rastislav Bodík: Software synthesis with sketching. PEPM 2008: 1-2
38		Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík: Sketching concurrent data structures. PLDI 2008: 136-148
37		Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
36		Rastislav Bodík: Small languages in an undergraduate PL/Compiler course. SIGPLAN Notices 43(11): 39-44 (2008)
35		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
34		Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
33		Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178
32		Ajeet Shankar, Rastislav Bodík: DITTO: automatic incrementalization of data structure invariant checks (in Java). PLDI 2007: 310-319
31		Min Xu, Rastislav Bodík, Mark D. Hill: A Hardware Memory Race Recorder for Deterministic Replay. IEEE Micro 27(1): 48-55 (2007)
	2006
30		Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat: Combinatorial sketching for finite programs. ASPLOS 2006: 404-415
29		Min Xu, Mark D. Hill, Rastislav Bodík: A regulated transitive reduction (RTR) for longer memory race recording. ASPLOS 2006: 49-60
28		Manu Sridharan, Rastislav Bodík: Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400
	2005
27		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
26		Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Runtime specialization with optimistic heap analysis. OOPSLA 2005: 327-343
25		Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík: Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76
24		Min Xu, Rastislav Bodík, Mark D. Hill: A serializability violation detector for shared-memory server programs. PLDI 2005: 1-14
23		Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu: Programming by sketching for bit-streaming programs. PLDI 2005: 281-294
22		David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman: Jungloid mining: helping to navigate the API jungle. PLDI 2005: 48-61
	2004
21		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)
20		Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Interaction cost and shotgun profiling. TACO 1(3): 272-304 (2004)
	2003
19		Min Xu, Rastislav Bodík, Mark D. Hill: A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ISCA 2003: 122-133
18		Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn: Using Interaction Costs for Microarchitectural Bottleneck Analysis. MICRO 2003: 228-242
17		Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus: Debugging temporal specifications with concept analysis. PLDI 2003: 182-195
	2002
16		Brian A. Fields, Rastislav Bodík, Mark D. Hill: Slack: Maximizing Performance Under Technological Constraints. ISCA 2002: 47-58
15		Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi: An efficient profile-analysis framework for data-layout optimizations. POPL 2002: 140-153
14		Glenn Ammons, Rastislav Bodík, James R. Larus: Mining specifications. POPL 2002: 4-16
	2001
13		S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Rapid profiling via stratified sampling. ISCA 2001: 278-289
12		Brian A. Fields, Shai Rubin, Rastislav Bodík: Focusing processor policies via critical-path prediction. ISCA 2001: 74-85
	2000
11		Rastislav Bodík, Rajiv Gupta, Vivek Sarkar: ABCD: eliminating array bounds checks on demand. PLDI 2000: 321-333
	1999
10		Rajiv Gupta, Rastislav Bodík: Register Pressure Sensitive Redundancy Elimination. CC 1999: 107-121
9		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Load-Reuse Analysis: Design and Evaluation. PLDI 1999: 64-76
	1998
8		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete removal of redundant expressions (with retrospective) Best of PLDI 1998: 596-611
7		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete Removal of Redundant Computations. PLDI 1998: 1-14
6		Rastislav Bodík, Sadun Anik: Path-Sensitive Value-Flow Analysis. POPL 1998: 237-251
	1997
5		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Refining Data Flow Information Using Infeasible Paths. ESEC / SIGSOFT FSE 1997: 361-377
4		Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Interprocedural Conditional Branch Elimination. PLDI 1997: 146-158
3		Rastislav Bodík, Rajiv Gupta: Partial Dead Code Elimination using Slicing Transformations. PLDI 1997: 159-170
	1996
2		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)
	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	[35]
2	Glenn Ammons	[14] [17]
3	Sadun Anik	[6]
4	Gilad Arnold	[33] [47]
5	Matthew Arnold	[40]
6	Krste Asanovic	[41]
7	Mark W. Bailey	[35]
8	Shaon Barman	[46] [49]
9	Kim B. Bruce	[35]
10	Satish Chandra	[37] [46] [49]
11	Trishul M. Chilimbi	[15]
12	James Demmel	[41]
13	Nurit Dor	[45]
14	Kemal Ebcioglu	[23]
15	Brian A. Fields	[12] [16] [18] [20] [21]
16	Stephen J. Fink (Stephen Fink)	[34]
17	Kathleen Fisher	[35]
18	Stephen N. Freund	[35]
19	Joel Galenson	[46]
20	Denis Gopan	[25]
21	Rajiv Gupta	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11]
22	Robert Harper	[35]
23	Mark D. Hill	[16] [18] [19] [20] [21] [24] [29] [31]
24	Johannes Hölzl	[47]
25	Christopher Grant Jones	[38]
26	Tony Keaveny	[41]
27	Kurt Keutzer	[41]
28	Doug Kimelman	[22] [46]
29	Ali Sinan Köksal	[47]
30	Chandra Krintz	[35]
31	Shriram Krishnamurthi	[35]
32	John Kubiatowicz	[41]
33	James R. Larus	[14] [17] [35]
34	Doug Lea	[35]
35	Gary T. Leavens	[35]
36	Shay Litvak	[45]
37	David Mandelin	[17] [22]
38	Leo A. Meyerovich	[44]
39	Nelson Morgan	[41]
40	Chris J. Newburn	[18] [20] [21]
41	David A. Patterson	[41]
42	Lori L. Pollock	[35]
43	Yewen Pu	[48]
44	Andreas Raabe	[43]
45	Rodric M. Rabbah	[23]
46	Stuart Reges	[35]
47	Martin C. Rinard	[35]
48	Noam Rinetzky	[45]
49	Casey Rodarmor	[46]
50	Shai Rubin	[12] [15]
51	Shmuel Sagiv (Mooly Sagiv)	[45] [47]
52	Vijay A. Saraswat	[30] [33] [37]
53	Vivek Sarkar	[11] [37]
54	S. Subramanya Sastry	[13] [26]
55	Koushik Sen	[41]
56	Sanjit A. Seshia	[30] [33]
57	Lexin Shan	[25]
58	Ajeet Shankar	[26] [32] [40]
59	Mark A. Sheldon	[35]
60	James E. Smith	[13] [26]
61	Mary Lou Soffa	[4] [5] [7] [8] [9]
62	Armando Solar-Lezama	[23] [30] [33] [38]
63	Manu Sridharan	[25] [28] [34]
64	Saurabh Srivastava	[48]
65	Liviu Tancau	[30] [33]
66	Emina Torlak	[49]
67	Nicholas Tung	[46]
68	Franklyn A. Turbak	[35]
69	Mitchell Wand	[35]
70	John Wawrzynek	[41]
71	David Wessel	[41]
72	Lin Xu	[22]
73	Min Xu	[19] [24] [29] [31]
74	Katherine A. Yelick	[41]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page