Projects

Py2Smt – A compiler that converts Python to logical representations for verification purposes

SLACC – A syntax-guided PBE synthesizer for Python

My notes from the Oregon Programming Languages Summer School ’23 can be found here.