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

M.S.

A Study on Advanced Ising Machine Designs: BLIM, King's Graph Mapping, and OIM Chips
Jui-Hsin Hung [advisor: Jaijeet Roychowdhury]

Accelerated Modeling of Electronic Devices using Graph Neural Networks
Pratik Brahma [advisor: Sayeef Salahuddin]

An EMI-Compliant and Automotive-Rated 48 V to Point-of-Load Dickson-Based Hybrid Switched-Capacitor DC-DC Converter
Sahana Krishnan [advisor: Robert Pilawa-Podgurski]

Application-Integrated Record-Replay of Distributed Systems
Narek Galstyan [advisor: Scott Shenker and Sylvia Ratnasamy]

BeeGees: Stayin' Alive in Chained BFT
Neil Giridharan [advisor: Natacha Crooks]

Bottom-Up and Top-Down Attention in Deep Vision Models
Baifeng Shi [advisor: Trevor Darrell]

Constructing Taxonomies from Pretrained Language Models
Catherine Chen [advisor: Daniel Klein and Jack Gallant]

DEEP ARTICULATORY SEGMENTATION AND SPEECH SYNTHESIS USING RT-MRI
Peter Wu [advisor: Gopala Krishna Anumanchipalli]

Deep Reinforcement Learning for Autonomous Vehicles: Improving Traffic Flow in Mixed-Autonomy
Nathan Lichtle [advisor: Alexandre Bayen]

Fairness and representation in satellite-based poverty maps: Evidence of urban-rural disparities and their impacts on downstream policy
Emily Aiken [advisor: Hany Farid]

FogROS2-SGC: A Secure and Global Connectivity Framework For Latency Sensitive Cloud Robotics
Eric Chen [advisor: John D. Kubiatowicz]

Optical Fiber-based γ-Photon Biosensor for Real-Time Pre-clinical Evaluation of Cancer-Targeting Radiopharmaceuticals
Rahul Lall [advisor: Ali Niknejad and Mekhail Anwar]

Pairwise Proximal Policy Optimization: Large Language Models Alignment via Comparative RL
Tianhao Wu [advisor: Kannan Ramchandran and Jiantao Jiao]

Pairwise Proximal Policy Optimization: Large Language Models Alignment via Comparative RL
Tianhao Wu [advisor: Kannan Ramchandran and Jiantao Jiao]

Printed Interlayers for Organic Solar Cells
Sophie Koh [advisor: Ana Claudia Arias]

Silicon Microring Resonator Design for Monolithic Electronic–Photonic Biosensing System
Hyeong Seok Oh [advisor: Vladimir Stojanovic]

Syntactic Code Search with Sequence-to-Tree Matching
Gabriel Matute [advisor: Alvin Cheung and Sarah Chasins]

Systems for Machine Learning on Edge Devices
Shishir Patil [advisor: Joseph Gonzalez and Prabal Dutta]

Towards a Quantum Hardware Roofline: Evaluating the Impact ofGate Expressivity on Processor Design
Justin Kalloor [advisor: John D. Kubiatowicz]

5th Year M.S.

Critical Engagement in Large-Scale Undergraduate Computing Programs
Jedidiah Tsang [advisor: Joshua Hug and Lisa Yan]

A Dataset for Learning Conversational Style
Roshan Regula [advisor: Gopala Krishna Anumanchipalli]

Advancing Robust and Aligned Measures of Semantic Similarity in Large Language Models
Samarth Goel [advisor: Kannan Ramchandran]

Autonomous Assessment of Demonstration Sufficiency
Alina Trinh [advisor: Stuart J. Russell]

CherryML 2.0: Almost Linear Time Estimation of Phylogenetic Models
Wilson Wu [advisor: Yun S. Song]

Concurrency Without Threads for Multicore Microprocessors
Samuel Berkun [advisor: Edward A. Lee]

Continuous Autonomous Improvement for Mobile Manipulation
Hrish Leen [advisor: Sergey Levine]

