VSL 2014: VIENNA SUMMER OF LOGIC 2014

VSTTE ON FRIDAY, JULY 18TH: TALK VIEW

Days:
previous day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
08:45-09:10
Store Buffer Reduction with MMUs
Mikhail Kovalev, Ernie Cohen, Geng Chen
09:10-09:35
Separation Kernel Verification: the XtratuM Case Study
David Sanan, Andrew Butterfield, Michael Hinchey
09:35-10:00
Separation algebras for C verification in Coq
Robbert Krebbers
10:00-10:15
Automatically verified implementation of data structures based on AVL trees (SHORT)
Martin Clochard
10:45-11:45
Up and Out: Scaling Formal Analysis Using Model-Based Development and Architecture Modeling
Michael Whalen
11:45-12:10
A logical analysis of framing for specifications with pure method calls
Anindya Banerjee, David Naumann
12:10-12:35
A certifying frontend for (sub)polyhedral abstract domains
Alexis Fouilhe, Sylvain Boulmé
12:35-13:00
Certification of Nontermination Proofs using Strategies and Nonlooping Derivations
Julian Nagele, René Thiemann, Sarah Winkler
14:30-14:55
Model Checking Parameterized Timed Systems
Luca Spalazzi, Francesco Spegni
14:55-15:20
Timed Refinements for Verification of Real-Time Object Code Programs
Mohana Asha Latha Dubasi, Sudarshan Srinivasan, Vidura Wijayasekara
15:20-15:45
Formal Modeling and Verification of CloudProxy
Wei Yang Tan, Rohit Sinha, John Manferdelli, Sanjit Seshia
16:30-18:00 Verified Software Competition (VSCOMP 2014)
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program