Ph.D. Dissertations - 2013

A Computational Light Field Display for Correcting Visual Aberrations
Fu-Chung Huang [advisor: Brian A. Barsky]

A Framework for Productive, Efficient and Portable Parallel Computing
Ekaterina I. Gonina [advisor: Kurt Keutzer]

A hybrid approach of physical laws and data-driven modeling for estimation: the example of queuing networks
Aude Hofleitner [advisor: Alexandre Bayen and Pieter Abbeel]

A Platform Architecture for Sensor Data Processing and Verification in Buildings
Jorge Ortiz [advisor: David E. Culler]

A study of some problems in network information theory
Sudeep Kamath [advisor: David Tse and Venkat Anantharam]

A Warping Framework for Wide-Angle Imaging and Perspective Manipulation
Robert Carroll [advisor: Maneesh Agrawala]

Advanced Architectures for Efficient mm-Wave CMOS Wireless Transmitters
JiaShu Chen [advisor: Ali Niknejad]

Aircraft Design Optimization as a Geometric Program
Warren Hoburg [advisor: Pieter Abbeel]

All inkjet printed SnO2/ZrO2 transistors
Jaewon Jang [advisor: Vivek Subramanian]

Ambiguous fragment assignment for high-throughput sequencing experiments
Adam Roberts [advisor: Lior Pachter]

An Architecture for Fast and General Data Processing on Large Clusters
Matei Zaharia [advisor: Scott Shenker and Ion Stoica]

Application of Inkjet-Printing Technology to Micro-Electro-Mechanical Systems
Eung Seok Park [advisor: Tsu-Jae King Liu and Vivek Subramanian]

Assessment and Methods for Supply-Following Loads in Modern Electricity Grids with Deep Renewables Penetration
Jayant Taneja [advisor: David E. Culler]

Automatic Mapping of Real Time Radio Astronomy Signal Processing Pipelines onto Heterogeneous Clusters
Terry Esther Filiba [advisor: John Wawrzynek]

Avoiding Communication in Dense Linear Algebra
Grey Ballard [advisor: James Demmel]

BAG: A Designer-Oriented Framework for the Development of AMS Circuit Generators
John Wiley Crossley [advisor: Elad Alon]

Beyond Deep Learning: Scalable Methods and Models for Learning
Oriol Vinyals [advisor: Nelson Morgan]

Building trust into light-handed regulations for cognitive radio
Kristen Ann Woyach [advisor: Anant Sahai]

Changes in Neural Activity during Brain-Machine Interface Control: from Information Encoding and Connectivity to Local Field Potentials
Kelvin So [advisor: Michael Gastpar and Jose M. Carmena]

Community Cellular Networks
Kurtis Heimerl [advisor: Eric Brewer and Tapan S. Parikh]

Compensation for Camera Motion on Unsteady Robots for Optical Flow
Fernando L. Garcia Bermudez [advisor: Ronald S. Fearing]

Control and Optimization of Power Systems with Renewables: Voltage Regulation and Generator Dispatch
Baosen Zhang [advisor: David Tse]

Data Exchange Problems: Algorithms and Complexity
Nebojsa Milosavljevic [advisor: Kannan Ramchandran and Michael Gastpar]

Design and Analysis of Digitally Modulated Transmitters for Efficiency Enhancement
Lu Ye [advisor: Ali Niknejad]

Design Techniques for Fully Integrated Switched-Capacitor Voltage Regulators
Hanh-Phuc Le [advisor: Seth R. Sanders and Elad Alon]

Design Techniques for Robust and Reliable Ultra-Low Power Radios
Jesse Aaron Richmond [advisor: Jan M. Rabaey]

Designing an Exploratory Text Analysis Tool for Humanities and Social Sciences Research
Aditi Shrikumar [advisor: Marti Hearst and Daniel Klein]

Economics and Computation: Ad Auctions and Other Stories
Christopher Wilkens [advisor: Christos Papadimitriou]

Efficient inference algorithms for near-deterministic systems
Shaunak Chatterjee [advisor: Stuart J. Russell]

Efficient learning algorithms with limited information
Anindya De [advisor: Umesh Vazirani and Luca Trevisan]

Eliciting Private Information from Selfish Agents
Rafael Frongillo [advisor: Christos Papadimitriou]

Energy Efficient Digital Logic Using Nanoscale Magnetic Devices
Brian Lambson [advisor: Jeffrey Bokor]

Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks
Daniel Holcomb [advisor: Sanjit A. Seshia]

Frequency Modulated Gyroscopes
Mitchell Kline [advisor: Bernhard Boser]

From Poisson to Silicon - Advancing Compact SPICE Models for IC Design
Sriramkumar Venugopalan [advisor: Chenming Hu]

Graph Structured Data Viewed Through a Fourier Lens
Venkatesan Ekambaram [advisor: Kannan Ramchandran]

Gravure-printed Highly-scaled Organic Thin-film Transistors for Low-cost and Large-area Electronics
Hongki Kang [advisor: Vivek Subramanian]

Hardness of Maximum Constraint Satisfaction
Siu On Chan [advisor: Elchanan Mossel]

Helping Developers Construct Secure Mobile Applications
Erika Chin [advisor: David Wagner]

High Contrast Gratings for Integrated Optoelectronics
Weijian Yang [advisor: Constance Chang-Hasnain]

Hybrid Aerial and Terrestrial Locomotion, and Implications for Avian Flight Evolution
Kevin Peterson [advisor: Ronald S. Fearing]

III-V Nanostructures on Dissimilar Substrates for Optoelectronic Applications
Kar Wei Ng [advisor: Constance Chang-Hasnain]

Information Flow in Linear Systems
Se Yong Park [advisor: Anant Sahai]