CoS: Enhancing Personalization and Mitigating Bias with Context Steering
Sashrika Pandey [advisor: Anca Dragan]

Counting Counts: Overcoming Counting Challenges in Image Generation using Reinforcement Learning
Shaan Gill [advisor: Trevor Darrell]

Cryogenic and RF Performance of Negative Capacitance Field-Effect Transistors
Aditya Varma [advisor: Sayeef Salahuddin]

Dealing with Time: Measuring Real-Time Capabilities of Lingua Franca
Efsane Soyer [advisor: Edward A. Lee]

Design and Analysis of Uncertainty-Aware Modularized Autonomy Stacks
David Shen [advisor: Claire Tomlin]

Developing and Evaluating LLM Assistants in Introductory Computer Science
Laryn Qi [advisor: John DeNero]

Digital Calibration of Voltage-Controlled Oscillator (VCO) Nonlinearity using a Delta-Sigma DAC
Ashwin Rammohan [advisor: Rikky Muller]

Digital Calibration of Voltage-Controlled Oscillator (VCO) Nonlinearity using a Delta-Sigma DAC
Ashwin Rammohan [advisor: Rikky Muller]

DL-ZTE: Towards Deep Learning-based Methods for Dead Time Gap Recovery in Zero TE MRI
Ana Cismaru [advisor: Michael Lustig]

Do Vision and Language Encoders Represent the World Similarly?
Raiymbek Akshulakov [advisor: Jitendra Malik]

Do Vision and Language Encoders Represent the World Similarly?
Raiymbek Akshulakov [advisor: Jitendra Malik]

Dreamcrafter: Imagining Future Immersive Radiance Field Editors with Generative AI
Cyrus Vachha [advisor: Björn Hartmann]

Dynamic and Composable Enclave Measurement
Evgeny Pobachienko [advisor: Dawn Song]

Efficient Distributed LLM Inference with Dynamic Partitioning
Isaac Ong [advisor: Ion Stoica]

Eliciting Domain Expertise Reduces Examples Needed for Program Synthesis
Jeremy Ferguson [advisor: Sarah Chasins]

Enhancing Emotional Expression in Text-to-Speech Models through Reinforcement Learning with AI Feedback
Roshan Nagaram [advisor: Trevor Darrell]

Enhancing QUIC: Quality-of-Service LLM Serving and MASQUE Proxy Scheduling
Rithvik Chuppala [advisor: Sylvia Ratnasamy]

EVIL SERVERLESS CONSENSUS
Chris Liu [advisor: Natacha Crooks]

Expander Flows and Sparsest Cut Linear Programming
William Lin [advisor: Satish Rao]

Extensible Rule Language for Query Optimizer
Sicheng Pan [advisor: Alvin Cheung]

Finetuning as a Defense Against LLM Secret-leaking
Bryce Wong [advisor: Dawn Song]

First Token Probabilities are Unreliable Indicators for LLM Knowledge
Justin Shao [advisor: Jiantao Jiao]

Fleece QA: Self-Instruct Generation for Question Answering Dataset from Large Corpus
Yueheng Zhang [advisor: Dawn Song]

Gasper-Siesta: Reducing Ethereum’s Commit Latency
Siddhant Sharma [advisor: Natacha Crooks]

Hardware Accelerator for Convolutional Restricted Boltzmann Machines
Junghoon Han [advisor: Sayeef Salahuddin]

HiLT: A Framework for Generating Human-in-the-Loop Data Transformation GUIs
Sora Kanosue [advisor: Sarah Chasins]

Industrial Applications of Remote Monitoring, Learning, and Actuation
Shrey Aeron [advisor: Ken Goldberg]

Interactive Imitation Learning as Reinforcement Learning
Perry Dong [advisor: Yi Ma]

Interactive Robot Fleet Learning from Heterogeneous Human Supervisors using Implicit Energy-Based Models
Gaurav Datta [advisor: Ken Goldberg]

