Programme: 2018 Refinement WorkshopProgramme: 2018 Refinement WorkshopThe 2018 Refinement Workshop is affiliated with FM 2018 and is part of FLoC 2018, Oxford, UK.
The programme for the 2018 Refinement Workshop is as follows:
09:00-10:30 Session 125J
Chair: Brijesh Dongol
Location: Blavatnik LT2
09:00
Ahmed Bouajjani: Automated verification of linearizability
10:00
Graeme Smith, Kirsten Winter and Robert Colvin:
Correctness of Concurrent Objects under Weak Memory Models
10:30-11:00 Coffee Break
11:00-12:30 Session 127J
Chair:
Heike Wehrheim
Location: Blavatnik LT2
11:00
Ian J. Hayes:
Challenges of specifying concurrent program components
11:30
Marwa Ben Abdelali, Lamia Labed Jilani, Wided Ghardallou and Ali Mili:
Programming Without Refinement
12:00
Mathieu Montin and Marc Pantel:
Ordering strict partial orders to model behavioural refinement
12:30-14:00 Lunch Break
14:00-15:30 Session 128J
Chair:
John Derrick
Location: Blavatnik LT2
14:00
John Clark and David White:
A more relaxed way to make concrete: uses of heuristic search to discover implementations
15:30-16:00 Coffee Break
16:00-18:00 Session 130I
Chair:
Rob Colvin
Location: Blavatnik LT2
16:00
Emil Sekerinski and Shucai Yao:
Refining Santa: An Excercise in Efficient Synchronization
16:30
Eric Hehner:
a Theory of Lazy Imperative Timing
19:15-21:30 Workshops dinner at Magdalen College
Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).