M.S. | 5th Year M.S.


A Scalable Generator of Massive MIMO Baseband Processing Systems
Yue Dai [advisor: Borivoje Nikolic]

Ansor: Generating High-Performance Tensor Programs for Deep Learning
Lianmin Zheng [advisor: Ion Stoica and Joseph Gonzalez]

Approximation bounds for sparse programs
Armin Askari [advisor: Laurent El Ghaoui]

Cassie Learning Dodging Skills: A Hierarchical Reinforcement Learning Based Approach
Jesus Navarro [advisor: Murat Arcak]

Code Patternz - A tool to record the programming process
Renaldo Williams [advisor: Dan Garcia]

Developing a Digital Twin for Indoor Environments: A Case Study
Yu-wen Lin [advisor: Costas J. Spanos]

Finite-time analysis of approximate policy iteration for the linear quadratic regulator
Karl Krauth [advisor: Michael Jordan and Jonathan Ragan-Kelley]

Flexible Architectures for Image Synthesis
Ajay Jain [advisor: Pieter Abbeel]

Graphical Lasso based Cluster Analysis in Energy-Game Theoretic Frameworks
Hari Prasanna Das [advisor: Costas J. Spanos]

Harnessing Alpha Radiation to Power Miniaturized Implantable Medical Devices
Averal Kandala [advisor: Ali Niknejad and Mekhail Anwar]

Hybrid Convolutional Optoelectronic Reservoir Computing for Image Recognition
Philip Jacobson [advisor: Ming C. Wu]

Inducing Structure in Reward Learning by Learning Features
Andreea Bobu [advisor: Anca Dragan]

Laser Chirp Linearization and Phase Noise Compensation for Frequency-modulated Continuous-wave LiDAR
Xiaosheng Zhang [advisor: Ming C. Wu]

Learning Self-Supervised Representations of Code Functionality
Paras Jain [advisor: Ion Stoica and Joseph Gonzalez]

Local Phasor-Based Control on Three-phase Radial Distribution Networks
Jaimie Swartz [advisor: Seth R. Sanders and Alexandra von Meier]

Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS
Nicholas Ward [advisor: Alessandro Chiesa]

Modeling Assumptions Clash with the Real World: Transparency, Equity, and Community Challenges for Student Assignment Algorithms
Sam Robertson [advisor: Moritz Hardt and Niloufar Salehi]

Models of Ice Skating for the Development of Robotic Ice Skating Gaits
Deirdre Quillen [advisor: Benjamin Recht]

Multi-Vehicle Collision Avoidance via Hamilton-Jacobi Reachability and Integer Linear Programming
Chia-Yin Shih [advisor: Laurent El Ghaoui]

Optical Meta-structures for Exceptional Points, Bound States in the Continuum, and Polarization Control
Haoye Qin [advisor: Constance Chang-Hasnain and Boubacar Kanté]

Rapid Fabrication of Low Impedance, 3D Dry Electrodes for Physiological Sensing
Natalie Tetreault [advisor: Ana Claudia Arias]

RingBOOM: An Implementation of a Novel High-Performance Banked Microarchitecture
Benjamin Korpan [advisor: Krste Asanović]

Robust deep-reinforcement learning policies for mixed-autonomy traffic
Kathy Jang [advisor: Alexandre Bayen]

Simultaneous Localization and Mapping: A Rapprochement of Filtering and Optimization-Based Approaches
Chih-Yuan Chiu [advisor: S. Shankar Sastry]

Small Autonomous Robot Actuator (SARA): A Solar-powered Wireless MEMS Gripper
Alexis Moreno [advisor: Kristofer Pister and Ali Niknejad]

Spatiotemporal Algorithms for Neural Activity Tracking with Diffuser-Based Microscopes
Tiffany Chien [advisor: Laura Waller]

TeraPipe: Token-Level Pipeline Parallelism for Training Large-Scale Language Models
Zhuohan Li [advisor: Ion Stoica]

Toward the Control of Non-Linear, Non-Minimum Phase Systems via Feedback Linearization and Reinforcement Learning
Michael Estrada [advisor: S. Shankar Sastry]

