论文与出版物 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
论文与出版物 Distributed Bounded Model Checking Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal FMCAD | July 2020 视频 项目
论文与出版物 A Dataset of Dockerfiles Jordan Henkel, Shuvendu Lahiri, Christian Bird, Thomas Reps ICSE 2020 | July 2020
论文与出版物 Excello: exploring spreadsheets for music composition Henry Mattinson, Advait Sarkar July 2020 advait.org | July 2020
论文与出版物 Evolving Methods for Evaluating and Disseminating Computing Research Ben Zorn, Tom Conte, Keith Marzullo, Suresh Venkatasubramanian | July 2020 作者:Computing Community Consortium (CCC)
论文与出版物 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 视频 项目 项目
论文与出版物 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
论文与出版物 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
论文与出版物 Effect Handlers, Evidently (Extended Version) Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen MSR-TR-2020-23 | July 2020 作者:Microsoft Extended version of the ICFP'20 article. 项目
论文与出版物 A Study on the Lifecycle of Flaky Tests Wing Lam, Kivanc Muslu, Hitesh Sajnani, Suresh Thummalapenta ICSE 2020 | July 2020