Technical Reports - 2010

Intrinsic and Systematic Variability in Nanometer CMOS Technologies (EECS-2010-181)
Kedar Patel

Pseudorandomness against Depth-2 Circuits and Analysis of Goldreich's Candidate One-Way Function (EECS-2010-180)
Seyed Omid Etesami

A Scalable and Cost Effective Architecture for High Gain Beamforming Antennas (EECS-2010-178)
Omar Bakr

A High-Throughput, Flexible LDPC Decoder for Multi-Gb/s Wireless Personal Area Networks (EECS-2010-177)
Matthew Weiner and Borivoje Nikolic

A Theory of Photometric Reconstruction for Unknown Isotropic Reflectances (EECS-2010-176)
Manmohan Chandraker, Jiamin Bai and Ravi Ramamoorthi

Enabling More Meaningful Post-Election Investigations (EECS-2010-175)
Arel Lee Cordero

Finding Lost Children (EECS-2010-174)
Ashley Michelle Eden

Sense Amplifier-Based Pass Transistor Logic (EECS-2010-173)
Louis Poblete Alarcon and Jan M. Rabaey

Making Static Pivoting Scalable and Dependable (EECS-2010-172)
Jason Riedy

Optimizing Irregular Data Accesses for Cluster and Multicore Architectures (EECS-2010-170)
Jimmy Zhigang Su

Computational Methods for Meiotic Recombination Inference (EECS-2010-169)
Junming Yin

Efficient Transmitters for Wireless Communications in Nanoscale CMOS Technology (EECS-2010-168)
Debopriyo Chowdhury

Solution Processed Silver Sulfide Thin Films for Filament Memory Applications (EECS-2010-166)
Shong Yin

Markov Chain Monte Carlo Stimulus Generation for Constrained Random Simulation (EECS-2010-165)
Nathan Boyd Kitchen

Steep Turn On/Off "Green" Tunnel Transistors (EECS-2010-164)
Pratik Ashvin Patel

mm-Wave Phase Shifters and Switches (EECS-2010-163)
Ehsan Adabi Firouzjaei

Robust Communication in Vehicular Ad Hoc Networks (EECS-2010-162)
Mark Johnson

Phrase Alignment Models for Statistical Machine Translation (EECS-2010-161)
John Sturdy DeNero

Mask Edge Effects in Optical Lithography and Chip Level Modeling Methods (EECS-2010-160)
Marshal Miller

Design and Measurement of Parameter-Specific Ring Oscillators (EECS-2010-159)
Lynn Tao-Ning Wang

Pattern-Oriented Application Frameworks for Domain Experts to Effectively Utilize Highly Parallel Manycore Microprocessors (EECS-2010-158)
Jike Chong

A Minimum Spanning Tree Framework for Inferring Phylogenies (EECS-2010-157)
Daniel Giannico Adkins

Frequency-Modulated Microwave Photonic Links with Direct Detection: Review and Theory (EECS-2010-156)
John Wyrwas

Capacitive Power Transfer (EECS-2010-155)
Mitchell Kline

Low Power Band to Band Tunnel Transistors (EECS-2010-154)
Anupama Bowonder

Probabilistic Models of Evolution and Language Change (EECS-2010-153)
Alexandre Bouchard-Cote, Michael Jordan, Daniel Klein, Thomas L. Griffiths and Yun S. Song

From the Rendering Equation to Stratified Light Transport Inversion (EECS-2010-151)
Tian-Tsong Ng, Ramanpreet Singh Pahwa, Jiamin Bai, Kar-Han Tan and Ravi Ramamoorthi

Structured Approaches to Data Selection for Speaker Recognition (EECS-2010-150)
Howard Hao Lei

Diesel: Applying Privilege Separation to Database Access (EECS-2010-149)
Adrienne Porter Felt, Matthew Finifter, Joel Weinberger and David Wagner

TORCH Computational Reference Kernels: A Testbed for Computer Science Research (EECS-2010-144)
Alex Kaiser, Samuel Williams, Kamesh Madduri, Khaled Ibrahim, David Bailey, James Demmel and Erich Strohmaier

