Introduction and Reception 3:00-3:15

Session I 3:15-4:30

Kevin Deweese Laplacian World Championships

Arya Pourzanja Inference of Circadian Networks Using Granger Causality

Antonio Bianchi What the App is That? Deception and Countermeasures in the Android User Interface

Vaibhav Arora Replication-Driven Solutions for tackling Variety of Big Data

Kevin Borgolte What You Submit is Who You Are: A Multi-Modal Approach for Deanonymizing Scientific Publications

May ElSherif Spatial Spectrum Measurements

Hiranya Jayathilaka Program Analysis and Runtime Monitoring for Deployment-time Governance of Web APIs

Ali Zand Your Camera Sells You Out

Veronika Strnadova-Neeley Clustering in Genetic Mapping

Break 4:30-4:45

Session II 4:45-5:45

Faisal Nawab Zero-Overhead NVM Crash Resilience

Theodore Georgiou Mining Social Media Complaints for Traffic-Jam Estimation

Danny Iland Evaluating Refugee Camp Cellular Coverage

Nilo Redini BinTrimmer: Trimming Binaries for Fun and Profit

Honglei Liu Data Clustering for Fast Motif Discovery

Joseph McMahan Functional Programming at the ISA Level: Building Correct, Secure, Proof-Carrying Hardware/Software Systems

Yan Shoshitaishvili Rear Entry: Identifying Backdoors in Firmware

Alexander Pucher Using Trustworthy Simulation to Engineer Cloud Schedulers

Fish Wang Steal This Movie: Automatically Bypassing DRM Protection in Streaming Media Services

Zhaoxia (Summer) Deng Adaptive Prediction Strategy for Automatically Scalable Computation

Jacopo Corbetta What Humans See, What Programs See

Announcement of Prize Winners