Schedule
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