Technical Reports - Ras Bodik

Program Synthesis for Hierarchical Specifications (EECS-2014-139)
Thibaud Hottelier and Ras Bodik

Parallel Web Scripting with Reactive Constraints (EECS-2010-16)
Thibaud Hottelier, James Ide, Doug Kimelman and Ras Bodik

The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View (EECS-2008-23)
Krste Asanovic, Ras Bodik, James Demmel, Tony Keaveny, Kurt Keutzer, John D. Kubiatowicz, Edward A. Lee, Nelson Morgan, George Necula, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel and Katherine A. Yelick

Thin Slicing (EECS-2006-184)
Manu Sridharan, Stephen J. Fink and Ras Bodik

The Landscape of Parallel Computing Research: A View from Berkeley (EECS-2006-183)
Krste Asanovic, Ras Bodik, Bryan Christopher Catanzaro, Joseph James Gebis, Parry Husbands, Kurt Keutzer, David A. Patterson, William Lester Plishker, John Shalf, Samuel Webb Williams and Katherine A. Yelick

Refinement-Based Context-Sensitive Points-To Analysis for Java (EECS-2006-31)
Manu Sridharan and Ras Bodik

Quicksilver: Automatic Synthesis of Relational Queries (EECS-2013-68)
Edward Lu and Ras Bodik