Rastislav Bodík
Google (United States)(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Logic, programming, and type systems, Software Engineering Research, Formal Methods in Verification
Most-Cited Works
- → Mining specifications(2002)662 cited
- → Combinatorial sketching for finite programs(2006)638 cited
- → A view of the parallel computing landscape(2009)619 cited
- → Syntax-guided synthesis(2013)513 cited
- → A "flight data recorder" for enabling full-system multiprocessor deterministic replay(2003)395 cited
- → Jungloid mining(2005)388 cited
- Program synthesis by sketching(2008)
- → Focusing processor policies via critical-path prediction(2001)247 cited
- → Refinement-based context-sensitive points-to analysis for Java(2006)241 cited