Meeting 58
Host: Bertrand Meyer
Location: Villebrumier, France
Dates: 3–7 October 2016
Talks
- Pamela Zave, My Last Talk on Chord
- June Andronick, Reasoning about Concurrency in OS code
- Carroll Morgan, An Owicki-Gries style for program-controlled interleaving
- Rajeev Joshi, Software Lessons from Curiosity
- Bart Jacobs, Modular Termination Verification
- David Pearce, Whiley: a Platform for Research in Software Verification
- Andrew Butterfield, A UTP Theory of Shared Variable Concurrency
- Patrick Cousot, Semantics and invariance proof method for weakly consistent parallelism
- Alex Summers, Quantified Permissions: Verification for point-wise specifications
- Bertrand Meyer, The truth about class invariants: there is a sanity clause
- Ian Hayes, Synchronous concurrent refinement algebra and justness
- Philippe Suter, OpenWhisk: Overview and research directions
- Ralph Back, eMath: From Calculational Style to Digital Math Education
- Sophia Drossopoulou, Towards Reasoning with code of unknown provenance -or- What are object capabilities for?
- Thomas Wies, Improving Type Error Localization
- Andreas Podelski, Active Verification Algorithms
- Azadeh Farzan, Synthesizing Parallelism
- Gerwin Klein, A Language Approach to Systems Code Verification
- Michael Butler, Deriving sequential programs from Event-B models: Combining programs and data refinement
- Radu Grigore, How to specify temporal properties for weak memory
- Rustan Leino, Certified intermediate verification language
- Natarajan Shankar, Adventures in Code Generation
- Philippa Gardner
- Annabelle McIver
- Bertrand Meyer
- Sophia Drossopoulou
- Cliff Jones, Expressiveness of notations for concurrency: reconsidering some prejudices!