Rastislav Bodik
Affiliations: | University of Wisconsin, Madison, Madison, WI |
Area:
Computer ScienceGoogle:
"Rastislav Bodik"Children
Sign in to add trainee| Joel D. Galenson | grad student | UC Berkeley | |
| Glenn S. Ammons | grad student | 2003 | UW Madison |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Willsey M, Lee VT, Cheung A, et al. (2019) Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 38: 407-418 |
| de Valpine P, Turek D, Paciorek CJ, et al. (2017) Programming With Models: Writing Statistical Algorithms for General Model Structures With NIMBLE Journal of Computational and Graphical Statistics. 26: 403-413 |
| Phothilimthana PM, Schuldt M, Bodik R. (2016) Compiling a gesture recognition application for a Low-Power spatial architecture Proceedings of the Acm Sigplan Conference On Languages, Compilers, and Tools For Embedded Systems (Lctes). 13: 102-112 |
| Fisher J, Piterman N, Bodik R. (2014) Toward synthesizing executable models in biology. Frontiers in Bioengineering and Biotechnology. 2: 75 |
| Bodik R. (2014) Modeling biology with solver-aided programming languages Sigplan Notices. 49: 1-2 |
| Torlak E, Bodik R. (2014) A lightweight symbolic virtual machine for solver-aided host languages Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 530-541 |
| Phothilimthana PM, Jelvis T, Shah R, et al. (2014) Chlorophyll: Synthesis-aided compiler for low-power spatial architectures Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 396-407 |
| Torlak E, Bodik R. (2013) Growing solver-aided languages with ROSETTE Splash Indianapolis 2013: Onward! 2013 - Proceedings of the 2013 International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software. 135-151 |
| Bodik R. (2012) Compiling what to how Communications of the Acm. 55: 102 |
| Bodik R, Chandra S, Galenson J, et al. (2010) Programming with angelic nondeterminism Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 339-351 |