Ph.D. Dissertations - 2019

A Hierarchical Approach to the Design and Optimization of Photonics
Andrew Michaels [advisor: Eli Yablonovitch]

Advances in Machine Learning: Nearest Neighbour Search, Learning to Optimize and Generative Modelling
Ke Li [advisor: Jitendra Malik]

Approaches to Safety in Inverse Reinforcement Learning
Dexter Scobee [advisor: S. Shankar Sastry]

Approximate counting, phase transitions and geometry of polynomials
Jingcheng Liu [advisor: Alistair Sinclair]

Approximation and Hardness: Beyond P and NP
Pasin Manurangsi [advisor: Luca Trevisan and Prasad Raghavendra]

Chip-Scale Fluorescence Microscope
Efthymios Papageorgiou [advisor: Bernhard Boser]

Circuits and Systems for Decentralized Power Conversion
Jason Poon [advisor: Seth R. Sanders]

Coded Illumination for Multidimensional Quantitative Phase Imaging
Michael Chen [advisor: Laura Waller]

Collaborative Tools and Strategies for Data-driven Development Engineering
Jordan Freitas [advisor: Eric Brewer]

Compact Modeling of Advanced CMOS and Emerging Devices for Circuit Simulation
Yen-Kai Lin [advisor: Chenming Hu]

Compiling Communication-Minimizing Query Plans
Eric Love [advisor: Krste Asanović]

Complex-valued Deep Learning with Applications to Magnetic Resonance Image Synthesis
Pat Virtue [advisor: Michael Lustig and Stella Yu]

Computational fluorescence and phase super-resolution microscopy
Li-Hao Yeh [advisor: Laura Waller]

Computational Tools for Immune Repertoire Characterization and Primer Set Design
Jane Yu [advisor: Yun S. Song]

Constructive Formal Control Synthesis through Abstraction and Decomposition
Eric Kim [advisor: Sanjit A. Seshia and Murat Arcak]

Context and Interaction in the Internet of Things
Matthew Weber [advisor: Edward A. Lee]

Crystal-free wireless communication with relaxation oscillators and its applications
David Burnett [advisor: Kristofer Pister]

De-Multiplexed Multiwavelength Interferometry for High Precision Metrology
Syed Zain-Ul-Abideen Zaidi [advisor: Constance Chang-Hasnain]

Decentralized Authorization with Private Delegation
Michael P Andersen [advisor: David E. Culler and Raluca Ada Popa]

Democratizing Web Automation: Programming for Social Scientists and Other Domain Experts
Sarah Chasins [advisor: Rastislav Bodik and Björn Hartmann]

Design and Fabrication of VCSELs for 3D Sensing
Kevin Cook [advisor: Constance Chang-Hasnain]

Design and Physics of VCSELs for Emerging Applications
Jonas Horst Kapraun [advisor: Constance Chang-Hasnain]

Design of Spectral Filtering Wireless Transmitters
Bonjern Yang [advisor: Elad Alon]

Design Techniques for Energy-Efficient, Low Latency High Speed Wireline Links
Nick Sutardja [advisor: Borivoje Nikolic and Elad Alon]

Design, Development and Applications of Portable Field Emission Devices
Nishita Deka [advisor: Kristofer Pister and Vivek Subramanian]

Directional Wireless Mesh Network Design
James Martin [advisor: John Wawrzynek]

e-mission: an open source, extensible platform for human mobility systems
KALYANARAMAN SHANKARI [advisor: Randy H. Katz and David E. Culler]

Efficient Deep Neural Networks
Bichen Wu [advisor: Kurt Keutzer]

Efficient Sampling of SAT and SMT Solutions for Testing and Verification
Rafael Dutra [advisor: Koushik Sen]

End to End Learning in Autonomous Driving Systems
Yang Gao [advisor: Trevor Darrell]

Enhancing Performance of Analog Mixed Signal Circuits using Integrated Silicon-Photonics
Nandish Mehta [advisor: Vladimir Stojanovic]

Evaluation of Methods for Data-Driven Tools that Empower Mental Health Professionals
Orianna DeMasi [advisor: James Demmel and Benjamin Recht]

Expert-Level Detection of Acute Intracranial Hemorrhage on Head Computed Tomography using Deep Learning
Wei-Cheng Kuo [advisor: Jitendra Malik]

Explainable and Advisable Learning for Self-driving Vehicles
Jinkyu Kim [advisor: John F. Canny]

Faster Algorithms and Graph Structure via Gaussian Elimination
Aaron Schild [advisor: Satish Rao]

FPGA-Accelerated Evaluation and Verification of RTL Designs
Donggyu Kim [advisor: Krste Asanović and Jonathan Bachrach]

Game-Theoretic Safety Assurance for Human-Centered Robotic Systems
Jaime Fernandez-Fisac [advisor: S. Shankar Sastry, Claire Tomlin and Anca Dragan]

Global Data Plane: A Widely Distributed Storage and Communication Infrastructure
Nitesh Mor [advisor: John D. Kubiatowicz]

High-Q Strong Coupling Capacitive-Gap Transduced RF Micromechanical Resonators
Alper Ozgurluk [advisor: Clark Nguyen]

