Meeting 60
Host: Shriram Krishnamurthi
Location: Providence, RI
Dates: 7–11 May 2018
Talks
- Jay Misra, A small problem, better solved concurrently
- Doug McIlory, On omissions in verification
- Pamela Zave, Verification of Geo-distributed services
- Cliff Jones, Exploring limits of Rely-Guarantee approach
- Larissa Meinicke, Concurrent data refinement: finding a simple algebraic proof
- Manfred Broy, On Architecture Specification: Assertion Logic for Distributed Architectures
- Michael Jackson, Cyber-physical systems and the right-hand side problem
- Peter Höfner, Backwards and forwards in separation logic
- Gary Leavens, Better Framing in JML
- N. Shankar, Semantics of Datalog for the Evidential Tool Bus
- Toby Murray, Concurrent, Compositional Declassification without Reinventing the Wheel
- Emina Torlak, Finding code that explodes under symbolic evaluation
- Daniel Jackson, misbehavior
- Ernie Cohen, Reasoning about probabilistic choice with demonic nondeterminism
- Larissa Meinicke, Concurrent data refinement
- Ruzica Piskac, An Auditing Language for Preventing Correlated Failures in the Cloud
- Alberto Griggio, Towards proof-producing LTL model checkers
- Sophia Drossopoulou, Holistic Specifications: characterization of robustness
- Thomas Wies, A Simple Correctness Proof of Concurrent B+ Trees
- Joshua Guttman, Information Flow in distributed systems
- Michael Butler, Problems of Collision Avoidance for Autonomous Aircraft tracking in 3d space
- Gerwin Klein, A Concurrency Model for sel4
- Shriram Krishnamurthi, Some Thoughts on Computing Education