publications

Publications and manuscripts in reverse chronological order.

Manuscripts in preparation

Specification Preservation in LLM-Orchestrated Systems. Manuscript in preparation.

I am a first-year PhD student, and published papers will be listed here as they appear. You can also find my work on GitHub.