Learning from Subsampled Data: Active and Randomized Strategies
Fabian Wauthier [advisor: Michael Jordan]

Low Power, Scalable Platforms for Implantable Neural Recording
Rikky Muller [advisor: Jan M. Rabaey]

Low-Complexity Message-Passing Algorithms for Distributed Computation
Nima Noorshams [advisor: Martin Wainwright]

Low-Dimensional Models for PCA and Regression
Dapo Omidiran [advisor: Laurent El Ghaoui]

Material Science and Device Physics of
Rehan Kapadia [advisor: Ali Javey]

Minimally Actuated Dynamic Climbing in the Sagittal Plane
Paul Birkmeyer [advisor: Ronald S. Fearing]

Minimax Optimality in Online Learning under Logarithmic Loss with Parametric Constant Experts
Fares Hedayati [advisor: Peter Bartlett]

Modern Low-Complexity Capacity-Achieving Codes For Network Communication
Naveen Goela [advisor: Michael Gastpar]

Modularity Conserved during Evolution: Algorithms and Analysis
Luqman Hodgkinson [advisor: Richard M. Karp]

Nanodiamond Imaging: a New Molecular Imaging Approach
Alex Hegyi [advisor: Eli Yablonovitch]

Novel Technologies for Next Generation Memory
WookHyun Kwon [advisor: Tsu-Jae King Liu]

Optical Whispering-Gallery Mode Resonators for Applications in Optical Communication and Frequency Control
Karen Grutter [advisor: Ming C. Wu]

Optimizing Parallel Job Performance in Data-Intensive Clusters
Ganesh Ananthanarayanan [advisor: Ion Stoica]

Parallel Layout Engines: Synthesis and Optimization of Tree Traversals
Leo Meyerovich [advisor: Ras Bodik]

Pebble Games and Complexity
Siu Man Chan [advisor: Elchanan Mossel]

Program Verification with Property Directed Reachability
Tobias Welp [advisor: Andreas Kuehlmann]

Protecting User Privacy in Remotely Managed Applications
Prashanth Mohan [advisor: David E. Culler]

PULSE: Peeling-based Ultra-Low complexity algorithms for Sparse signal Estimation
Sameer Pawar [advisor: Kannan Ramchandran]

Reflective Impulse Radios: Principles and Design
Yuhui David Chen [advisor: Jan M. Rabaey]

Scalable Model Checking Beyond Safety - A Communication Fabric Perspective
Sayak Ray [advisor: Robert K. Brayton]

Scalable Statistical Methods for Ancestral Inference from Genomic Variation Data
Andrew Chan [advisor: Yun S. Song]

Scale-Independent Relational Query Processing
Michael Armbrust [advisor: David A. Patterson and Armando Fox]

Schedulability Analysis and Verification of Real-Time Discrete-Event Systems
Christos Stergiou [advisor: Edward A. Lee and Koushik Sen]

Scheduling and Optimizing Stream Programs on Multicore Machines by Exploiting High-Level Abstractions
Dai Bui [advisor: Edward A. Lee]

Secure Virtualization with Formal Methods
Cynthia Sturton [advisor: David Wagner]

Semantics and Pragmatics of Spatial Reference
Dave Golland [advisor: Daniel Klein]

Shapes, Paint, and Light
Jonathan Barron [advisor: Jitendra Malik]

Speaker Diarization: Current Limitations and New Directions
Mary Tai Knox [advisor: Nelson Morgan]

Specification Mining: New Formalisms, Algorithms and Applications
Wenchao Li [advisor: Sanjit A. Seshia]

Speech-enabled Systems for Language Learning
Anuj Tewari [advisor: John F. Canny]

Spontaneous Emission Rate Enhancement Using Optical Antennas
Nikhil Kumar [advisor: Eli Yablonovitch]

Statistical, algorithmic, and robustness aspects of population demographic inference from genomic variation data
Anand Bhaskar [advisor: Yun S. Song]

Surface Web Semantics for Structured Natural Language Processing
Mohit Bansal [advisor: Daniel Klein]

Switching Dynamics of Thin Film Ferroelectric Devices - A Massively Parallel Phase Field Study
Khalid Md Ashraf [advisor: Sayeef Salahuddin]

Teaching People and Machines to Enhance Images
Floraine Berthouzoz [advisor: Maneesh Agrawala]

Techniques for Model Inference and Bug Finding
Chia Yuan Cho [advisor: Dawn Song]

Techniques for Modifying and Augmenting Existing Charts for Improved Usability
Nicholas Kong [advisor: Maneesh Agrawala]

The Complexity of Optimal Auction Design
George Pierrakos [advisor: Christos Papadimitriou]

The Computational Complexity of Randomness
Thomas Watson [advisor: Umesh Vazirani and Luca Trevisan]

The Role of the Underground Economy in Social Network Spam and Abuse
Kurt Thomas [advisor: Vern Paxson]

Three Fingered Jack: Productively Addressing Platform Diversity
David Sheffield [advisor: Kurt Keutzer]

Towards Evidence-Based Assessment of Factors Contributing to the Introduction and Detection of Software Vulnerabilities
Matthew Finifter [advisor: David Wagner]

Tunneling in low-power device-design: A bottom-up view of issues, challenges, and opportunities
Kartik Ganapathi [advisor: Sayeef Salahuddin]

Ultrasonic 3D Rangefinder on a Chip
Richard Przybyla [advisor: Bernhard Boser]

User-Guided Inverse 3D Modeling
James Andrews [advisor: Carlo H. Séquin]

Using FPGAs to Simulate Novel Datacenter Network Architectures At Scale
Zhangxi Tan [advisor: David A. Patterson and Krste Asanović]

Wireless Weigh-In-Motion: using road vibrations to estimate truck weights
Ravneet Bajwa [advisor: Pravin Varaiya]