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