Zain K Aamer -

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

SPLASH

Author of Random Testing via Runtime Abstract Interpretation within the OOPSLA-track

SPLASH/ISSTA

Author of Property-based Testing of Separation Logic Specifications (Long Talk) within the Doctoral symposium-track
Author of Property-based Testing of Separation Logic Specifications within the Doctoral symposium-track

PLDI

Author of Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows within the PLDI Research Papers-track

TPSA

Author of Gradually Retrofitting Assurance into Systems Software: A Separation-Logic Approach within the TPSA 2026-track

2025

SPLASH

Author of Bennet: Randomized Specification Testing for Heap-Manipulating Programs within the OOPSLA-track