January 9 @ 11:00 am - 1:00 pm Practical Verification of Distributed Systems: Streamlining Safety Proofs Using Invariant Taxonomies, and Verifying Latency Properties Using Symbolic Latency 3941 Beyster Building 2260 Hayward Street, Ann Arbor