Bodik, Rastislav
- Swift: Compiled Inference for Probabilistic Programming Languages
2016/06/30 by Yi Wu, Wu, Yi, Lei Li +5 · 3 citations
Computer Science · #AI-based Problem Solving and Planning #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Bonsai: Synthesis-Based Reasoning for Type Systems
2017/08/01 by Kartik Chandra, Rastislav Bodik, Chandra, Kartik +1 · 1 voice
#cs.PL
- Precise Attack Synthesis for Smart Contracts
2019/02/16 by Yu Feng, Emina Torlak, Feng, Yu +3 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs
2020/03/13 by Hagedorn, Bastian, Elliott, Archibald Samuel, Barthels, Henrik +2 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Visualization by Example
2019/11/21 by Wang, Chenglong, Feng, Yu, Bodik, Rastislav +2 · 1 citation
#FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Programming Languages (cs.PL)
- Differentiable 3D CAD Programs for Bidirectional Editing
2021/10/04 by Dan Caşcaval, Mira Shalah, Cascaval, Dan +9 · 1 citation
Engineering · Computer Science · #Manufacturing Process and Optimization #3D Shape Modeling and Analysis #Computer Graphics and Visualization Techniques