Concepedia

Rastislav Bodík

RB

100

Publications

10.4K

Citations

49

H-Index

1996

Active since

Affiliations

University of California, Berkeley(Current)

University of Wisconsin–Madison

University of Washington

Berkeley College

University of Pittsburgh

Rastislav Bodík is an author at University of California, Berkeley specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringFormal MethodsSoftware EngineeringParallel ProgrammingComputer ArchitectureParallel Computing

Publications per year

1996–2022

100

Publications

100

Mining specifications

Glenn Ammons, Rastislav Bodík, James R. Larus · 2002 · 662 citations · Full text

Software Maintenance, Program Checking, Engineering +18

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík et al. · 2006 · 636 citations

Mathematical Programming, Engineering, Compiler Technology +21

A view of the parallel computing landscape

Krste Asanović, Rastislav Bodík, James Demmel et al. · Communications of the ACM · 2009 · 616 citations · Full text

Cluster Computing, Engineering, Computer Architecture +17

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 512 citations

Program-synthesis Problem, Logic Synthesis, Syntax +14

A "flight data recorder" for enabling full-system multiprocessor deterministic replay

Min Xu, Rastislav Bodík, Mark D. Hill · 2003 · 395 citations · Full text

Emulation Technique, Engineering, Computer Architecture +22

Rows per page

1–5 of 100