Ph.D. Dissertations - 2020

A Languge-Based Approach to Smart Contract Engineering
John Kolb [advisor: Randy H. Katz and David Culler]

Abstraction, Generalization, and Embodiment in Neural Program Synthesis
Richard Shin [advisor: Dawn Song]

Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing
Rohan Padhye [advisor: Koushik Sen]

Actuation and Localization of Resource-Constrained Autonomous Microrobotic Systems
Brian Kilberg [advisor: Kristofer Pister]

Adapting Across Domains by Aligning Representations and Images
Eric Tzeng [advisor: Trevor Darrell]

Applications of Machine Learning for Character Animation
Stephen Bailey [advisor: James O'Brien]

Assured Autonomy for Safety-Critical and Learning-Enabled Systems
Vicenc Rubies Royo [advisor: Claire Tomlin]

Background and Occlusion Defenses Against Adversarial Examples and Adversarial Patches
Michael McCoyd [advisor: David A. Wagner]

Biological patterning in networks of interacting cells
Mindy Perkins [advisor: Murat Arcak]

Biomechanical Models and Robotic Systems for Human Motion Assessment
Sarah Seko [advisor: Ruzena Bajcsy]

Bridging Machine Learning and Computational Photography to Bring Professional Quality into Casual Photos and Videos
Cecilia Zhang [advisor: Ren Ng]

Charge Pumping with Human Capacitance for Body Energy Harvesting
Alyssa Zhou [advisor: Michel Maharbiz]

Cloud-Edge Hybrid Robotic Systems for Physical Human Robot Interactions
Nan Tian [advisor: Somayeh Sojoudi]

Co-planar Optoelectrowetting (OEW) Device for Droplet Manipulation
Jodi Loo [advisor: Ming C. Wu]

Compositionality and Modularity for Robot Learning
Coline Devin [advisor: Trevor Darrell, Pieter Abbeel and Sergey Levine]

Concentration and Sequential Decision Making in Markovian Environments
Vrettos Moulos [advisor: Satish Rao]

Data Driven Algorithms For Perception With Applications To Autonomous Driving, Energy And Mixed Reality
Oladapo Afolabi [advisor: S. Shankar Sastry]

Deep Generative Models: Imitation Learning, Image Synthesis, and Compression
Jonathan Ho [advisor: Pieter Abbeel]

Design for Performance and Reliability in Advanced CMOS Structures
Fei Ding [advisor: Tsu-Jae King Liu]

Design, Fabrication, and Assembly of Multi-chip Walking Silicon Microrobots
Hani Gomez [advisor: Kristofer Pister]

Designing New Memory Systems for Next-Generation Data Centers
Howard Mao [advisor: Randy H. Katz]

Development of a Magnesium Semi-solid Redox Flow Battery
Matthew McPhail [advisor: Vivek Subramanian]

Discrete and Complex Algorithms for Curves
Lynn Chua [advisor: Bernd Sturmfels and Alessandro Chiesa]

Drug Monitoring with Wearable Sweat Sensors
Li-Chia Tai [advisor: Ali Javey]

Electronic transport in atomically precise graphene nanoribbons
Juan Llinas [advisor: Jeffrey Bokor]

Exploiting Randomness in Computational Cameras and Displays
Grace Kuo [advisor: Laura Waller and Ren Ng]

Extracting and Using Preference Information from the State of the World
Rohin Shah [advisor: Stuart J. Russell, Pieter Abbeel and Anca Dragan]

Fast and Accurate Machine Learning on Distributed Systems and Supercomputers
Yang You [advisor: James Demmel]

From Distribution Shift to Kernel Methods: A study of empirical phenomena in machine learning
Vaishaal Shankar [advisor: Benjamin Recht and Jonathan Ragan-Kelley]

Generators for Wireless Systems Prototyping
Paul Rigge [advisor: Borivoje Nikolic]

Geometric Sampling Theory, Triangulations, and Robust Machine Learning
Marc Khoury [advisor: Jonathan Shewchuk]

Heirloom Wearables: A Hybrid Approach to the Design of Embodied Wearable Technologies
Christine Dierk [advisor: Eric Paulos]

Hopping Control and Estimation for a High-performance Monopedal Robot, Salto-1P
Justin Yim [advisor: Ronald S. Fearing]

Hybrid Switched-Capacitor Converters for High-Performance Power Conversions
Wen Chuen Liu [advisor: Robert Pilawa-Podgurski]

Hybrid Switched-Capacitor Power Converters: Fundamental Limits and Design Techniques
Zichao Ye [advisor: Robert Pilawa-Podgurski]

Incipient Anomaly Detection with Ensemble Learning
Baihong Jin [advisor: Alberto L. Sangiovanni-Vincentelli]

Inductive Wireless Power Transfer to Multiple Biomedical Implants
George Alexandrov [advisor: Jan M. Rabaey]

Integrated Hybrid Switched-Capacitor Converters for Point of Load Power Delivery
Pourya Assem [advisor: Robert Pilawa-Podgurski]

Interactive Program Distillation
Andrew Head [advisor: Marti Hearst and Björn Hartmann]

Interference-Resilient CMOS Receiver Front-Ends for Next Generation Radios
Sashank Krishnamurthy [advisor: Ali Niknejad]

Investigating Low Energy Wireless Networks for the Internet of Things
Branden Ghena [advisor: Prabal Dutta]

Investigation and Control of Ultrafast Magnetic Phenomena
Akshay Pattabi [advisor: Jeffrey Bokor]

Jumping Silicon Microrobots With Electrostatic Inchworm Motors and Energy Storing Substrate Springs
Craig Schindler [advisor: Kristofer Pister]

Learning and Analyzing Representations for Meta-Learning and Control
Kate Rakelly [advisor: Sergey Levine]

Learning from an unknown environment
Vidya Muthukumar [advisor: Anant Sahai]

Learning to Detect Geometric Structures from Images for 3D Parsing
Yichao Zhou [advisor: Yi Ma]

Low-loss and nonlinear silicon-based integrated photonic circuits
Jean-Etienne Tremblay [advisor: Ming C. Wu]

Milli-Volt Micro-Electro-Mechanical Relay Technology for Energy-Efficient Computing
Benjamin Osoba [advisor: Tsu-Jae King Liu]

Millivolt Micro-Electro-Mechanical Relay Devices & Circuits
Alice Ye [advisor: Tsu-Jae King Liu]

Mobile Robot Learning
Gregory Kahn [advisor: Pieter Abbeel and Sergey Levine]

Model-based Deep Reinforcement Learning for Robotic Systems
Anusha Nagabandi [advisor: Ronald S. Fearing and Sergey Levine]

Modeling Visual Minutiae: Gestures, Styles, and Temporal Patterns
Shiry Ginosar [advisor: Alexei (Alyosha) Efros]

Multiplicative Coding and Factorization in Vector Symbolic Models of Cognition
Spencer Kent [advisor: Bruno Olshausen and Alexei (Alyosha) Efros]

Neural Scene Representations for View Synthesis
Benjamin Mildenhall [advisor: Ren Ng]

On The Utility of Fine-Grained Complexity Theory
Manuel Sabin [advisor: Shafi Goldwasser]

Optimization, Robustness and Risk-Sensitivity in Machine Learning: A Dynamical Systems Perspective
Kamil Nar [advisor: S. Shankar Sastry]

Overcoming Model-Bias in Reinforcement Learning
Ignasi Clavera Gilaberte [advisor: Pieter Abbeel]

Parallelizing Irregular Applications for Distributed Memory Scalability: Case Studies from Genomics
Marquita Ellis [advisor: Katherine A. Yelick]

Phasor-Based Control on Islanded Networks
Kyle Brady [advisor: Seth R. Sanders and Alexandra von Meier]

Physics-based Learning for Large-scale Computational Imaging
Michael Kellman [advisor: Michael Lustig and Laura Waller]

Practical Algorithms for Reliable Autonomy
David Fridovich-Keil [advisor: Claire Tomlin]

Practical and Scalable Serverless Computing
Joao Menezes Carreira [advisor: Randy H. Katz and Pedro Fonseca]

Printed, Flexible Electrochemical Sensors
Margaret Payne [advisor: Ana Claudia Arias]

Problems on Large Sparse Graphs
Payam Delgosha [advisor: Venkat Anantharam]

Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems
Marten Lohstroh [advisor: Edward A. Lee]

Readdressing Network Layers
James McCauley [advisor: Scott Shenker]

Risk-Sensitive Safety Analysis and Control for Trustworthy Autonomy
Margaret Chapman [advisor: Claire Tomlin]

Round-Optimal Secure Multiparty Computation from Minimal Assumptions
Akshayaram Srinivasan [advisor: Sanjam Garg]

Safe and Data-Efficient Learning for Robotics: A Control Theoretic Approach
Somil Bansal [advisor: Claire Tomlin]

Safe Real-World Autonomy in Uncertain and Unstructured Environments
Sylvia Herbert [advisor: Claire Tomlin]

Scene Representations for View Synthesis with Deep Learning
Pratul Srinivasan [advisor: Ravi Ramamoorthi and Ren Ng]

Secure Computation Systems for Confidential Data Analysis
Rishabh Poddar [advisor: Raluca Ada Popa]

Secure, Expressive, and Debuggable Large-Scale Analytics
Ankur Dave [advisor: Ion Stoica and Raluca Ada Popa]

Sensing Contacts, Coughs, and Hand Hygiene
William Huang [advisor: Prabal Dutta]

Sensing Systems Using Large Area Printed Organic Electronics
Mahsa Sadeghi [advisor: Ana Claudia Arias]

Sharing without Showing: Building Secure Collaborative Systems
Wenting Zheng [advisor: Ion Stoica and Raluca Ada Popa]

Sparse-Graph Codes for the Big Data Era: Exploiting Sparsity to Speed Up Computation
Orhan Ocal [advisor: Kannan Ramchandran]

Spectral Purification Techniques for Clock Generation Circuits
Yi-An Li [advisor: Ali Niknejad]

Statistics, computation, and adaptation in high dimensions
Ashwin Pananjady Martin [advisor: Martin Wainwright and Thomas Courtade]

Structured Models for Vision-and-Language Reasoning
Ronghang Hu [advisor: Trevor Darrell]

Structured Neural Models and Structured Decoding for Natural Language Processing
Mitchell Stern [advisor: Michael Jordan and Daniel Klein]

Succinct Non-Interactive Arguments for Arithmetic Circuits
Nicholas Spooner [advisor: Alessandro Chiesa]

The Design & Implementation of Modular Smart Dust
Patrick Pannuto [advisor: Prabal Dutta]

The Design of Any-scale Serverless Infrastructure with Rich Consistency Guarantees
Chenggang Wu [advisor: Joseph M. Hellerstein]

The Design of Dynamic Neural Networks for Efficient Learning and Inference
Xin Wang [advisor: Trevor Darrell and Joseph Gonzalez]

The Design of Stateful Serverless Infastructure
Vikram Sreekanti [advisor: Joseph M. Hellerstein]

The Interplay between Sampling and Optimization
Cheng Xiang [advisor: Michael Jordan and Peter Bartlett]

The sample complexity of simple reinforcement learning
Horia Mania [advisor: Michael Jordan and Benjamin Recht]

Thwarting Sophisticated Enterprise Attacks: Data-Driven Methods and Insights
Grant Ho [advisor: David A. Wagner and Vern Paxson]

Towards Ubiquitous Augmented Reality in Structured Environments
Joseph Menke [advisor: S. Shankar Sastry]

What Supervision Scales? Practical Learning Through Interaction
Carlos Florensa Campo [advisor: Pieter Abbeel]