I agree that this site is using cookies. You can find further informations here.
X
Bodik, Rastislav
31  results:
OpenAccess-fulltext X
Search for persons X
?
1

Conflict-Driven Synthesis for Layout Engines:

Liu, Junrui ; Chen, Yanju ; Atkinson, Eric..
https://doi.org/10.1145/3591246.  , 2023
Link: https://hdl.handle.net/1..
 
?
2

Synthesizing Analytical SQL Queries from Computation Demons..:

Zhou, Xiangyu ; Bodik, Rastislav ; Cheung, Alvin.
http://arxiv.org/abs/2204.07102.  , 2022
Link: http://arxiv.org/abs/220..
 
?
3

Differentiable 3D CAD Programs for Bidirectional Editing:

Cascaval, Dan ; Shalah, Mira ; Quinn, Phillip...
http://arxiv.org/abs/2110.01182.  , 2021
Link: http://arxiv.org/abs/211..
 
?
4

Falx: Synthesis-Powered Visualization Authoring:

Wang, Chenglong ; Feng, Yu ; Bodik, Rastislav...
http://arxiv.org/abs/2102.01024.  , 2021
Link: http://arxiv.org/abs/210..
 
?
5

Computer-Aided Personalized Education:

Alur, Rajeev ; Baraniuk, Richard ; Bodik, Rastislav...
http://arxiv.org/abs/2007.03704.  , 2020
Link: http://arxiv.org/abs/200..
 
?
6

Fireiron: A Scheduling Language for High-Performance Linear..:

Hagedorn, Bastian ; Elliott, Archibald Samuel ; Barthels, Henrik..
http://arxiv.org/abs/2003.06324.  , 2020
Link: http://arxiv.org/abs/200..
 
?
7

Syntax-Guided Synthesis:

Alur, Rajeev ; Bodik, Rastislav ; Dallal, Eric...
http://dx.doi.org/10.3233/978-1-61499-495-4-1.  , 2019
Link: https://hdl.handle.net/1..
 
?
8

Visualization by Example:

Wang, Chenglong ; Feng, Yu ; Bodik, Rastislav..
http://arxiv.org/abs/1911.09668.  , 2019
Link: http://arxiv.org/abs/191..
 
?
9

Precise Attack Synthesis for Smart Contracts:

Feng, Yu ; Torlak, Emina ; Bodik, Rastislav
http://arxiv.org/abs/1902.06067.  , 2019
Link: http://arxiv.org/abs/190..
 
?
10

Using human-in-the-loop synthesis to author functional reac..:

Newcomb, Julie L ; Bodik, Rastislav
http://arxiv.org/abs/1909.11206.  , 2019
Link: http://arxiv.org/abs/190..
 
?
11

LIPIcs, Volume 136, SNAPL'19, Complete Volume:

Lerner, Benjamin S ; Bodík, Rastislav ; Krishnamurthi, Shriram
Is Part Of LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019).  , 2019
Link: https://doi.org/10.4230/..
 
?
12

Front Matter, Table of Contents, Preface, Conference Organi..:

Lerner, Benjamin S ; Bodík, Rastislav ; Krishnamurthi, Shriram
Is Part Of LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019).  , 2019
Link: https://doi.org/10.4230/..
 
?
13

Synthesizing Signaling Pathways from Temporal Phosphoproteo..:

Köksal, Ali Sinan ; Beck, Kirsten ; Cronin, Dylan R...
http://dx.doi.org/10.1016/j.celrep.2018.08.085.  , 2018
Link: http://hdl.handle.net/17..
 
?
14

Domain-Specific Symbolic Compilation:

Bodík, Rastislav ; Chandra, Kartik ; Phothilimthana, Phitchaya Mangpo.
Is Part Of LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017).  , 2017
Link: https://doi.org/10.4230/..
 
?
15

Front Matter, Table of Contents, Preface:

Lerner, Benjamin S ; Bodík, Rastislav ; Krishnamurthi, Shriram
Is Part Of LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017).  , 2017
Link: https://doi.org/10.4230/..
 
1-15