| The landscape of parallel computing research: A view from berkeley K Asanovic, R Bodik, BC Catanzaro, JJ Gebis, P Husbands, K Keutzer, ... eScholarship, University of California 1, 1, 2006 | 3136 | 2006 |
| Combinatorial sketching for finite programs A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat Proceedings of the 12th international conference on Architectural support …, 2006 | 1005 | 2006 |
| Syntax-guided synthesis R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... 2013 Formal Methods in Computer-Aided Design, 1-8, 2013 | 992 | 2013 |
| Mining specifications G Ammons, R Bodík, JR Larus ACM Sigplan Notices 37 (1), 4-16, 2002 | 984 | 2002 |
| A view of the parallel computing landscape K Asanovic, R Bodik, J Demmel, T Keaveny, K Keutzer, J Kubiatowicz, ... Communications of the ACM 52 (10), 56-67, 2009 | 961 | 2009 |
| Programming with models: writing statistical algorithms for general model structures with NIMBLE P de Valpine, D Turek, CJ Paciorek, C Anderson-Bergman, DT Lang, ... Journal of Computational and Graphical Statistics 26 (2), 403-413, 2017 | 864 | 2017 |
| Jungloid mining: helping to navigate the API jungle D Mandelin, L Xu, R Bodík, D Kimelman ACM Sigplan Notices 40 (6), 48-61, 2005 | 621 | 2005 |
| A" flight data recorder" for enabling full-system multiprocessor deterministic replay M Xu, R Bodik, MD Hill Proceedings of the 30th annual international symposium on Computer …, 2003 | 533 | 2003 |
| Refinement-based context-sensitive points-to analysis for Java M Sridharan, R Bodík ACM SIGPLAN Notices 41 (6), 387-400, 2006 | 424 | 2006 |
| Focusing processor policies via critical-path prediction B Fields, S Rubin, R Bodik Proceedings of the 28th annual international symposium on Computer …, 2001 | 364 | 2001 |
| Programming by sketching for bit-streaming programs A Solar-Lezama, R Rabbah, R Bodík, K Ebcioğlu Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005 | 358 | 2005 |
| ABCD: eliminating array bounds checks on demand R Bodik, R Gupta, V Sarkar Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000 | 352 | 2000 |
| Thin slicing M Sridharan, SJ Fink, R Bodik Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007 | 335 | 2007 |
| A lightweight symbolic virtual machine for solver-aided host languages E Torlak, R Bodik ACM SIGPLAN Notices 49 (6), 530-541, 2014 | 303 | 2014 |
| Growing solver-aided languages with rosette E Torlak, R Bodik Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013 | 296 | 2013 |
| Demand-driven points-to analysis for Java M Sridharan, D Gopan, L Shan, R Bodík ACM SIGPLAN Notices 40 (10), 59-76, 2005 | 272 | 2005 |
| Synthesizing highly expressive SQL queries from input-output examples C Wang, A Cheung, R Bodik Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 266 | 2017 |
| Sketching concurrent data structures A Solar-Lezama, CG Jones, R Bodik Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 238 | 2008 |
| A serializability violation detector for shared-memory server programs M Xu, R Bodík, MD Hill ACM Sigplan Notices 40 (6), 1-14, 2005 | 230 | 2005 |
| Sketching stencils A Solar-Lezama, G Arnold, L Tancau, R Bodik, V Saraswat, S Seshia Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 191 | 2007 |
