Technical Reports - Ras Bodik

Synthesis of Layout Engines from Relational Constraints (EECS-2014-181)
Thibaud Hottelier and Ras Bodik

Programming by Manipulation for Layout (EECS-2014-161)
Thibaud Hottelier, Ras Bodik and Kimiko Ryokai

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

Quicksilver: Automatic Synthesis of Relational Queries (EECS-2013-68)
Edward Lu 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