• academic publications:
  • DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs.
    • Presented at POPL 2026.
• scientific software:
  • HiRise, LineUP, InReach CT scanners
  • Swoop MRI scanner
  • OEC 3D C-arm
• free software:
  • SRFI 252: Property Testing extension for Scheme
  • free software summary
• writing
• demos

These external links may have outdated or incorrect info.

• publications @ DBLP / arXiv / ORCiD / ACM
• writing @ The Tufts Daily
• demos @ Demozoo
• sports stats @ HEMA Rankings