Sledovať
Rastislav Bodik
Rastislav Bodik
Overená e-mailová adresa na: cs.washington.edu - Domovská stránka
Názov
Citované v
Citované v
Rok
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
31332006
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
10042006
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
9932013
Mining specifications
G Ammons, R Bodík, JR Larus
ACM Sigplan Notices 37 (1), 4-16, 2002
9832002
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
9602009
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
8522017
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
6202005
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
5332003
Refinement-based context-sensitive points-to analysis for Java
M Sridharan, R Bodík
ACM SIGPLAN Notices 41 (6), 387-400, 2006
4242006
Focusing processor policies via critical-path prediction
B Fields, S Rubin, R Bodik
Proceedings of the 28th annual international symposium on Computer …, 2001
3642001
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
3592005
ABCD: eliminating array bounds checks on demand
R Bodik, R Gupta, V Sarkar
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
3522000
Thin slicing
M Sridharan, SJ Fink, R Bodik
Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007
3352007
A lightweight symbolic virtual machine for solver-aided host languages
E Torlak, R Bodik
ACM SIGPLAN Notices 49 (6), 530-541, 2014
3002014
Growing solver-aided languages with rosette
E Torlak, R Bodik
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
2962013
Demand-driven points-to analysis for Java
M Sridharan, D Gopan, L Shan, R Bodík
ACM SIGPLAN Notices 40 (10), 59-76, 2005
2722005
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
2652017
Sketching concurrent data structures
A Solar-Lezama, CG Jones, R Bodik
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2382008
A serializability violation detector for shared-memory server programs
M Xu, R Bodík, MD Hill
ACM Sigplan Notices 40 (6), 1-14, 2005
2302005
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
1912007
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20