The Effectiveness of Install-Time Permission Systems for Third-Party Applications (EECS-2010-143)
Adrienne Porter Felt, Kate Greenwood and David Wagner

Searching for Jim Gray: A Technical Overview (EECS-2010-142)
Joseph M. Hellerstein and David L. Tennenhouse

Behavior of Machine Learning Algorithms in Adversarial Environments (EECS-2010-140)
Blaine Nelson

Recognition of Tibetan Wood Block Prints with Generalized Hidden Markov and Kernelized Modified Quadratic Distance Function (EECS-2010-139)
Fares Hedayati, Jike Chong and Kurt Keutzer

Recognition of Tibetan Wood Block Prints with Generalized Hidden Markov and Kernelized Modified Quadratic Distance Function (EECS-2010-138)
Fares Hedayati, Jike Chong and Kurt Keutzer

Symmetrical Embeddings of Regular Maps R5.13 and R5.6 (EECS-2010-137)
Carlo H. Séquin

A Methodology for Understanding MapReduce Performance Under Diverse Workloads (EECS-2010-135)
Yanpei Chen, Archana Sulochana Ganapathi, Rean Griffith and Randy H. Katz

Improving the Quality and Efficiency of Data Collection in Developing Regions - Thesis Proposal (EECS-2010-134)
Kuang Chen

Optimization-based Inference for Temporally Evolving Boolean Networks with Applications in Biology (EECS-2010-133)
Young-Hwan Chang, Joe Gray and Claire Tomlin

Attrition in Introductory Computer Science at the University of California, Berkeley (EECS-2010-132)
Colleen Lewis

Communication-Avoiding QR Decomposition for GPUs (EECS-2010-131)
Michael Anderson, Grey Ballard, James Demmel and Kurt Keutzer

The Earlier the Better: A Theory of Timed Actor Interfaces (EECS-2010-130)
Marc Geilen, Stavros Tripakis and Maarten Wiggers

Interactive Simulation of Surgical Needle Insertion and Steering (EECS-2010-129)
Nuttapong Chentanez

A System for Managing Physical Data in Buildings (EECS-2010-128)
Jorge Ortiz

FATE and DESTINI: A Framework for Cloud Recovery Testing (EECS-2010-127)
Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Jungmin Yun, Jin-su Oh, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen and Dhruba Borthakur

Safe Feature Elimination in Sparse Supervised Learning (EECS-2010-126)
Laurent El Ghaoui, Vivian Viallon and Tarek Rabbani

A High-Fidelity Energy Monitoring and Feedback Architecture for Reducing Electrical Consumption in Buildings (EECS-2010-125)
Xiaofan Fred Jiang

Copperhead: Compiling an Embedded Data Parallel Language (EECS-2010-124)
Bryan Catanzaro, Michael Garland and Kurt Keutzer

Toward an error handling mechanism for timing errors with Java Pathfinder and Ptolemy II (EECS-2010-123)
Shanna-Shaye Forbes

On the Degrees of Freedom of MISO Broadcast Channels with Delayed Feedback (EECS-2010-122)
Mohammad Ali Maddah-Ali and David Tse

Unsupervised Models of Entity Reference Resolution (EECS-2010-121)
Aria Delier Haghighi

Width Inference Documentation (EECS-2010-120)
Bert Rodiers and Ben Lickly

Limitations of Linear and Semidefinite Programs (EECS-2010-119)
Grant Robert Schoenebeck

Two-Handed Marking Menus for Multitouch Devices (EECS-2010-118)
Kenrick Kin, Björn Hartmann and Maneesh Agrawala

A Model-Based Process for Evaluating Cluster Building Blocks (EECS-2010-117)
Laura Keys

Mobile Persuasive Technologies for Rural Health (EECS-2010-116)
Divya Lalitha Ramachandran

Results and Techniques in Multiuser Information Theory (EECS-2010-115)
Amin Aminzadeh Gohari

