Technical Reports - 2013
Scale-Independent Relational Query Processing (EECS-2013-165)
Michael Armbrust
Tunneling in low-power device-design: A bottom-up view of issues, challenges, and opportunities (EECS-2013-164)
Kartik Ganapathi
Schedulability Analysis and Verification of Real-Time Discrete-Event Systems (EECS-2013-163)
Christos Stergiou
Reactive Synthesis vs. Supervisory Control: Bridging the Gap (EECS-2013-162)
Ruediger Ehlers, Stephane Lafortune, Stavros Tripakis and Moshe Vardi
Precision Timed Infrastructure: Design Challenges (EECS-2013-161)
David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards and Edward A. Lee
Appendix to the History of the UC Berkeley Microlab (EECS-2013-159)
Katalin Voros
History of the UC Berkeley Microlab (EECS-2013-158)
Katalin Voros
On Relating Visual Elements to City Statistics (EECS-2013-157)
Sean Arietta, Maneesh Agrawala and Ravi Ramamoorthi
Regularization-Based Identification for Level Set Equations (EECS-2013-156)
Insoon Yang and Claire Tomlin
Towards Adapting ImageNet to Reality: Scalable Domain Adaptation with Implicit Low-rank Transformations (EECS-2013-154)
Erik Rodner, Judith Hoffman, Jeffrey Donahue, Trevor Darrell and Kate Saenko
Determinate Composition of FMUs for Co-Simulation (EECS-2013-153)
David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis and Michael Wetter
A Warping Framework for Wide-Angle Imaging and Perspective Manipulation (EECS-2013-152)
Robert Carroll
Avoiding Communication in Dense Linear Algebra (EECS-2013-151)
Grey Ballard
A study of some problems in network information theory (EECS-2013-148)
Sudeep Kamath
Automatic Mapping of Real Time Radio Astronomy Signal Processing Pipelines onto Heterogeneous Clusters (EECS-2013-147)
Terry Esther Filiba
Control and Optimization of Power Systems with Renewables: Voltage Regulation and Generator Dispatch (EECS-2013-146)
Baosen Zhang
Pebble Games and Complexity (EECS-2013-145)
Siu Man Chan
Nanomaterials processing toward large-scale flexible/stretchable electronics (EECS-2013-144)
Toshitake Takahashi
StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs Using High-Level Abstractions (EECS-2013-143)
Dai Bui and Edward A. Lee
Shapes, Paint, and Light (EECS-2013-142)
Jonathan Barron
Towards Sound HTTP Request Causation Inference (EECS-2013-141)
Kristin Stephens
Eliciting Private Information from Selfish Agents (EECS-2013-138)
Rafael Frongillo
Reflective Impulse Radios: Principles and Design (EECS-2013-137)
Yuhui David Chen
Novel Technologies for Next Generation Memory (EECS-2013-136)
WookHyun Kwon
The CloudProxy Tao for Trusted Computing (EECS-2013-135)
John Manferdelli, Tom Roeder and Fred Schneider
Synthesis for Human-in-the-Loop Control Systems (EECS-2013-134)
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry and Sanjit A. Seshia
Blazes: Coordination Analysis for Distributed Programs (EECS-2013-133)
Peter Alvaro, Neil Conway, Joseph M. Hellerstein and David Maier
Geometric Image Segmentation via Multiscale TILT Clustering (EECS-2013-132)
Chi Pang Lam, Allen Yang, Ehsan Elhamifar and S. Shankar Sastry
Avoiding Communication in Successive Band Reduction (EECS-2013-131)
Grey Ballard, James Demmel and Nicholas Knight
Construction of a Cubist Girl Cap (EECS-2013-130)
Carlo H. Séquin
Optimal Mixed Spectrum Auction (EECS-2013-129)
Alonso Silva, Fernando Beltran and Jean Walrand
Rangzen: Circumventing Government-Imposed Communication Blackouts (EECS-2013-128)
Giulia Fanti, Yahel Ben David, Sebastian Benthall, Eric Brewer and Scott Shenker
Communication-Avoiding Symmetric-Indefinite Factorization (EECS-2013-127)
Grey Ballard, Dulceneia Becker, James Demmel, Jack Dongarra, Alex Druinsky, Inon Peled, Oded Schwartz, Sivan Toledo and Ichitaro Yamazaki
An arithmetic complexity lower bound for computing rational functions, with applications to linear algebra (EECS-2013-126)
James Demmel
Transformation-Aware Symbolic Execution for System Test Generation (EECS-2013-125)
Stephen McCamant, Mathias Payer, Dan Caselden, Alex Bazhanyuk and Dawn Song
Using FPGAs to Simulate Novel Datacenter Network Architectures At Scale (EECS-2013-124)
Zhangxi Tan
How to Build a Bad Research Center (EECS-2013-123)
David A. Patterson
The Fixed-Point Theory of Strictly Causal Functions (EECS-2013-122)
Eleftherios Matsikoudis and Edward A. Lee
Material Science and Device Physics of (EECS-2013-121)
Rehan Kapadia
Estimating the Resources for Quantum Computation with the QuRE Toolbox (EECS-2013-119)
Martin Suchara, Arvin Faruque, Ching-Yi Lai, Gerardo Paz, Frederic Chong and John D. Kubiatowicz
A Fast Filter for Physically-Based Rendering (EECS-2013-118)
Brandon Wang
Shape, Illumination, and Reflectance from Shading (EECS-2013-117)
Jonathan Barron and Jitendra Malik
The Internals of GameTime: Implementation and Evaluation of a Timing Analyzer for Embedded Software (EECS-2013-116)
Jonathan Prakash Kotker
Indoor Floorplan with WiFi Coverage Map Android Application (EECS-2013-115)
Zeying Xin
Indoor Floorplan with WiFi Coverage Map Android Application (EECS-2013-114)
Zeying Xin
FastLane: An Agile Congestion Signaling Mechanism for Improving Datacenter Performance (EECS-2013-113)
David Zats, Anand Padmanabha Iyer, Randy H. Katz, Ion Stoica and Amin Vahdat
Automatic Gesture Recognition and Tracking System for Physiotherapy (EECS-2013-112)
Aarthi Ravi
Investigation of Peptoid Thin Films and Their Potential Use in a Biosensor (EECS-2013-111)
Brian Lunt, Gloria Olivier, Felippe Pavinatto, Ronald Zuckermann and Ana Claudia Arias
Constraints And Techniques For Software Power Management In Production Clusters (EECS-2013-110)
Arka Bhattacharya
Predicting Student Retention in Massive Open Online Courses using Hidden Markov Models (EECS-2013-109)
Girish Balakrishnan
Speaker Diarization: Current Limitations and New Directions (EECS-2013-108)
Mary Tai Knox
Spontaneous Emission Rate Enhancement Using Optical Antennas (EECS-2013-107)
Nikhil Kumar
User Interface: 3D Feedback (EECS-2013-105)
Seyed Hassan Elahi
User-Guided Inverse 3D Modeling (EECS-2013-103)
James Andrews
Autonomous Navigation and Collision Avoidance Robot (EECS-2013-102)
Pengqi Cheng
Design a Natural User Interface for Gesture Recognition Application (EECS-2013-101)
Zhaochen Liu
Communication-Avoiding Parallel Recursive Algorithms for Matrix Multiplication (EECS-2013-100)
Benjamin Lipshitz
Design and Analysis of Digitally Modulated Transmitters for Efficiency Enhancement (EECS-2013-99)
Lu Ye
Hardware Construction in Chisel (EECS-2013-98)
Huy Vo
How structured data (Linked Data) help in Big Data Analysis --- Expand Patent Data with Linked Data Cloud (EECS-2013-96)
Lishan Zhang
CrowdCritter: Strategies for Crowdsourcing Visual Design Critique (EECS-2013-95)
Wei Wu, Kurt Luther, Amy Pavel, Björn Hartmann, Steven Dow and Maneesh Agrawala
Learning from Subsampled Data: Active and Randomized Strategies (EECS-2013-94)
Fabian Wauthier
Hinted Collection (EECS-2013-93)
Philip Reames
An Automated Physiotherapy Exercise Generator (EECS-2013-91)
Ross Yeager
Indoor Floorplan with WiFi Coverage Map Android Application (EECS-2013-90)
Simple & Secure Wi-Fi Configuration for Internet of Things (EECS-2013-89)
Jia Xu
User Interface Issues of 3D Gesture Mobile Devices and Visual Feedback of Physiotherapy Application (EECS-2013-88)
Ryan Rho
A hybrid approach of physical laws and data-driven modeling for estimation: the example of queuing networks (EECS-2013-87)
Aude Hofleitner
SIMPLE & SECURE WI-FI CONFIGURATION FOR INTERNET OF THINGS (EECS-2013-86)
Shujing Zhang
Transformation-aware Exploit Generation using a HI-CFG (EECS-2013-85)
Dan Caselden, Alex Bazhanyuk, Mathias Payer, Laszlo Szekeres, Stephen McCamant and Dawn Song
Nanodiamond Imaging: a New Molecular Imaging Approach (EECS-2013-84)
Alex Hegyi
Benefits and Practicality of Super-Packets (EECS-2013-83)
Yunlong Li
Transparent Micro-electrocorticography (μECoG) Arrays for Optogenetic Mapping of Surface Potentials (EECS-2013-82)
Brian Pepin
Scalable Scheduling for Sub-Second Parallel Jobs (EECS-2013-79)
Patrick Wendell
Using Linked Data to improve the query performance of Patent Data (EECS-2013-78)
Xiaoting Yin
Differential Slicing: Identifying Causal Execution Differences for Security Applications (EECS-2013-77)
Noah Johnson-Walls
Equalization for Intracortical Microstimulation Artifact Reduction (EECS-2013-76)
Philip Chu
Autonomous Navigation and Collision Avoidance of a Scale Model Robot Using Smartphone Sensors (EECS-2013-75)
Garen Der-Khachadourian
Android Application for Indoor Wi-Fi Layout (EECS-2013-74)
Zhengyin Qian
Loop Closure Transformation Estimation and Verification Using 2D LiDAR Scanners (EECS-2013-73)
Nicholas Corso
Integrated Nuclear Power Generation Project (EECS-2013-72)
Tzu-An Huang
Fully Automatic Standard Cell Creation in an Analog Generator Framework (EECS-2013-71)
Rachel Nancollas
Watertight Floor Plans Generated from Laser Range Data (EECS-2013-69)
Eric Turner
Quicksilver: Automatic Synthesis of Relational Queries (EECS-2013-68)
Edward Lu and Ras Bodik
Speech-enabled Systems for Language Learning (EECS-2013-67)
Anuj Tewari
Economics and Computation: Ad Auctions and Other Stories (EECS-2013-66)
Christopher Wilkens
Deterministic Execution of Ptides Programs (EECS-2013-65)
Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee and Michael Zimmer
CANDID: Classifying Assets in Networks by Determining Importance and Dependencies (EECS-2013-64)
Scott Marshall
Fully Printed, Flexible, High Performance Carbon Nanotube Top-gated Thin-film Transistors (EECS-2013-63)
Pak Heng Lau
Using Telemetry to Illuminate Policy Interactions: A Case Study with RequestPolicy (EECS-2013-62)
Justin Samuel
Communication Lower Bounds and Optimal Algorithms for Programs That Reference Arrays - Part 1 (EECS-2013-61)
Michael Christ, James Demmel, Nicholas Knight, Thomas Scanlon and Katherine A. Yelick
Flight Simulation of an Ornithopter (EECS-2013-60)
Cameron Rose and Ronald S. Fearing
AdDroid: Privilege Separation for Applications and Advertisers in Android (EECS-2013-59)
Paul Pearce, Adrienne Porter Felt, Gabriel Nunez and David Wagner
Helping Developers Construct Secure Mobile Applications (EECS-2013-58)
Erika Chin
Hardness of Maximum Constraint Satisfaction (EECS-2013-57)
Siu On Chan
Measurement and characterization of EUV mask performance at high-NA (EECS-2013-56)
Rikon Chao
Energy Efficient Digital Logic Using Nanoscale Magnetic Devices (EECS-2013-55)
Brian Lambson
Local Optima of Nonconvex Regularized M-Estimators (EECS-2013-54)
Po-Ling Loh
Low-Complexity Message-Passing Algorithms for Distributed Computation (EECS-2013-53)
Nima Noorshams
The BLOG Language Reference (EECS-2013-51)
Lei Li and Stuart J. Russell
Towards Evidence-Based Assessment of Factors Contributing to the Introduction and Detection of Software Vulnerabilities (EECS-2013-49)
Matthew Finifter
The Extended Parameter Filter (EECS-2013-48)
Yusuf Erol, Lei Li, Bharath Ramsundar and Stuart J. Russell
Exploiting Data Sparsity in Parallel Matrix Powers Computations (EECS-2013-47)
Nicholas Knight, Erin Carson and James Demmel
Communication Avoiding Rank Revealing QR Factorization with Column Pivoting (EECS-2013-46)
James Demmel, Laura Grigori, Ming Gu and Hua Xiang
Nano-Electro-Mechanical (NEM) Relay Devices and Technology for Ultra-Low Energy Digital Integrated Circuits (EECS-2013-45)
Rhesa Nathanael
Fundamental limits and insights: from wireless communication to DNA sequencing (EECS-2013-43)
Guy Bresler
Conditional Sampling Distributions for Coalescent Models Incorporating Recombination (EECS-2013-42)
Joshua Paul
Designing plant dynamics to optimize task-specific closed-loop performance of brain-machine interfaces (EECS-2013-41)
Suraj Gowda
Exploiting Memory-level Parallelism in Reconfigurable Accelerators (EECS-2013-40)
Shaoyi Cheng
A Succinct Control Theory Derivation and New Experiments with the Square-Root Variant of Fitts' Law for Heterogeneous Targets (EECS-2013-39)
Siamak Faridani
Experimental and Simulation Study of Resistive Switches for Memory Applications (EECS-2013-38)
Feng Pan
Resilient Design Methodology for Energy-Efficient SRAM (EECS-2013-37)
Brian Zimmer, Borivoje Nikolic and Krste Asanović
Fully Integrated Silicon Terahertz Transceivers for Sensing and Communication Applications (EECS-2013-36)
Jung-Dong Park
Shark: Fast Data Analysis Using Coarse-grained Distributed Memory (EECS-2013-35)
Clifford Engle
Band-to-Band Tunneling Transistors: Scalability and Circuit Performance (EECS-2013-34)
Zachery Jacobson
Formation Control with Size Scaling using Relative Position Feedback (EECS-2013-33)
Samuel Coogan
The Complexity of Entangled Games (EECS-2013-32)
Thomas Vidick
Engineering Scalable Combinational Logic in Escherichia coli Using Zinc Finger Proteins (EECS-2013-31)
William J. Holtz
The Complexity of Optimal Auction Design (EECS-2013-30)
George Pierrakos
Sparrow: Scalable Scheduling for Sub-Second Parallel Jobs (EECS-2013-29)
Kay Ousterhout, Patrick Wendell, Matei Zaharia and Ion Stoica
Sauron: Embedded Single-Camera Sensing of Printed Physical User Interfaces (EECS-2013-28)
Valkyrie Savage, Colin Chang and Björn Hartmann
Anatomy of the Berkeley Sensor & Actuator Center (BSAC): (EECS-2013-26)
John Huggins
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (EECS-2013-24)
Alberto Alessandro Angelo Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia
Interactive Code Snippet Synthesis Through Repository Mining (EECS-2013-23)
Zvonimir Pavlinovic and Domagoj Babic
Regular Homotopies of Low-Genus Non-Orientable Surfaces (EECS-2013-21)
Carlo H. Séquin
Data-Confined HTML5 Applications (EECS-2013-20)
Devdatta Akhawe, Frank Li, Warren He, Prateek Saxena and Dawn Song
Maximally Permissive Composition of Actors in Ptolemy II (EECS-2013-19)
Marten Lohstroh
Man-in-the-Middle Attack on T-Mobile Wi-Fi Calling (EECS-2013-18)
Jethro Beekman and Christopher Thompson
Carat: Collaborative Energy Diagnosis for Mobile Devices (EECS-2013-17)
Adam Oliner, Anand Padmanabha Iyer, Ion Stoica, Eemil Lagerspetz and Sasu Tarkoma
Visual Grasp Affordances From Appearance-Based Cues (EECS-2013-16)
Hyun Oh Song, Mario Fritz, Chunhui Gu and Trevor Darrell
Enabling Advanced Environmental Conditioning with a Building Application Stack (EECS-2013-14)
Jay Taneja, Andrew Krioukov, Stephen Dawson-Haggerty and David E. Culler
Communication Optimal Parallel Multiplication of Sparse Random Matrices (EECS-2013-13)
Grey Ballard, Aydin Buluc, James Demmel, Laura Grigori, Benjamin Lipshitz, Oded Schwartz and Sivan Toledo
Communication Efficient Gaussian Elimination with Partial Pivoting using a Shape Morphing Data Layout (EECS-2013-12)
Grey Ballard, James Demmel, Benjamin Lipshitz, Oded Schwartz and Sivan Toledo
Cyclops Tensor Framework: reducing communication and eliminating load imbalance in massively parallel contractions (EECS-2013-11)
Edgar Solomonik, Devin Matthews, Jeff Hammond and James Demmel
Minimizing communication in all-pairs shortest paths (EECS-2013-10)
Edgar Solomonik, Aydin Buluc and James Demmel
A Tool Integration Approach for Architectural Exploration of Aircraft EPS with Ptolemy II / Metro II (EECS-2013-9)
Hokeun Kim, Liangpeng Guo and Alberto L. Sangiovanni-Vincentelli
How Did We Get Into This Mess? Isolating Fault-Inducing Inputs to SDN Control Software (EECS-2013-8)
Colin Scott, Andreas Wundsam, Sam Whitlock, Andrew Or, Eugene Huang, Kyriakos Zarifis and Scott Shenker
SWATI: Synthesizing Word-Lengths Automatically Using Testing and Induction (EECS-2013-7)
Susmit Jha and Sanjit A. Seshia
The Computational Complexity of Randomness (EECS-2013-6)
Thomas Watson
Cloud Robotics and Automation: A Survey of Related Work (EECS-2013-5)
Ken Goldberg and Ben Kehoe
Register everyone: on the whitespace use of wireless microphone channels, channel 37, and the soon-to-be guard bands (EECS-2013-4)
Kate Harrison and Anant Sahai
Object Detection in RGB-D Indoor Scenes (EECS-2013-3)
Edmund Shanming Ye
Distributed Memory Breadth-First Search Revisited: Enabling Bottom-Up Search (EECS-2013-2)
Scott Beamer, Aydın Buluc ̧, Krste Asanović and David A. Patterson
Productive High Performance Parallel Programming with Auto-tuned Domain-Specific Embedded Languages (EECS-2013-1)
Shoaib Ashraf Kamil
