Software Systems Laboratory

The Software Systems Laboratory (SSL) pursues basic research in all aspects of the design, implementation, evaluation, and verification of software systems. We conduct research with systems at all scales, from handheld devices to cloud computing data centers. We take an experimental systems approach in building real systems to investigate new research ideas. Particular areas of interest include cloud computing, distributed systems, formal methods, mobile computing, privacy, security, and software engineering.

Faculty

Students

Alumni

  • ladislav Adzic
  • Johan Andersen
  • Jeremy Andrus
  • Raghu Arur
  • Sarita Bafna
  • Ricardo Baratto
  • Jonah Benton
  • Bhaygyashree Bohra
  • Tony Capra
  • Bogdan Caprita
  • Linda Chan
  • Rebecca Collins
  • Dave Coulthart
  • Heming Cui
  • Christoffer Dall
  • Paolo de Dios
  • Yuly Finkelberg
  • Adrian Frei
  • Aner Fust
  • Yong Gao
  • Ravi Gadhia
  • John Gallagher
  • Akash Garg
  • Joanna Gilberti
  • Carla Goldburg
  • Rui Gu
  • Huayang Guo
  • Marshall Hayden
  • Paul Henley
  • Erik Hogstedt
  • Maoliang Huang
  • Patrick Huang
  • Michael Kalnicki
  • Shariar Kazi
  • Nate Kidwell
  • Joeng Kim
  • Leo Kim
  • Taek Joo Kim
  • Shilpa Krishnappa
  • Pavan-Kumar Josyula-Venkata
  • Rahul Joshi
  • Eugene Kim
  • Oren Laadan
  • Albert Lai
  • Ken Lee
  • Ozgur Can Leonard
  • Fei Li
  • Irina Likhtina
  • Hubert Lin
  • Dong Lou
  • Ilia Malkovitch
  • Aparna Mohla
  • Nathan Murith
  • Vijayarka Nandikonda
  • Naomi Novik
  • David Olshefski
  • Steven Osman
  • Carlos Perez
  • Dan Phung
  • Shaya Potter
  • Mahdi Sajjadpour
  • Matt Schulkind
  • Sara Schumacher
  • Neetha Maria Sebastian
  • Matt Selsky
  • Alex Sherman
  • Madhuri Shinde
  • Andrew Shu
  • Ari Steinfeld
  • Gong Su
  • Dinesh Subhraveti
  • Abhishek Surana
  • Francesco Tamburrino
  • Yue Hai Tan
  • Nikhil Tiwari
  • Rob Tobkes
  • Susan Tritto
  • Chia-che Tsai
  • Chris Vaill
  • Suchita Varshneya
  • Nicolas Viennot
  • Yunling Wang
  • Jingyue Wu
  • Ben Warfield
  • Boklyn Wong
  • S. Jae Yang
  • Ilho Ye
  • Erez Zadok
  • Lei Zhang
  • Haoqiang Zheng
  • Hua Zhong