Iron in Alzheimer’s Disease: Analysis of the UK Biobank Dataset
Laurance Lau [advisor: Chunlei Liu]

Learning Factorizable Representation for Dynamical Visual Scene
Zeyu Yun [advisor: Bruno Olshausen and Sergey Levine]

Leveraging Zero-Shot Sim2Real Learning to Improve Autonomous Vehicle Perception
Ashwat Chidambaram [advisor: Murat Arcak]

Machine Learning Systems with Reduced Memory Requirements
Franklin Huang [advisor: Borivoje Nikolic]

Markerless Macaque Face Reconstruction Using Synthetic Data
Anik Gupta [advisor: Jitendra Malik]

Meta-learning for evolutionary-based protein property prediction
Arthur Deng [advisor: Jennifer Listgarten]

Motion Diffusion From Speech
Kushal Khangaonkar [advisor: Daniel Klein]

Object Discovery In Multi-Scene NeRFs
Junkeun Yi [advisor: Trevor Darrell]

Offshore Wind and Tidal Energy Integration into Power System Linear Programming Capacity Model
Sunay Dagli [advisor: Robert Pilawa-Podgurski]

On-the-Fly Memory Programming for Largely Unmodified Cryptographic Applications
Alice Yeh [advisor: Raluca Ada Popa]

Parallel Solving of Two-Player Tierable Abstract Strategy Games
Robert Shi [advisor: Dan Garcia]

Preventing Reward Hacking with Occupancy Measure Regularization
Shivam Singhal [advisor: Anca Dragan]

Querying Labeled Time Series Data with Scenario Programs
Devan Shanker [advisor: Sanjit A. Seshia]

Real-Time Legged Locomotion Control with Diffusion from Offline Datasets
Ruofeng Wang [advisor: Borivoje Nikolic]

RideGuard: Towards Privacy-Preserving Analytics for Mobility Applications
Arun Sundaresan [advisor: Sylvia Ratnasamy]

RLIF: Interactive Imitation Learning as Reinforcement Learning
Perry Dong [advisor: Yi Ma]

Scaling Zero Knowledge Proofs Through Application and Proof System Co-Design
Yuwen Zhang [advisor: Raluca Ada Popa]

Skeleton-based Fall Detection using Spatial Temporal Graph Convolutional Networks with Learnable Edges
Alex Liang [advisor: Brian A. Barsky]

SonicSim: Socket-based Hardware Co-Simulation With Inter-process Communication
Richard Yan [advisor: Sophia Shao]

Task Scheduling for Decentralized LLM Serving in Heterogeneous Networks
Elden Ren [advisor: Dawn Song]

THOUGHTSCULPT: Reasoning with Intermediate Revision and Search
Yizhou Chi [advisor: Daniel Klein]

Toward Autonomous Endoscopic Surgery: a Framework and Case Studies for Robotic Learning in Healthcare
Will Panitch [advisor: Ken Goldberg]

Towards Efficient and Deterministic Dataflow Systems for Machine Learning
Jacky Kwok [advisor: Edward A. Lee]

Towards Fast and Accurate Computational Algorithms for Vision Correcting Displays
Joshua Chen [advisor: Brian A. Barsky]

Towards Robust Autonomous Systems through Uncertainty Quantification
Anish Muthali [advisor: Claire Tomlin]

Trajectory Prediction and Simulation for Improved Control of Connected Autonomous Vehicles
Avikam Chauhan [advisor: Alexandre Bayen]

V-Former: Offline RL with Temporally-Extended Actions
Jeffrey Wu [advisor: Sergey Levine]

VLM Guided Exploration via Image Subgoal Synthesis
Arjun Bhorkar [advisor: Sergey Levine]

VLSI Design and Circuits for Multiple Supply Domains
Bryan Ngo [advisor: Borivoje Nikolic]

3D Multispectral Colorimetry
Anjali Thakrar [advisor: Ren Ng]

3D Scene Part Decomposition
Jake Austin [advisor: Angjoo Kanazawa]