presented at NJPLS

I gave a talk at NJPLS December 2024 in New York on some ongoing work about symbolic reasoning for programs with effects on the file system.