Automating Datacenter Operations Using Machine Learning (EECS-2010-114)
Peter Bodik

Millimeter-Wave Circuits for 60GHz and Beyond (EECS-2010-113)
Bagher Afshar

System Problem Detection by Mining Console Logs (EECS-2010-112)
Wei Xu

An Adaptive Multi-channel P2P Video-on-Demand System using Plug-and-Play Helpers (EECS-2010-111)
Hao Zhang, Minghua Chen, Abhay Parekh and Kannan Ramchandran

mm-Wave Quadrature Spatial Power Combining: A Proposal (EECS-2010-110)
Ali Niknejad, Debopriyo Chowdhury, JiaShu Chen, Jungdong Park and Lu Ye

Modeling Events in Time Using Cascades Of Poisson Processes (EECS-2010-109)
Aleksandr Simma

Global seismic monitoring as probabilistic inference (EECS-2010-108)
Nimar S Arora, Stuart J. Russell, Paul Kidwell and Erik Sudderth

Selectivity Estimation for Extraction Operators over Text Data (EECS-2010-107)
Daisy Zhe Wang, Long Wei, Yunyao Li, Frederick Reiss and Shivakumar Vaithyanathan

Visual Domain Adaptation Using Regularized Cross-Domain Transforms (EECS-2010-106)
Kate Saenko, Brian Kulis, Mario Fritz and Trevor Darrell

Visual Domain Adaptation Using Regularized Cross-Domain Transforms (EECS-2010-105)
Kate Saenko, Brian Kulis, Mario Fritz and Trevor Darrell

Dense Point Trajectories by GPU-accelerated Large Displacement Optical Flow (EECS-2010-104)
Narayanan Sundaram, Thomas Brox and Kurt Keutzer

Quantitative Analysis of Systems Using Game-Theoretic Learning (EECS-2010-102)
Sanjit A. Seshia and Alexander Rakhlin

A Dual Theory of Inverse and Forward Light Transport (EECS-2010-101)
Jiamin Bai, Manmohan Chandraker, Tian-Tsong Ng and Ravi Ramamoorthi

CalCS: SMT Solving for Non-linear Convex Constraints (EECS-2010-100)
Pierluigi Nuzzo, Alberto Alessandro Angelo Puggelli, Sanjit A. Seshia and Alberto L. Sangiovanni-Vincentelli

Factorized Latent Spaces with Structured Sparsity (EECS-2010-99)
Yangqing Jia, Mathieu Salzmann and Trevor Darrell

Towards Automatically Checking Thousands of Failures with Micro-specifications (EECS-2010-98)
Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau and Koushik Sen

Towards Automatically Checking Thousands of Failures with Micro-specifications (EECS-2010-97)
Haryadi Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau and Koushik Sen

Optical Flow on a Flapping Wing Robot (EECS-2010-96)
Fernando Garcia Bermudez

Analysis and Lessons from a Publicly Available Google Cluster Trace (EECS-2010-95)
Yanpei Chen, Archana Sulochana Ganapathi, Rean Griffith and Randy H. Katz

Discovering Efficiency in Coarse-To-Fine Texture Classification (EECS-2010-94)
Jonathan Barron and Jitendra Malik

Ripcord: A Modular Platform for Data Center Networking (EECS-2010-93)
Martin Casado, David Erickson, Igor Anatolyevich Ganichev, Rean Griffith, Brandon Heller, Nick Mckeown, Daekyeong Moon, Teemu Koponen, Scott Shenker and Kyriakos Zarifis

Towards Practical Taint Tracking (EECS-2010-92)
Andrey Ermolinskiy, Sachin Katti, Scott Shenker, Lisa L Fowler and Murphy McCauley

Design of Network Architectures: Role of Game Theory and Economics (EECS-2010-91)
Nikhil Gopinath Shetty

The Declarative Imperative: Experiences and Conjectures in Distributed Logic (EECS-2010-90)
Joseph M. Hellerstein

