APA (7th ed.) Citation

Mell, S., Zdancewic, S., & Bastani, O. (2026). Optimal Program Synthesis via Abstract Interpretation.

Chicago Style (17th ed.) Citation

Mell, Stephen, Steve Zdancewic, and Osbert Bastani. Optimal Program Synthesis via Abstract Interpretation. 2026.

MLA (9th ed.) Citation

Mell, Stephen, et al. Optimal Program Synthesis via Abstract Interpretation. 2026.