Wed 7 Nov 2018 11:08 - 11:21 at Horizons 6-9F - NIER I Chair(s): Gail Kaiser

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: NIER INew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York
10:30 - 10:42
Talk
Gamifying Static Analysis
New Ideas and Emerging Results
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:42 - 10:55
Talk
The Case for Experiment-Oriented Computing
New Ideas and Emerging Results
Paulo SalemDell EMC
10:55 - 11:08
Talk
On the Naturalness of Proofs
New Ideas and Emerging Results
Vincent HellendoornUniversity of California at Davis, USA, Amin AlipourUniversity of Houston, Prem DevanbuUniversity of California
11:08 - 11:21
Talk
Does ACM's Code of Ethics Change Ethical Decision Making in Software Development?
New Ideas and Emerging Results
Andrew McNamaraNorth Carolina State University, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University
Pre-print
11:21 - 11:34
Talk
How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
New Ideas and Emerging Results
Liang XuInstitute of Software Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao HuangInstitute of Software Chinese Academy of Sciences
11:34 - 11:47
Talk
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
New Ideas and Emerging Results
11:47 - 12:00
Talk
Towards Data-Driven Vulnerability Prediction for Requirements
New Ideas and Emerging Results
Sayem Mohammad ImtiazMississippi State University, Tanmay BhowmikMississippi State University