Rastislav Bodík
发表
Rastislav Bodík,
Lin Xu,
Doug Kimelman,
2005,
PLDI '05.
Rastislav Bodík,
Michael Schuldt,
Phitchaya Mangpo Phothilimthana,
2016,
LCTES.
Sarah E. Chasins,
Rohin Shah,
R. Bodík,
2014,
PLDI.
Sarah E. Chasins,
Rohin Shah,
P. Phothilimthana,
2015
.
Rastislav Bodik,
Emina Torlak,
Yu Feng,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Rajiv Gupta,
Mary Lou Soffa,
Rastislav Bodík,
1999,
PLDI '99.
Rajiv Gupta,
Mary Lou Soffa,
Rastislav Bodík,
1998,
PLDI 1998.
Rastislav Bodík,
Sadun Anik,
Rastislav Bodík,
1998,
POPL '98.
Rajiv Gupta,
Rastislav Bodík,
Rajiv Gupta,
1996,
International Journal of Parallel Programming.
Rajiv Gupta,
Rastislav Bodík,
Rajiv Gupta,
1995,
LCPC.
Rastislav Bodik,
R. Bodík,
Rastislav Bodík,
2006
.
Maaz Bin Safeer Ahmad,
Rastislav Bodík,
Grigory Fedyukovich,
2017,
PLDI.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Sanjit A. Seshia,
Armando Solar-Lezama,
Rastislav Bodík,
2006,
ASPLOS XII.
Manu Sridharan,
Rastislav Bodík,
Stephen J. Fink,
2007,
PLDI '07.
Manu Sridharan,
Rastislav Bodík,
R. Bodík,
2006,
PLDI '06.
Rastislav Bodík,
Thibaud Hottelier,
Thibaud Hottelier,
2015,
OOPSLA.
R. Bodík,
Thibaud Hottelier,
Rastislav Bodík,
2014
.
Doug Kimelman,
Rastislav Bodik,
Thibaud Hottelier,
2011
.
Domain Layout Language Prop Fun Prop Fun Functions Dependencies AG compiler Solution Tree traversals
R. Bodík,
D. Kimelman,
J. Ide,
2010
.
Emina Torlak,
Rastislav Bodík,
Yu Feng,
2019,
ArXiv.
R. Bodík,
C. Paciorek,
D. Lang,
2015,
1505.05093.
Armando Solar-Lezama,
Rastislav Bodik,
R. Bodík,
2008
.
Vivek Sarkar,
Rajiv Gupta,
Rastislav Bodík,
2000,
PLDI '00.
A. McKenna,
R. Bodík,
E. Fraenkel,
2017,
bioRxiv.
James Demmel,
Kurt Keutzer,
Katherine A. Yelick,
2022
.
Samuel Williams,
John Shalf,
Katherine Yelick,
2006
.
Erik Elmroth,
Dawn Song,
Michael Scott,
2018
.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2014,
PLDI.
Alvin Cheung,
Luis Ceze,
Max Willsey,
2019,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Min Xu,
Rastislav Bodík,
Mark D. Hill,
2005,
PLDI '05.
Matthew Arnold,
Rastislav Bodík,
Ajeet Shankar,
2008,
OOPSLA.
James R. Larus,
Rastislav Bodík,
Glenn Ammons,
2002,
POPL '02.
M. Hill,
Min Xu,
Rastislav Bodík,
2022
.
Min Xu,
Rastislav Bodík,
Mark D. Hill,
2006,
ASPLOS XII.
Edward A. Lee,
Katherine Yelick,
James Demmel,
2008
.
Min Xu,
Mark D. Hill,
Rastislav Bodik,
2007
.
Min Xu,
Rastislav Bodík,
Mark D. Hill,
2007,
IEEE Micro.
Min Xu,
Mark D. Hill,
Rastislav Bodik,
2006
.
Rastislav Bodík,
Shai Rubin,
Brian A. Fields,
2001,
Proceedings 28th Annual International Symposium on Computer Architecture.
Umut A. Acar,
Benjamin S. Lerner,
Rodric M. Rabbah,
2015,
SNAPL.
Rastislav Bodík,
Kimiko Ryokai,
Thibaud Hottelier,
2014,
UIST.
Alvin Cheung,
Isil Dillig,
Amy J. Ko,
2021,
CHI.
J. Fisher,
Nir Piterman,
Rastislav Bodík,
2014,
Front. Bioeng. Biotechnol..
Sumit Gulwani,
Rajeev Alur,
Armando Solar-Lezama,
2020,
ArXiv.
Emina Torlak,
Rastislav Bodík,
Satish Chandra,
2015,
Onward!.
Rastislav Bodík,
Barbara Jobstmann,
Barbara Jobstmann,
2013,
International Journal on Software Tools for Technology Transfer.
Rastislav Bodík,
Satish Chandra,
Doug Kimelman,
2010,
POPL '10.
Armando Solar-Lezama,
Kemal Ebcioglu,
Rastislav Bodík,
2005,
PLDI '05.
Rastislav Bodík,
Saurabh Srivastava,
Yewen Pu,
2011,
OOPSLA '11.
Rastislav Bodik,
James E. Smith,
James E. Smith,
2000
.
A. McKenna,
R. Bodík,
E. Fraenkel,
2018
.
Rastislav Bodík,
Sarah E. Chasins,
Maria Mueller,
2018,
UIST.