Programming

• Datalog for Program Analysis
  2024-06-13 · Ryan Williams
• Formalizing Program Analysis in Lean 4
  2025-04-03 · Ryan Williams