Home » #62 Los Altos

#62 Los Altos

Los Altos

Dates: 28 October — 1 November, 2019
Host: Natarajan Shankar
Location: The Jesuit Retreat Center (JRC) of Los Altos


  • 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