Ultrasound Detection with Silicon Microring Resonators
Sarika Madhvapathy [advisor: Vladimir Stojanovic]

5th Year M.S.

A Curiosity-Driven Approach for Generating Textual Descriptions of Environments
Xinyun Zhang [advisor: Trevor Darrell]

A New Data-Focused Introductory Programming Course
Suraj Rampure [advisor: Joshua Hug]

A Spreadsheet Interface for Dataframes
Richard Lin [advisor: Aditya Parameswaran]

Accelerate Then Imitate: Learning from Task and Motion Planing
Michael McDonald [advisor: Anca Dragan]

Active Academic Integrity
Alex Kassil [advisor: John DeNero]

Adversarial Swarm Defense with Decentralized Swarms
Jason Zhou [advisor: Kristofer Pister]

Approaching the Issue of Limited Annotation for Instance Segmentation
Vishnu Doppalapudi [advisor: Trevor Darrell]

Automatic Detection of Interesting Cellular Automata
Qitian Liao [advisor: Dan Garcia]

Automating Kitting Novel 3D Objects into Novel 3D Cavities Using Self-Supervised Learning of SE(3) Transforms
Shivin Devgon [advisor: Ken Goldberg]

Berkeley Open MOS dataBase (BOMB): A Dataset for Silicon Technology Representation Learning
Rohan Lageweg [advisor: Vladimir Stojanovic]

Characterizing Circuits with Deep Embeddings
Arjun Mishra [advisor: Vladimir Stojanovic]

Comparing Human and AI Behavior in 3D Navigation Environments
Jeffrey Liu [advisor: Trevor Darrell]

Computer-Based Testing using PrairieLearn in BJC
Bojin Yao [advisor: Dan Garcia]

Cost Savings Analysis of Semiconductor Foundries in Southeast Asian Countries
Andrew Tirtowijoyo Young [advisor: Ana Claudia Arias]

Crank, Shake, and Tilt: Transforming Social Media Interfaces with Embodied Constraints
Janaki Vivrekar [advisor: Eric Paulos]

Data Efficient Language-Supervised Zero-Shot Recognition with Optimal Transport Distillation
Ruizhe Cheng [advisor: Kurt Keutzer]

Deep Learning Applications in Computational MRI: A Thesis in Two Parts
Sukrit Arora [advisor: Michael Lustig]

Design and Application of a Co-Simulation Framework for Chisel
Ryan Lund [advisor: Borivoje Nikolic]

Designing an Assistive Mouse for Human Computer Interaction Using Hand Gestures
Michael Qi [advisor: Brian A. Barsky]

Detecting Backdoored Neural Networks with Structured Adversarial Attacks
Charles Yang [advisor: Michael William Mahoney]

Detection of Node Pore Sensing Signals
Maxwell Lin-He [advisor: Michael Lustig]

Digital System Design and Fullchip Integration for Asynchronous Stochastic Neural Accelerator
Adhiraj Datar [advisor: Sayeef Salahuddin]

Dynamic Verification Library for Chisel
Yuan-Cheng Tsai [advisor: Borivoje Nikolic]

Efficient Empowerment Estimation for Unsupervised Stabilization
Ruihan Zhao [advisor: Pieter Abbeel]

Efficient Unicontact Grasping in Cluttered Scenes
Vishal Satish [advisor: Ken Goldberg]

Empirical Evaluation of Adversarial Surprise
Samyak Parajuli [advisor: Alexandre Bayen]

Enabling Generalization of Human Models for Human-AI Collaboration to New Tasks
Xiaocheng Yang [advisor: Anca Dragan]

Enabling Verifiable Execution of Distributed Secure Enclave Platforms
Saharsh Agrawal [advisor: Raluca Ada Popa]

End-to-end Model Inference and Training on Gemmini
Pranav Prakash [advisor: Krste Asanović]

Explainable Classification of Nuclear Facility Operational State Using Node and Region Importance for Sensor Networks
Jake Tibbetts [advisor: Stuart J. Russell]

Exploring the Effects of View Transforms on Self-Supervised Video Representation Learning Techniques
Ilian Herzi [advisor: John F. Canny]

