Meeting 62
Host: Natarajan Shankar
Location: Los Altos
Dates: 28 October – 1 November 2019
Talks
- Rajeev Joshi, An introduction to Rust
- Peter Müller, Modular Verification of Safe Rust Programs
- Pamela Zave, Plan for a Research Project
- Rustan Leino, Cheaper Compiler Correctness
- Manfred Broy, It is Time for Time: Semantic Foundation and a Calculus for Specification and Verification for Concurrent Distributed Interactive Systems (CoDIS) without tears
- Alberto Griggio, SMT-based satisfiability for continuous-time temporal logic
- Gerwin Klein, Mechanising Bilateral Proof
- Toby Murray, Practical Verified Information Flow for Concurrent Programs
- Graeme Smith
- Michael Butler, A bit Rust-y: Abstraction/refinement for functional correctness of tree algorithms
- Rajeev Joshi, Concurrency in Rust
- Stephan Merz, Another Look at Auxiliary Variables
- Ian Hayes, How does one specify a concurrent abstract data type?
- Daniel Jackson, Certified Control
- Clark Barrett, Towards Verification of Deep Neural Networks
- Mike Dodds, Repairable Software Proofs
- Sam Blackshear
- Natarajan Shankar, Redesigning Computing with Efficient Arguments
- Corina Pasareanu, Compositional Reasoning and Neural Networks
- Rustan Leino
- Oded Padon
- Yoni Zohar, Bit-vectors of Arbitrary Width