Sun 7 Jan 2018 14:00 - 14:30 at Watercourt - Verification Chair(s): Jeffrey S. Foster

Sun 7 Jan

Displayed time zone: Tijuana, Baja California change

14:00 - 15:30
VerificationVMCAI at Watercourt
Chair(s): Jeffrey S. Foster University of Maryland, College Park
14:00
30m
Talk
Gradual Program Verification
VMCAI
Johannes Bader Microsoft, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile
14:30
30m
Talk
A Logical System for Modular Information Flow Verification
VMCAI
Adi Prabawa National University of Singapore, Mahmudul Faisal Al Ameen National University of Singapore, Benedict Lee National University of Singapore, Wei-Ngan Chin National University of Singapore
15:00
30m
Talk
P5: Planner-less Proofs of Probabilistic Parameterized Protocols
VMCAI
Lenore Zuck , Kenneth L. McMillan Microsoft Research, Jordan Torf UIC