Writing

• Publications:
  • Bring Your Own Data Structures to Datalog (OOPSLA ’23, distinguished paper award)
• Galois Blog:
  • MATE: Interactive Program Analysis with Code Property Graphs
  • A Visual Guide to Pointer Analysis with cclyzer++: Part 1
  • cclyzer++: Scalable and Precise Pointer Analysis for LLVM
  • Under-Constrained Symbolic Execution with Crucible
  • Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code
• Personal Blog:
  • Survey of Static Reasoning in Haskell
  • Fun with Mypy: Reifying Runtime Relations on Types
  • A Quick Tutorial on Setoids in Coq