Saikat Dutta

 

 

 

 

 

 

 

 

Curran Muhlberger

Owolabi Legunsen

Walker White

 

 

 

 

 

 

 

 

 

The software engineering group at Cornell is interested in all aspects of research and education on helping developers produce high-quality software. Our research necessarily includes the development of new automated techniques and approaches for tackling some of the biggest problems that developers face today. We are interested in creating new techniques, tools, processes, and methods that are grounded in careful studies of developer needs.

We are a young and growing group. Our current research strengths include software testing, quality assurance for machine-learning based systems, runtime verification, and making lightweight formal methods usable during everyday software development. 

We also seek to improve software engineering practice through teaching. Our courses give students the opportunity to construct large software features, occasionally for real clients, while employing effective techniques likely to be encountered in industry such as version control, code review, and continuous integration testing.

For latest updates, please visit the web pages of the faculty.

Selected Publications
  • ISSTA 2024. An In-depth Study of Runtime Verification Overheads during Software Testing. Kevin Guan and Owolabi Legunsen.
  • ICSE 2023. Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, and Lingming Zhang.
  • Computing in Science & Engineering 2023. Curran D. Muhlberger. Challenges and Techniques for Reproducible Simulations.
  • UAI 2023. ASTRA: Understanding the Practical Impact of Robustness for Probabilistic Programs. Zixin Huang, Saikat Dutta, and Sasa Misailovic.
  • SOSP 2023. Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. Jiawei Tyler Gu, Xudong Sun, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, and Tianyin Xu.
  • ISSTA 2023. More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, and Owolabi Legunsen.
  • RV 2023. eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. Ayaka Yorihiro, Pengyue Jiang, Valeria Marques, Benjamin Carleton, and Owolabi Legunsen.
  • ISSTA 2023. Extracting Inline Tests from Unit Tests. Yu Liu, Pengyu Nie, Ana Guo, Milos Gligoric, and Owolabi Legunsen.
  • TSE 2023. Runtime Verification of Crypto APIs: An Empirical Study. Adriano Torres, Pedro Costa, Luis Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d’Amorim, Owolabi Legunsen, Eric Bodden, and Edna Dias Canedo.
  • ASE 2022. Inline Tests. Yu Liu, Pengyu Nie, Owolabi Legunsen, and Milos Gligoric.
Recent News
Graduate Students

Kevin Guan
(PhD student)

Pengyue Jiang (PhD student, awarded a Cornell CS Department Fellowship in 2023)

Shinhae Kim (PhD student, awarded a Cornell CS Department Fellowship in 2024)

Elaine Yao
(PhD student)
Undergraduate Students

Alan Han (BS, Cornell)

Alex Kang (BS, Cornell)
Alumni
  • Yu Liu (PhD, Graduated Summer’24, co-advised with Milos Gligoric, won ACM SIGSOFT Distinguished Paper Award at ISSTA 2023, First job: Meta)
  • Valeria Marqués (MS, Graduated Spring’24, First Job: Apple)
  • Andres Hernandez Arciniegas (MEng, Graduated Spring’22. First Job: Komodo Health)
  • Tianxing Jiang (MEng, Graduated Spring’21. First Job: Citadel Securities, Chicago IL)
  • Rohan Kalluraya (BS, Cornell)
  • Zachary Thurston (BS, Graduated Spring’23. First Job: Goldman Sachs)
  • Tito Maresca (BS, Graduated Spring’23. First Job: JP Morgan Chase)
Related Courses