Extremely Lightweight Vocoders for On-device Speech Synthesis
Tianren Gao [advisor: Kurt Keutzer and Joseph Gonzalez]

Eye Blink Classification for Ear EEG
Carolyn Schwendeman [advisor: Rikky Muller]

Fast Low-Overhead Logging Extending Time
Anusha Dandamudi [advisor: Joseph M. Hellerstein and Joseph Gonzalez]

Fast Secure and Robust Aggregation Learning Frameworks on Distributed and Federated Setups
Beom Jin Lee [advisor: Kannan Ramchandran]

Formally Verifying Trusted Execution Environments with UCLID5
Pranav Gaddamadugu [advisor: Sanjit A. Seshia]

GamesmanPuzzles: A Leap Into the Puzzles Domain
Anthony Ling [advisor: Dan Garcia]

Generalized Partitioning for Dataset Versions in OrpheusDB
Vincent Truong [advisor: Aditya Parameswaran]

Geometric Properties of Backdoored Neural Networks
Dominic Carrano [advisor: Kannan Ramchandran]

Hardware Accelerators for Graph Convolutional Networks
Kareem Ahmad [advisor: Sophia Shao]

HASTE: Serverless DAG Execution Optimizer
Avinash Arjavalingam [advisor: Aditya Parameswaran]

How Close is your Function to Depending on a Small Number of its Inputs?
Michael Whitmeyer [advisor: Avishay Tal]

How to See Impossible Colors: First Steps Toward the Oz Vision Display
James Fong [advisor: Ren Ng]

Hydroflow: A Model and Runtime for Distributed Systems Programming
Mingwei Samuel [advisor: Alvin Cheung]

Improved Bounds for Incoherent Matrix Completion
Emaan Hariri [advisor: Satish Rao and Michael William Mahoney]

Improving the Efficiency of Robust Generative Classifiers
Alan Rosenthal [advisor: David A. Wagner]

In vivo Two-photon Excitation Magnetic Resonance Imaging
Jianshu Chi [advisor: Chunlei Liu]

Inclusive and Scalable Study Group Formation
Gloria Tumushabe [advisor: Gireeja Ranade]

Incremental Learning via Rate Reduction
Kyung Eun Baek [advisor: Yi Ma]

Integrating a Localized B0 Shim Array into a Solenoid Transmit-Receive Coil for Permanent Magnet Scanners
Celine Veys [advisor: Michael Lustig]

Intermittent Visual Servoing: Effciently Learning Policies Robust to Instrument Changes for High-precision Surgical Manipulation
Samuel Paradis [advisor: Ken Goldberg]

Interpolation Learning
Zitong Yang [advisor: Yi Ma]

Joining Interactive Graphics and Procedural Modeling for Precise Free-Form Designs
Randy Fan [advisor: Carlo H. Séquin]

Language Guided Out-of-Distribution Detection
William Gan [advisor: Trevor Darrell]

Local B0 Shim Array Integrated onto a Solenoid TRX Coil for Permanent Magnet Scanners
Rafael Calleja [advisor: Michael Lustig]

Manipulation of Objects with Tethers and Millirobots
Tiffany Cappellari [advisor: Ronald Fearing]

Masked Layer Distillation: Fast and Robust Training Through Knowledge Transfer Normalization
Derek Wan [advisor: Joseph Gonzalez]

Model-Agnostic Defense for Lane Detection Against Adversarial Attack
Henry Xu [advisor: David A. Wagner]

Modin OpenMPI Compute Engine
Andrew Zhang [advisor: Randy H. Katz]

Multi-Modal Semantic Inconsistency Detection in Social Media News Posts
Scott McCrae [advisor: Avideh Zakhor]

Multi-Modal Semantic Inconsistency Detection in Social Media News Posts
Scott McCrae [advisor: Avideh Zakhor]

Nanopore Methylation Calling from Limited Training Data
Brian Yao [advisor: Jennifer Listgarten]

N-for-1-Auth: N-wise Decentralized Authentication via One Authentication
Ryan Deng [advisor: Raluca Ada Popa]

