Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

Technical Reports - 2013

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

Pebble Games and Complexity (EECS-2013-106)
Siu Man Chan

User Interface: 3D Feedback (EECS-2013-105)
Seyed Hassan Elahi

The Internals of GameTime: Implementation and Evaluation of a Timing Analyzer for Embedded Software (EECS-2013-104)
Jonathan Prakash Kotker

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, Eidson John, Goose Stuart, 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

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