Below are a collection of blog posts from my time at Galois; my involvement spanned from initial idea and final writing to mentoring and overseeing others’ work.
- 2023-09 Using GPT-4 to Assist in C to Rust Translation (PDF)
- 2023-08 Applying GPT-4 to SAW Formal Verification (PDF)
- 2023-03 Broken Clocks and Generative Models: Human-Machine Trust Can Be Ephemeral (PDF)
- 2022-06 LAGOON: An Analysis Tool for Open Source Communities (PDF)
- 2021-12 Should It Be Easier to Trust Machines or Harder to Trust Humans? (PDF)