Publication An Empirical Study of Software Exceptions in the Field using Search Logs Foyzul Hassan, Chetan Bansal, Nachi Nagappan, Tom Zimmermann, Ahmed Awadallah ESEM 2020 | July 2020
Publication Distributed Bounded Model Checking Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal FMCAD | July 2020 Video Project
Publication Automated Bug Reproduction from User Reviews for Android Applications Shuyue Li, Jiaqi Guo, Ming Fan, Jian-Guang Lou, Qinghua Zheng, Ting Liu ICSE 2020 | July 2020
Publication Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal FMCAD | July 2020 Best paper award Video Project Project
Publication Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language? Nischal Shrestha, Colton Botta, Titus Barik, Chris Parnin 42nd International Conference on Software Engineering (ICSE) | July 2020
Publication Effect Handlers, Evidently (Extended Version) Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen MSR-TR-2020-23 | July 2020 Published by Microsoft Extended version of the ICFP'20 article. Project
Publication Excello: exploring spreadsheets for music composition Henry Mattinson, Advait Sarkar July 2020
Publication Evolving Methods for Evaluating and Disseminating Computing Research Ben Zorn, Tom Conte, Keith Marzullo, Suresh Venkatasubramanian | July 2020 Published by Computing Community Consortium (CCC)
Publication DeepMutation: a neural mutation tool Michele Tufano, Jason Kimko, Shiya Wang, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Denys Poshyvanyk 2020 International Conference on Software Engineering | June 2020
Publication On learning meaningful assert statements for unit test cases Cody Watson, Michele Tufano, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk 2020 International Conference on Software Engineering | June 2020
