KC Sivaramakrishnan

Latest

• A Mechanically Verified Garbage Collector for OCaml
• Automatically Verifying Replication-aware Linearizability
• Certified Mergeable Replicated Data Types
• Certified Mergeable Replicated Data Types