Human Intranet: Connecting Wearable and Implantable Devices
Ali Moin [advisor: Jan M. Rabaey and Elad Alon]

Hybrid Aesthetics: Bridging Material Practices and Digital Fabrication through Computational Crafting Proxies
Cesar Torres [advisor: Eric Paulos]

Internet-Wide IPv6 Scanning
Austin Murdock [advisor: Vern Paxson]

Learning to Generalize via Self-Supervised Prediction
Deepak Pathak [advisor: Trevor Darrell and Alexei (Alyosha) Efros]

Learning to Predict Human Behavior from Video
Panna Felsen [advisor: Jitendra Malik]

Local and Adaptive Image-to-Image Learning and Inference
Evan Shelhamer [advisor: Trevor Darrell]

Low Power, Crystal-Free Design for Monolithic Receivers
Bradley Wheeler [advisor: Kristofer Pister]

Low Thermal Budget Process Engineering for Flexible Electronics, Sensors, and Nanoscale Patterning
Thomas Rembert [advisor: Tsu-Jae King Liu]

Machine Learning: Why Do Simple Algorithms Work So Well?
Chi Jin [advisor: Michael Jordan]

Measuring Generalization and Overfitting in Machine Learning
Rebecca Roelofs [advisor: James Demmel and Benjamin Recht]

Modular and Safe Event-Driven Programming
Ankush Desai [advisor: Sanjit A. Seshia]

Monolayer Transition Metal Dichalcogenide NanoLEDs: Towards High Speed and High Efficiency
Kevin Han [advisor: Ming C. Wu]

Navigating Video Using Structured Text
Amy Pavel [advisor: Maneesh Agrawala and Björn Hartmann]

Novel Computing Paradigms using Oscillators
Tianshi Wang [advisor: Jaijeet Roychowdhury]

On Building Generalizable Learning Agents
Yi Wu [advisor: Stuart J. Russell]

On Systems and Algorithms for Distributed Machine Learning
Robert Nishihara [advisor: Michael Jordan]

Optimizing for Robot Transparency
Sandy Huang [advisor: Pieter Abbeel and Anca Dragan]

Optoelectronics for refrigeration and analog circuits for combinatorial optimization
Patrick Xiao [advisor: Eli Yablonovitch]

Oracle-Guided Design and Analysis of Learning-Based Cyber-Physical Systems
Shromona Ghosh [advisor: Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia]

Oxygen-insertion Technology for CMOS Performance Enhancement
Xi Zhang [advisor: Tsu-Jae King Liu]

Performance Guarantees in Learning and Robust Control
Ross Boczar [advisor: Benjamin Recht]

Queries on Compressed Data
Anurag Khandelwal [advisor: Ion Stoica]

Ray: A Distributed Execution Engine for the Machine Learning Ecosystem
Philipp Moritz [advisor: Michael Jordan and Ion Stoica]

Real-World Robotic Perception and Control Using Synthetic Data
Joshua Tobin [advisor: Pieter Abbeel]

Realization of Integrated Coherent LiDAR
Taehwan Kim [advisor: Vladimir Stojanovic]

Remedying Security Concerns at an Internet Scale
Frank Li [advisor: Vern Paxson]

Sample Complexity Bounds for the Linear Quadratic Regulator
Stephen Tu [advisor: Benjamin Recht]

Scalable Systems for Large Scale Dynamic Connected Data Processing
Anand Padmanabha Iyer [advisor: Ion Stoica]

Sharp and Practical Performance Bounds for MCMC and Multiple Testing
Maxim Rabinovich [advisor: Michael Jordan]

Stochastic Local Search and the Lovasz Local Lemma
Fotios Iliopoulos [advisor: Alistair Sinclair]

System Design for Software Packet Processing
Sangjin Han [advisor: Sylvia Ratnasamy]

The Design and Implementation of Low-Latency Prediction Serving Systems
Daniel Crankshaw [advisor: Michael Franklin and Joseph Gonzalez]

The Sparse Manifold Transform and Unsupervised Learning for Signal Representation
Yubei Chen [advisor: Bruno Olshausen and Pieter Abbeel]

Towards Automatic Machine Learning Pipeline Design
Mitar Milutinovic [advisor: Dawn Song]

Towards More Scalable and Robust Machine Learning
Dong Yin [advisor: Kannan Ramchandran]

Towards Practical Serverless Analytics
Qifan Pu [advisor: Ion Stoica]

Towards Scalable Community Networks
Shaddi Hasan [advisor: Eric Brewer]

Towards Secure Computation with Optimal Complexity
Peihan Miao [advisor: Sanjam Garg]

Two-Dimensional Semiconductor Optoelectronics
Matin Amani [advisor: Ali Javey]

Unlocking Design Reuse with Hardware Compiler Frameworks
Adam Izraelevitz [advisor: Krste Asanović and Jonathan Bachrach]

Untethered Microrobots of the Rolling, Jumping & Flying kinds
Palak Bhushan [advisor: Claire Tomlin]

Visual Dynamics Models for Robotic Planning and Control
Alex Lee [advisor: Pieter Abbeel and Sergey Levine]

Visual Understanding through Natural Language
Lisa Hendricks [advisor: Trevor Darrell]

Algorithmic Improvisation
Daniel J. Fremont [advisor: Sanjit Seshia]