PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
Wed 14 Jan 2015 09:00 - 09:30 at AG80 - Verification Chair(s): Konstantinos (Kostis) Sagonas

Wed 14 Jan

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:00 - 10:30
VerificationPEPM 2015 at AG80
Chair(s): Konstantinos (Kostis) Sagonas Uppsala University / NTUA
09:00
30m
Talk
Verifying Relational Properties of Functional Programs by First-Order Refinement
PEPM 2015
Kazuyuki Asada University of Tokyo, Ryosuke Sato University of Tokyo, Naoki Kobayashi University of Tokyo
09:30
30m
Talk
Threads as Resource for Concurrency Verification
PEPM 2015
Duy-Khanh Le National University of Singapore, Wei-Ngan Chin National University of Singapore, Yong Meng Teo National University of Singapore
10:00
30m
Talk
Constraint Specialisation in Horn Clause Verification
PEPM 2015
Bishoksan Kafle Roskilde University, John P. Gallagher Roskilde University