On Memorability and Style of Audio Features in Multimedia Evaluation
Yutong Zhao [advisor: Gerald Friedland]

Optical Flow for De-Identification and Driver Behavior Classification
Arjun Sarup [advisor: Gerald Friedland]

Optimizations and Improvements to Cryptographic Libraries for zkSNARKs
Alexander Wu [advisor: Alessandro Chiesa]

Parallel Architectures for Hyperdimensional Computing
Ryan Moughan [advisor: Bruno Olshausen and John DeNero]

Pedagogy and Infrastructure for Upper-Division Data Science Courses
Allen Shen [advisor: Joshua Hug]

Post Verification of Integrity of Remote Queries in Opaque
Andrew Law How Hung [advisor: Raluca Ada Popa]

Progress and Proposals: A Case Study of Monocular Depth Estimation
Khalil Sarwari [advisor: Claire Tomlin]

Proof-of-Stream: A Robust Incentivization Protocol for Blockchain-based Hybrid Video on Demand Systems
Yudi Tan [advisor: Kannan Ramchandran]

RayLEAF: Benchmarking Compressed Federated Models
Ryan Panwar [advisor: John DeNero]

Real-time Robotic Safety Set Blending Schemes
Charles Tang [advisor: Claire Tomlin]

Redesigning Power Systems on a Single Chip Micro Mote with Berkeley Analog Generator Low Dropout Series Regulator Generation
Jackson Paddock [advisor: Kristofer Pister]

Robotic Untangling and Disentangling of Cables via Learned Manipulation and Recovery Strategies
Priya Sundaresan [advisor: Ken Goldberg]

Robust Naive Bayes
Aditya Mishra [advisor: Laurent El Ghaoui]

Safe and Sample-Efficient Reinforcement Learning
Michael Luo [advisor: Ion Stoica]

Scalable Techniques for Sampling-Based Falsification of AI-Based Cyber Physical Systems
Kesav Viswanadha [advisor: Sanjit A. Seshia]

Secure Multi-threading in Keystone Enclaves
Stephan Kaminsky [advisor: Dawn Song]

Simultaneous Localization and Mapping Through the Lens of Nonlinear Optimization
Amay Saxena [advisor: S. Shankar Sastry]

Snaps: A Tool for Understanding Students in Large Computer Science Classes
Itai Smith [advisor: Joshua Hug]

Spreadsheet Bubbles: Showing Contextually Relevant Data During Formula Editing
Nidhi Kakulawaram [advisor: Björn Hartmann]

Supporting Multiple Clients in Opaque
Eric Feng [advisor: Raluca Ada Popa]

The Cost of OPS in Reinforcement Learning
Yao Fu [advisor: Pieter Abbeel]

Theory and Application of Bonus-based Exploration in Reinforcement Learning
Bryan Chen [advisor: Jiantao Jiao]

Towards Achieving Stronger Isolation in Serverless Computing
Saurav Chhatrapati [advisor: Joseph M. Hellerstein]

Towards Characterizing Model Extraction Queries and How to Detect Them
Zhanyuan Zhang [advisor: David A. Wagner]

Towards Evaluating and Understanding the Adversarial Robustness of Random Transformation Defenses
Zachary Golan-Strieb [advisor: David A. Wagner]

Towards Light Charge Association in Liquid Argon Time Projection Chambers
John Newsom [advisor: Gireeja Ranade]

Trustworthy ML: Robustness and Foresight
Saurav Kadavath [advisor: Dawn Song]

Understanding and Evaluating the User Data Exploration Experience with Lux
Jerry Song [advisor: Aditya Parameswaran]

Using Learned Image Compression for Training Accurate and Robust Convolutional Neural Networks
Navneedh Maudgalya [advisor: Gerald Friedland]

Vertex: A Unified Edge Computing Environment
Michael Perry [advisor: Scott Shenker]

You Only Group Once: Efficient Point-Cloud Processing with Token Representation and Relation Inference Module
Bohan Zhai [advisor: Kurt Keutzer and Joseph Gonzalez]

YouVerify: An Intermediate Representation and Framework for Symbolic Execution
Griffin Prechter [advisor: Koushik Sen and Raluca Ada Popa]