Algorithms for Comparing Pedigree Graphs (EECS-2010-89)
Bonnie Kirkpatrick

Focus Replay Debugging Effort On the Control Plane (EECS-2010-88)
Gautam Altekar and Ion Stoica

Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center (EECS-2010-87)
Benjamin Hindman, Andrew Konwinski, Matei Zaharia, Ali Ghodsi, Anthony D. Joseph, Randy H. Katz, Scott Shenker and Ion Stoica

Effect of Multiple Alkanethiol Ligands on Solubility and Sintering Temperature of Gold Nanoparticles (EECS-2010-86)
Kevin Wang

An Empirical Study of the Control and Data Planes (or Control Plane Determinism is Key for Replay Debugging Datacenter Applications) (EECS-2010-85)
Gautam Altekar and Ion Stoica

Advanced Source/Drain and Contact Design for Nanoscale CMOS (EECS-2010-84)
Reinaldo Vega

Hardware and High Data Speeds on the CINEMA CubeSat (EECS-2010-83)
David McGrogan

Characterizing Errors in RF Time of Flight Ranging Systems: A Simulation Approach (EECS-2010-82)
David Tung

Towards Understanding Cloud Performance Tradeoffs Using Statistical Workload Analysis and Replay (EECS-2010-81)
Yanpei Chen, Archana Sulochana Ganapathi, Rean Griffith and Randy H. Katz

Nanoscale Bulk MOSFET Design and Process Technology for Reduced Variability (EECS-2010-80)
Xin Sun

Sparsely Precomputing The Light Transport Matrix for Real-Time Rendering (EECS-2010-79)
Fu-Chung Huang and Ravi Ramamoorthi

Oxygen Concentration Microgradients for Cell Culture (EECS-2010-78)
Jaehyun Park

Communication and Control for Quantum Circuits (EECS-2010-77)
Yatish Patel

Running with Flapping Wings (EECS-2010-76)
Kevin Peterson

The Design and Performance of DASH (EECS-2010-75)
Paul Birkmeyer

DCR: Replay Debugging for the Datacenter (EECS-2010-74)
Gautam Altekar and Ion Stoica

Games with Non-Probabilistic Uncertainty (EECS-2010-73)
Ji Woong Lee

Pattern Matching for Advanced Lithographic Technologies (EECS-2010-72)
Juliet Alison Rubinstein

Secure Learning and Learning for Security: Research in the Intersection (EECS-2010-71)
Benjamin I. P. Rubinstein

Virtics: A System for Privilege Separation of Legacy Desktop Applications (EECS-2010-70)
Matt Piotrowski and Anthony D. Joseph

Fast Image Filters for Depth of Field Post-Processing (EECS-2010-69)
Todd Jerome Kosloff

Systems Theory for Pharmaceutical Drug Discovery (EECS-2010-68)
Anil Jayanti Aswani

Beaver: An SMT Solver for Quantifier-free Bit-vector Logic (EECS-2010-67)
Rhishikesh Shrikant Limaye and Sanjit A. Seshia

Achieving Flexibility and Performance for Packet Forwarding and Data Center Management (EECS-2010-66)
Daekyeong Moon

Multichannel Reliability Assessment in Real World WSNs (EECS-2010-65)
Jorge Ortiz

Perceptual and Context Aware Interfaces on Mobile Devices (EECS-2010-64)
Jingtao Wang

Analysis of Hidden Markov Models and Support Vector Machines in Financial Applications (EECS-2010-63)
Satish Rao and Jerry Hong

Simulation and Compensation Methods for EUV Lithography Masks with Buried Defects (EECS-2010-62)
Chris Heinz Clifford

Time Domain Interference Cancellation for Cognitive Radios and Future Wireless Systems (EECS-2010-61)
Jing Yang and Robert W. Brodersen

An Investigation into the Realities of a Quantum Datapath (EECS-2010-60)
Nemanja Isailovic

Checking the Data Sharing Strategies of Concurrent Systems Level Code (EECS-2010-59)
Zachary Ryan Anderson

