Ph.D. Dissertations - 2020

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]

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]

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]

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]

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]

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]

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

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

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 from an unknown environment
Vidya Muthukumar [advisor: Anant Sahai]

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

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]

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]

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

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]

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

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

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 Real-World Autonomy in Uncertain and Unstructured Environments
Sylvia Herbert [advisor: Claire Tomlin]

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

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]

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

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]

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]