• Sign in
  • Sign up
conf.researchr.org / Zain K Aamer
  • ICFP/SPLASH 2025 profile
  • PLDI 2026 profile
  • POPL 2026 profile

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

  • 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
Share
xWed 22 Jul 22:17
using conf.researchr.org (v1.75.1)
Support page
Sign Up