An Architecture for Structured, Concurrent, Real-Time Action (EECS-2010-58)
Leon Rubin Barrett

Practical Shape Analysis (EECS-2010-57)
Bill McCloskey

On the Consistency of Ranking Algorithms (EECS-2010-56)
John Duchi, Lester Mackey and Michael Jordan

Dominant Resource Fairness: Fair Allocation of Heterogeneous Resources in Datacenters (EECS-2010-55)
Ali Ghodsi, Matei Zaharia, Benjamin Hindman, Andrew Konwinski, Scott Shenker and Ion Stoica

Transferring Visual Category Models to New Domains (EECS-2010-54)
Kate Saenko, Brian Kulis, Mario Fritz and Trevor Darrell

Spark: Cluster Computing with Working Sets (EECS-2010-53)
Matei Zaharia, N. M. Mosharaf Chowdhury, Michael Franklin, Scott Shenker and Ion Stoica

Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs (EECS-2010-52)
Stavros Tripakis, Dai Bui, Marc Geilen, Bert Rodiers and Edward A. Lee

Statistical models for analyzing human genetic variation (EECS-2010-51)
Sriram Sankararaman

Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude (EECS-2010-50)
Kyungmin Bae, Peter Csaba Olveczky, Thomas Huining Feng, Edward A. Lee and Stavros Tripakis

A Unifying View of Multiple Kernel Learning (EECS-2010-49)
Marius Kloft, Ulrich Rückert and Peter Bartlett

Architecture and Hardware Design of Lossless Compression Algorithms for Direct-Write Maskless Lithography Systems (EECS-2010-47)
Hsin-I Liu

On the Existence of Optimal Exact-Repair MDS Codes for Distributed Storage (EECS-2010-46)
Changho Suh and Kannan Ramchandran

A Theory of Synchronous Relational Interfaces (EECS-2010-45)
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger and Edward A. Lee

Hydrostatic optimization of inkjet-printed films (EECS-2010-44)
Hongki Kang

Pedigree Reconstruction using Identity by Descent (EECS-2010-43)
Bonnie Kirkpatrick

15 Years of Scherk-Collins Saddle Chains (EECS-2010-41)
Carlo H. Séquin

Ptera: An Event-Oriented Model of Computation (EECS-2010-40)
Thomas Huining Feng, Edward A. Lee and Lee W. Schruben

Atomic Shelters: Coping with Multi-core Fallout (EECS-2010-39)
Zachary Ryan Anderson and David Gay

Modeling and Simulation of Legacy Embedded Systems (EECS-2010-38)
Stefan Resmerita, Patricia Derler and Edward A. Lee

Communication-avoiding Krylov subspace methods (EECS-2010-37)
Mark Frederick Hoemmen

To Compress or Not To Compress - Compute vs. IO tradeoffs for MapReduce Energy Efficiency (EECS-2010-36)
Yanpei Chen, Archana Sulochana Ganapathi and Randy H. Katz

Gibbs sampling in open-universe stochastic languages (EECS-2010-34)
Nimar S Arora, Rodrigo de Salvo Braz, Erik Sudderth and Stuart J. Russell

DCR: Replay-Debugging for the Datacenter (EECS-2010-33)
Gautam Altekar and Ion Stoica

Testing Concurrent Programs on Relaxed Memory Models (EECS-2010-32)
Jacob Burnim, Koushik Sen and Christos Stergiou

Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models (EECS-2010-31)
Jacob Burnim, Koushik Sen and Christos Stergiou

Nye's Trie and Floret Estimators: Techniques for Detecting and Repairing Divergence in the SCADS Distributed Storage Toolkit (EECS-2010-30)
Jesse Trutna

CALU: A Communication Optimal LU Factorization Algorithm (EECS-2010-29)
James Demmel, Laura Grigori and Hua Xiang

Synthesizing Switching Logic for Safety and Dwell-Time Requirements (EECS-2010-28)
Susmit Kumar Jha, Sumit Gulwani, Sanjit A. Seshia and Ashish Tiwari

