Master's Theses & Technical Reports - 2021
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]