Zain K Aamer - PLDI 2026

Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States

Registered user since Mon 8 Jan 2024

Name:Zain K Aamer

Country:United States

Affiliation:University of Pennsylvania

Personal website: https://zain-k-aamer.com/

GitHub: https://github.com/ZippeyKeys12

Contributions

2026

PLDI

Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows

Show activities from other conferences

PLDI 2026-profile
View general profile