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

M.S.

A Comprehensive Surface Mount Technology Solution for Integrated Circuits onto Flexible Screen Printed Electrical Interconnects
Meriem Ben Salah Ep Akin [advisor: Ana Claudia Arias]

A Low-Power, Lightweight, Wireless Neural Recording and Stimulating Headstage for Brain Machine Interfaces
Jaclyn Leverett [advisor: Jan M. Rabaey]

A More Powerful Two-Sample Test in High Dimensions using Random Projection
Miles Lopes [advisor: Martin Wainwright]

A Multi-material Low Phase Noise Optomechanical Oscillator
Turker Beyazoglu [advisor: Clark Nguyen]

A Perceptually Based Model of Visual Adaptation
Armin Samii [advisor: James O'Brien]

A quantitative Gibbard-Satterthwaite theorem without neutrality
Miklos Racz [advisor: Elchanan Mossel]

Access Point Selection for Multi-Rate IEEE 802.11 Wireless LANs
Shicong Yang [advisor: Avideh Zakhor]

Adaptive Stream Processing using Dynamic Batch Sizing
Tathagata Das [advisor: Scott Shenker and Ion Stoica]

Analysis of Multilayer Neural Networks for Object Recognition
Pulkit Agrawal [advisor: Jitendra Malik]

Analyzing Data-Dependent Timing and Timing Repeatability with GameTime
Zachariah Wasson [advisor: Sanjit A. Seshia]

Automated Discovery of User Trackers
Sakshi Jain [advisor: David Wagner and Vern Paxson]

Automatic Sparsity Detection in LAPACK
Razvan Carbunescu [advisor: James Demmel]

Bloom Cookies: Web Search Personalization without User Tracking
Nitesh Mor [advisor: John D. Kubiatowicz]

Bribecaster: Documenting Bribes Through Community Participation
Manas Mittal [advisor: Björn Hartmann]

Concentric Rings K-space Trajectory for Hyperpolarized C-13 MR Spectroscopic Imaging
Wenwen Jiang [advisor: Michael Lustig]

CPSGrader: Auto-Grading and Feedback Generation for Cyber-Physical Systems Education
Garvit Juniwal [advisor: Sanjit A. Seshia]

Defocus based phase imaging for quantifying electromagnetic edge effects in photomasks
Aamod Shanker [advisor: Laura Waller]

Design of Ultrasonic Power Link for Neural Dust
Dongjin Seo [advisor: Elad Alon and Michel Maharbiz]

Formal Modeling and Verification of CloudProxy
Wei Yang Tan [advisor: Sanjit A. Seshia]

High Quality Factor Lamb Wave Resonators
Jie Zou [advisor: Albert Pisano]

High Voltage Level-Shifter Circuit Design for Efficiently High Voltage Transducer Driving
Hao-Yen Tang [advisor: Bernhard Boser]

Improving TCP latency with super-packets
David Schinazi [advisor: Ion Stoica]

Large Scale Silicon Photonic MEMS Switch
Sangyoon Han [advisor: Ming C. Wu]

Large-Scale Silicon Photonic MEMS Switch
Sangyoon Han [advisor: Ming C. Wu]

Line Segment-based Aerial Image Registration
Youngwook Paul Kwon [advisor: Alexei (Alyosha) Efros]

Machine Learning for Helicopter Dynamics Models
Ali Punjani [advisor: Pieter Abbeel]

Micromechanical Disk Array for Enhanced Frequency Stability Against Bias Voltage Fluctuations
Lingqi Wu [advisor: Clark Nguyen]

ML-o-scope: a diagnostic visualization system for deep machine learning pipelines
Daniel Bruckner [advisor: Michael Franklin]

Model Predictive Control Approach to Electric Vehicle Charging in Smart Grids
Somil Bansal [advisor: Claire Tomlin]

Modeling Radiation-Induced Soft Errors in Logic and the Overhead of Resiliency Techniques
Steven Bailey [advisor: Borivoje Nikolic]

Near-optimal Assembly for Shotgun Sequencing with Noisy Reads
Ka Kit Lam [advisor: David Tse]

OCTAL: The Online Course Tool for Adaptive Learning
Daniel Armendariz [advisor: Dan Garcia]

Optimizing Random Forests on GPU
Derrick Cheng [advisor: John F. Canny]

Parametric identification of concentration-dependent gene regulation networks
Qie Hu [advisor: Claire Tomlin]

PHANTOM: Practical Oblivious Computation in a Secure Processor
Martin Maas [advisor: John D. Kubiatowicz and Krste Asanović]

Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
Alberto Alessandro Angelo Puggelli [advisor: Alberto L. Sangiovanni-Vincentelli and Elad Alon]

Reachability-based Safe Learning with Gaussian Processes
Anayo Akametalu [advisor: Claire Tomlin]

Real-time Musical Score Following from a Live Audio Source
Andrew Lee [advisor: Maneesh Agrawala]

Scalable Automated Model Search
Evan Sparks [advisor: Michael Franklin]

SPLASH: Single-chip Planetary Low-power ASIC Spectrometer with High-resolution
Rachel Hochman [advisor: Borivoje Nikolic]

Subdivision Surface Evaluation as Sparse Matrix-Vector Multiplication
Michael Driscoll [advisor: Katherine A. Yelick and Armando Fox]

Synthesis of Reliable and Cost-Effective Cyber-Physical System Architectures
Nikunj Bajaj [advisor: Alberto L. Sangiovanni-Vincentelli]

Time-Division Duplexing Solutions for Wireless Transcievers
Amanda Pratt [advisor: Borivoje Nikolic]

Topics in Cell Phone Security
Jethro Beekman [advisor: David Wagner and John Louis Manferdelli]

Towards a Minimal Architecture for a Printable, Modular, and Robust Sensing Skin
Austin Buchan [advisor: Ronald S. Fearing]

Troubleshooting Blackbox SDN Control Software With Minimal Causal Sequences
Colin Scott [advisor: Scott Shenker]

4H-Silicon Carbide PN Diode for Harsh Environment Temperature Sensing Applications
Nuo Zhang [advisor: Albert Pisano]

5th Year M.S.

ACES: Automatic Evaluation of Coding Style
Stephanie Rogers [advisor: John F. Canny and Dan Garcia]

Automatic Functional Datapath Optimization
Wenyu Tang [advisor: Krste Asanović and Jonathan Bachrach]

Probabilistically Modeling Semantic Change
Aleksandr Nisnevich [advisor: Daniel Klein]