Rastislav Bodík
发表
Leo A. Meyerovich,
Matthew E. Torok,
Eric Atkinson,
2013,
PPoPP '13.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2012,
CAV.
Noam Rinetzky,
Rastislav Bodík,
Shmuel Sagiv,
2010,
FSE '10.
Rastislav Bodík,
Sarah E. Chasins,
Maria Mueller,
2018,
UIST.
Rajiv Gupta,
Rastislav Bodík,
Rajiv Gupta,
1995,
LCPC.
Rastislav Bodík,
Barbara Jobstmann,
Barbara Jobstmann,
2013,
International Journal on Software Tools for Technology Transfer.
Rastislav Bodík,
Trishul M. Chilimbi,
Shai Rubin,
2002,
POPL '02.
Rastislav Bodík,
Grigory Fedyukovich,
Samuel J. Kaufman,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Eran Yahav,
Rastislav Bodík,
Orna Kupferman,
2009,
Software Synthesis.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2014,
PLDI.
Rastislav Bodík,
Ali Sinan Köksal,
Nir Piterman,
2013,
POPL.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Rajiv Gupta,
Rastislav Bodík,
1999,
CC.
Rastislav Bodík,
Shai Rubin,
Brian A. Fields,
2001,
Proceedings 28th Annual International Symposium on Computer Architecture.
Sanjit A. Seshia,
Armando Solar-Lezama,
Rastislav Bodík,
2007,
PLDI '07.
Rajiv Gupta,
Rastislav Bodík,
Rajiv Gupta,
1996,
International Journal of Parallel Programming.
An Wang,
Emina Torlak,
Rastislav Bodík,
2019,
ASPLOS.
Rajiv Gupta,
Mary Lou Soffa,
Rastislav Bodík,
1997,
PLDI '97.
Sumit Gulwani,
Rastislav Bodík,
Sarah E. Chasins,
2015,
WWW.
Rastislav Bodík,
Kartik Chandra,
2018,
Proc. ACM Program. Lang..
Manu Sridharan,
Rastislav Bodík,
Stephen J. Fink,
2007,
PLDI '07.
Rajiv Gupta,
Rastislav Bodík,
1997,
PLDI '97.
Rastislav Bodík,
Thomas E. Anderson,
Ming Liu,
2018,
OSDI.
Rastislav Bodík,
2009,
SAS.
Rastislav Bodík,
Saurabh Srivastava,
Yewen Pu,
2011,
OOPSLA '11.
Min Xu,
Rastislav Bodík,
Mark D. Hill,
2003,
ISCA '03.
Manu Sridharan,
Rastislav Bodík,
Denis Gopan,
2005,
OOPSLA '05.
Rastislav Bodík,
Grigory Fedyukovich,
R. Bodík,
2016,
SYNT@CAV.
Rastislav Bodík,
Mark D. Hill,
Chris J. Newburn,
2004,
TACO.
James R. Larus,
Stephen N. Freund,
Eric Allen,
2008,
SIGP.
Rajiv Gupta,
Mary Lou Soffa,
Rastislav Bodík,
1997,
ESEC '97/FSE-5.
James R. Larus,
Rastislav Bodík,
Glenn Ammons,
2003,
PLDI '03.
Lei Li,
Yi Wu,
Rastislav Bodík,
2016,
IJCAI.
Rajiv Gupta,
Mary Lou Soffa,
Rastislav Bodík,
1998,
PLDI 1998.
Dinakar Dhurjati,
Rastislav Bodík,
Aditya Thakur,
2016,
ASPLOS.
Rastislav Bodík,
Kimiko Ryokai,
Thibaud Hottelier,
2014,
UIST.
Shriram Krishnamurthi,
Rastislav Bodík,
Benjamin S. Lerner,
2017
.
Rastislav Bodík,
2012,
CACM.
Johannes Hölzl,
Rastislav Bodík,
Ali Sinan Köksal,
2010,
ICFP '10.
Rastislav Bodík,
Kartik Chandra,
Phitchaya Mangpo Phothilimthana,
2017,
SNAPL.
Min Xu,
Rastislav Bodík,
Mark D. Hill,
2005,
PLDI '05.
Leo A. Meyerovich,
Rastislav Bodík,
2010,
WWW '10.
Rastislav Bodík,
Thibaud Hottelier,
Thibaud Hottelier,
2015,
OOPSLA.
Maaz Bin Safeer Ahmad,
Rastislav Bodík,
Grigory Fedyukovich,
2017,
PLDI.
Rajiv Gupta,
Mary Lou Soffa,
Rastislav Bodík,
1998,
PLDI 1998.
Sanjit A. Seshia,
Armando Solar-Lezama,
Rastislav Bodík,
2006,
ASPLOS XII.
Emina Torlak,
Rastislav Bodík,
Satish Chandra,
2015,
Onward!.
Sumit Gulwani,
Eran Yahav,
Rastislav Bodík,
2012,
Dagstuhl Reports.
Rastislav Bodík,
Mark D. Hill,
Chris J. Newburn,
2004,
IEEE Micro.
Alvin Cheung,
Chenglong Wang,
Rastislav Bodík,
2017,
SIGMOD Conference.
Rastislav Bodík,
Sadun Anik,
Rastislav Bodík,
1998,
POPL '98.
Rajiv Gupta,
Mary Lou Soffa,
Rastislav Bodík,
1999,
PLDI '99.
Rastislav Bodík,
R. Bodík,
2015,
ICFP.
Manu Sridharan,
Rastislav Bodík,
R. Bodík,
2006,
PLDI '06.
Emina Torlak,
Rastislav Bodík,
Satish Chandra,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Emina Torlak,
Rastislav Bodík,
Rohin Shah,
2016,
ArXiv.
Armando Solar-Lezama,
Kemal Ebcioglu,
Rastislav Bodík,
2005,
PLDI '05.
Rastislav Bodík,
James E. Smith,
S. Subramanya Sastry,
2005,
OOPSLA '05.
Rastislav Bodík,
Lin Xu,
Doug Kimelman,
2005,
PLDI '05.
Dinakar Dhurjati,
Rastislav Bodík,
Aditya V. Thakur,
2016,
CC.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2013,
Onward!.
Rajiv Gupta,
Rastislav Bodík,
1995,
Proceedings.Seventh IEEE Symposium on Parallel and Distributed Processing.
Rastislav Bodík,
Rohin Shah,
Sarah E. Chasins,
2015
.
Rastislav Bodík,
Grigory Fedyukovich,
2018,
TACAS.
Koushik Sen,
Björn Hartmann,
Rastislav Bodík,
2014,
ICSE.
Rastislav Bodík,
Michael Schuldt,
Phitchaya Mangpo Phothilimthana,
2016,
LCTES.
Rastislav Bodík,
2013,
GPCE.
Sumit Gulwani,
Rastislav Bodík,
Sarah E. Chasins,
2016,
OOPSLA.
Rastislav Bodík,
Mark D. Hill,
Chris J. Newburn,
2003,
MICRO.
Rastislav Bodík,
2008,
PEPM '08.
Vivek Sarkar,
Rastislav Bodík,
Satish Chandra,
2008,
PPoPP.
Emina Torlak,
Rastislav Bodík,
Yu Feng,
2019,
ArXiv.
Rastislav Bodík,
Mark D. Hill,
Brian A. Fields,
2002,
ISCA.
James Demmel,
Kurt Keutzer,
Katherine A. Yelick,
2022
.
Rastislav Bodík,
Satish Chandra,
Doug Kimelman,
2010,
POPL '10.
Rastislav Bodík,
Ajeet Shankar,
2007,
PLDI '07.
Alvin Cheung,
Chenglong Wang,
Rastislav Bodík,
2018,
Proc. ACM Program. Lang..
Vivek Sarkar,
Rajiv Gupta,
Rastislav Bodík,
2000,
PLDI '00.
Rastislav Bodík,
Andreas Raabe,
2009,
2009 46th ACM/IEEE Design Automation Conference.
Alvin Cheung,
Chenglong Wang,
Rastislav Bodík,
2017,
PLDI.
Min Xu,
Rastislav Bodík,
Mark D. Hill,
2006,
ASPLOS XII.
Rastislav Bodík,
James E. Smith,
James E. Smith,
2001,
Proceedings 28th Annual International Symposium on Computer Architecture.
Min Xu,
Rastislav Bodík,
Mark D. Hill,
2007,
IEEE Micro.
Armando Solar-Lezama,
Rastislav Bodík,
Christopher Grant Jones,
2008,
PLDI '08.
James R. Larus,
Rastislav Bodík,
Glenn Ammons,
2002,
POPL '02.
Rastislav Bodík,
Sarah E. Chasins,
Sarah Chasins,
2017,
Proc. ACM Program. Lang..
Matthew Arnold,
Rastislav Bodík,
Ajeet Shankar,
2008,
OOPSLA.
Rastislav Bodík,
2008,
SIGP.
Shriram Krishnamurthi,
Rastislav Bodík,
Benjamin S. Lerner,
2019,
SNAPL.
Sanjit A. Seshia,
Rastislav Bodík,
Vijay A. Saraswat,
2006,
ASPLOS XII.
Armando Solar-Lezama,
Kemal Ebcioglu,
Rastislav Bodík,
2005,
PLDI.