Bachelor's degrees
Only students who did a thesis or project for their degree are listed here.
Many others participated in research, graduated, and were even co-authors on published papers.
- Jonathan Grall
Advanced Undergraduate Project (2004): “Robocraft Programming Competition Engine”
Now at Electronic Arts
- Aaron Iba
Advanced Undergraduate Project (2004): “Robocraft Programming Competition Engine”
Now at AppJet, Inc.
- Michael Gebauer
Advanced Undergraduate Project (2006): “Extending the Personal Response System”
- David Harvison
Advanced Undergraduate Project (2009)
- Gareth Snow
Bachelor's project (2010): "Analysis of Mutation Testing Tools"
Now at Zillow
- Mahmood Ali
S.B. thesis (2010): "Type Annotations and Pluggable Type-Checking for Java"
- Timothy Vega
Bachelor's project (2012): "Traceur: Inferring Variable Control Flow Using Synoptic With Multiple Relation Types"
- Roykrong Sukkerd
B.S. thesis (2013): "Leveraging Data Invariants in Model Inference for Test Case Generation"
- Wing Lam
B.S. thesis (2013): "When Tests Collide: The Impact of Order-Dependent Tests on Test Prioritization"
- Nat Mote
B.S. thesis (2013): "Verification Games Type Systems"
- Rafael Vertido
... and many others who did research (and even got publications) but did
not turn it into a thesis or final project for their degree.
- Gustavo Santos (UROP)
- Faisal Anwar (UROP)
- Arjun Narayanswamy (UROP)
- Stanley Cheung (UROP)
- James Anderson (UROP)
- Emily Marcus (M.Eng.)
- Deepali Garg (UROP)
- Benjamin Wang (UROP)
- Robert Seater (Ph.D.)
- Alan Dunn (UROP)
- Vikash Mansinghka (UROP)
- Derek Rayside (Ph.D.)
- Jeff Mellen (M.Eng.)
- Iuliu Vasilescu (Ph.D.)
- Cemal Akcaba (M.Eng.)
- Samir Meghani (UROP)
- Jelani Nelson (UROP)
- Punyashloka Biswal (UROP)
- Joseph Sikoscow (UROP)
- Meng Mao (UROP)
- Galen Pickard (UROP)
- Kathryn Shih (UROP)
- Kevin Chevalier (UROP)
- Pramook Khungurn (UROP)
- Eric Fellheimer (M.Eng.)
- Sanjukta Pal (UROP)
- Arjun Dayal (UROP)
- Jeff Yuan
- Stephie Wu
- Charles Tam
- Telmo Correa
- John Marrero
- Matt Mullen
- David Koenig
- Tim Vega
- Peter Kalauskas (GSOC)
- David Lazar (GSOC)
- Artem Melentyev (GSOC)
- Asumu Takikawa (GSOC)
- Naomi Bancroft
- Michael Sloan
- Zachary Stein
- Jeff Gertler
- Yoong Woo Kim
- Laure Thompson
- Donovan Hunt
- Kevin Thai
- Allen Liu
- Mason Remy
- Mark Davis
- Michael Bayne
- Yingyi Bu
- Haochen Wei
- Andrew Davies
- Brian Walker
- Maria Angela Suhardi
- Abhishek Gupta
- Ravi Bhoraskar
(co-advised with David Wetherall)
- Philip Lai
- Jake Bailey
- Riley Klinger
- Paul Vines
- Eric Reed
- Yuxuan (Shawn) Zhang
- Luke Swart
- Rafael Vertido
- Gene Kim
- Katie Madonna
- Stuart Pernsteiner
- Alain Orbino
- Ping Srisakaokul
- Chris Chen (Christopher Wei-Chieh Chen) is working on changing existing Solstice infrastructure to
support detection and processing of atomic (compound) changes, such as
refactorings and undos. He is also working on proper detection and processing of
undo events.
- Max Han is working on proper detection and processing of refactorings.
- Jackson Cannon
- Akshay Chalana
- Kevin Bi
- Hiep Can
- Chandrakana Nandi
- Paulo Barros
- Sergio Delgado Castellanos
- Haoming Liu
- Kevin Vu
- Omar Alhadlaq
- Joe Santino
- Anmol (AJ) Jammu
- Abhishek Sangameswaran
- Rajas Agashe
- Steve Anton
- Christopher Mackie
- Deric Pang
- David Grant
- Omeed Magness
- Andrew Tran
- Yingru Feng
- Ethan Knutson
- Dmitriy Shepelev
- Sahil Verma
- Mrigank Arora
- Siddharth Bedekar
- Kush Gupta
- Jason Waataja
- Luxi Wang
- Diana Babirye
- Naman Gera
- Angela Lee
- Thanh Dang
- Thomas Schweizer
- Camille Price
- Matthew Arnold
- Mark Polyakov
- Ryan Featherman
-
Joshua Peterson
- Elliott Zackrone
-
Allan Ji
- Benedikt Schesch
- Benjamin Roberts
- Kenneth Yang
- Elli Beres
- Rushil Arun
- Tian Yu
- Yash Mathur
- Sascha Kehrli
Dummy text to satisfy HTML validator.