Seguir
Rastislav Bodik
Rastislav Bodik
Dirección de correo verificada de cs.washington.edu - Página principal
Título
Citado por
Citado por
Año
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
31132006
Mining specifications
G Ammons, R Bodík, JR Larus
ACM Sigplan Notices 37 (1), 4-16, 2002
9732002
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
9602006
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
9572009
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
9392013
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
7632017
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
6132005
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
5302003
Refinement-based context-sensitive points-to analysis for Java
M Sridharan, R Bodík
ACM SIGPLAN Notices 41 (6), 387-400, 2006
4182006
Focusing processor policies via critical-path prediction
B Fields, S Rubin, R Bodik
Proceedings of the 28th annual international symposium on Computer …, 2001
3672001
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
3522005
ABCD: eliminating array bounds checks on demand
R Bodik, R Gupta, V Sarkar
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
3482000
Thin slicing
M Sridharan, SJ Fink, R Bodik
Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007
3262007
A lightweight symbolic virtual machine for solver-aided host languages
E Torlak, R Bodik
ACM SIGPLAN Notices 49 (6), 530-541, 2014
2842014
Growing solver-aided languages with rosette
E Torlak, R Bodik
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
2772013
Demand-driven points-to analysis for Java
M Sridharan, D Gopan, L Shan, R Bodík
ACM SIGPLAN Notices 40 (10), 59-76, 2005
2642005
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
2472017
Sketching concurrent data structures
A Solar-Lezama, CG Jones, R Bodik
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2302008
A serializability violation detector for shared-memory server programs
M Xu, R Bodík, MD Hill
ACM Sigplan Notices 40 (6), 1-14, 2005
2282005
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
1872007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20