Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | NIER INew Ideas and Emerging Results at Horizons 6-9F Chair(s): Gail Kaiser Columbia University, New York | ||
10:30 12mTalk | Gamifying Static Analysis New Ideas and Emerging Results Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
10:42 12mTalk | The Case for Experiment-Oriented Computing New Ideas and Emerging Results Paulo Salem Dell EMC | ||
10:55 12mTalk | On the Naturalness of Proofs New Ideas and Emerging Results Vincent J. Hellendoorn University of California at Davis, USA, Amin Alipour University of Houston, Prem Devanbu University of California | ||
11:08 12mTalk | Does ACM's Code of Ethics Change Ethical Decision Making in Software Development? New Ideas and Emerging Results Andrew McNamara North Carolina State University, Justin Smith North Carolina State University, Emerson Murphy-Hill North Carolina State University Pre-print | ||
11:21 12mTalk | How Are Spreadsheet Templates Used in Practice: A Case Study on Enron New Ideas and Emerging Results Liang Xu Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Chushu Gao Institute of Software, Chinese Academy of Sciences, Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao Huang Institute of Software Chinese Academy of Sciences | ||
11:34 12mTalk | DLFuzz: Differential Fuzzing Testing of Deep Learning Systems New Ideas and Emerging Results | ||
11:47 12mTalk | Towards Data-Driven Vulnerability Prediction for Requirements New Ideas and Emerging Results | ||