Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Rastislav Bodik
Map detail
Rastislav Bodik7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRastislav BodikARastislav BodikResearcherSynthesizing Analytical SQL Queries from Computation DemonstrationWSynthesizing Analytical...preprint / 2022Falx: Synthesis-Powered Visualization AuthoringWFalx: Synthesis-Powered...preprint / 2021Computer-Aided Personalized EducationWComputer-Aided Personal...preprint / 2020SIMPL: A DSL for Automatic Specialization of Inference AlgorithmsWSIMPL: A DSL for Automa...preprint / 2016Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUsWFireiron: A Scheduling ...preprint / 2020Swift: Compiled Inference for Probabilistic Programming LanguagesWSwift: Compiled Inferen...preprint / 2016
Person6 links

Rastislav Bodik

Researcher