Wed 7 Nov 2018 10:42 - 10:55 at Horizons 6-9F - NIER I Chair(s): Gail Kaiser

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
12m
Talk
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
12m
Talk
The Case for Experiment-Oriented Computing
New Ideas and Emerging Results
Paulo Salem Dell EMC
10:55
12m
Talk
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
12m
Talk
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
12m
Talk
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
12m
Talk
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
New Ideas and Emerging Results
11:47
12m
Talk
Towards Data-Driven Vulnerability Prediction for Requirements
New Ideas and Emerging Results
Sayem Mohammad Imtiaz Mississippi State University, Tanmay Bhowmik Mississippi State University