Combined Task and Motion Planning for Mobile Manipulation (EECS-2010-27)
Jason Wolfe, Bhaskara Marthi and Stuart J. Russell

A Symbolic Execution Framework for JavaScript (EECS-2010-26)
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant and Dawn Song

Chukwa: A system for reliable large-scale log collection (EECS-2010-25)
Ariel Rabkin and Randy H. Katz

Adaptive Subgradient Methods for Online Learning and Stochastic Optimization (EECS-2010-24)
John Duchi, Elad Hazan and Yoram Singer

SEJITS: Getting Productivity and Performance With Selective Embedded JIT Specialization (EECS-2010-23)
Bryan Catanzaro, Shoaib Ashraf Kamil, Yunsup Lee, Krste Asanović, James Demmel, Kurt Keutzer, John Shalf, Katherine A. Yelick and Armando Fox

Security Analysis of Online Centroid Anomaly Detection (EECS-2010-22)
Marius Kloft and Pavel Laskov

Non-Sparse Regularization and Efficient Training with Multiple Kernels (EECS-2010-21)
Marius Kloft, Ulf Brefeld, Sören Sonnenburg and Alexander Zien

Elements of Model-Based Design (EECS-2010-19)
Jeff C. Jensen

On Secure Distributed Data Storage Under Repair Dynamics (EECS-2010-18)
Sameer Pawar, Salim El Rouayheb and Kannan Ramchandran

Contour Detection and Hierarchical Image Segmentation (EECS-2010-17)
Pablo Arbelaez, Michael Maire, Charless Fowlkes and Jitendra Malik

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

Oracle-Guided Component-Based Program Synthesis (EECS-2010-15)
Susmit Kumar Jha, Sumit Gulwani, Sanjit A. Seshia and Ashish Tiwari

Rain: A Workload Generation Toolkit for Cloud Computing Applications (EECS-2010-14)
Aaron Beitch, Brandon Liu, Timothy Yung, Rean Griffith, Armando Fox and David A. Patterson

Fast L1-Minimization Algorithms and An Application in Robust Face Recognition: A Review (EECS-2010-13)
Allen Yang, Arvind Ganesh, Shankar Sastry and Yi Ma

Interference Nulling in Distributed Lossy Source Coding (EECS-2010-12)
Mohammad Ali Maddah-Ali and David Tse

Checking Equivalence of SPMD Programs Using Non-Interference (EECS-2010-11)
Stavros Tripakis, Christos Stergiou and Roberto Lublinerman

A Descent Algorithm for the Optimal Control of Constrained Nonlinear Switched Dynamical Systems: Appendix (EECS-2010-9)
Humberto Gonzalez, Ram Vasudevan, Maryam Kamgarpour, S. Shankar Sastry, Ruzena Bajcsy and Claire Tomlin

PIQL: A Performance Insightful Query Language For Interactive Applications (EECS-2010-8)
Michael Armbrust, Nick Lanham, Stephen Tu, Armando Fox, Michael Franklin and David A. Patterson

Merging Techniques for Combinatorial Optimization: Spectral graph Theory and Semidefinite Programming (EECS-2010-7)
Alexandra Kolla

Statistical Workloads for Energy Efficient MapReduce (EECS-2010-6)
Yanpei Chen, Archana Sulochana Ganapathi, Armando Fox, Randy H. Katz and David A. Patterson

What’s New About Cloud Computing Security? (EECS-2010-5)
Yanpei Chen, Vern Paxson and Randy H. Katz

Discriminative Machine Learning with Structure (EECS-2010-4)
Simon Lacoste-Julien

TEMU: Binary Code Analysis via Whole-System Layered Annotative Execution (EECS-2010-3)
Heng Yin and Dawn Song

Stasis: Flexible Transactional Storage (EECS-2010-2)
Russell C Sears

Maximizing available spectrum for cognitive radios (EECS-2010-1)
Shridhar Mubaraq Mishra