SRC Posters

SRC Posters
June 4th, Wednesday, 3:30 pm - 4:30 pm
Session Chairs:Romain Robbes, Aditya Nori
Room: TBA

Exception Handling for Dynamic Information Flow Control
Abhishek Bichhawat
(Saarland University, Germany)

Automatic Performance Modeling of Multithreaded Programs
Alexander Tarvo
(Brown University, USA)

Incremental Reachability Checking of KernelC Programs using Matching Logic
Alessandro Maria Rizzi
(Politecnico di Milano, Italy)

Exploiting Undefined Behaviors for Efficient Symbolic Execution
Asankhaya Sharma
(National University of Singapore, Singapore)

Identifying Caching Opportunities, Effortlessly
Alejandro Infante
(University of Chile, Chile)

Program Transformations to Fix C Buffer Overflow
Alex Shaw
(Auburn University, USA)

Characteristics of the Vulnerable Code Changes Identified through Peer Code Review
Amiangshu Bosu
(University of Alabama, USA)

Privacy and Security Requirements Framework for the Internet of Things (IoT)
Israa Alqassem
(Masdar Institute of Science and Technology, United Arab Emirates)