Technical Reports - 2013
The BLOG Language Reference (EECS-2013-51)
Lei Li and Stuart J. Russell
Design of a Configurable Ultrasound Scanner and Application to Imaging with Gas Vesicle Contrast Agents (EECS-2013-50)
Arkosnato Neogy
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
On Fixed Points of Strictly Causal Functions (EECS-2013-27)
Eleftherios Matsikoudis and Edward A. Lee
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