Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zafer Esen
conf.researchr.org general profile
FSEN 2025 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
POPL 2025 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Zafer Esen
Country:
Sweden
Affiliation:
Uppsala University
Contributions
2026
SPLASH
Author of Sound and Complete Invariant-Based Heap Encodings within the OOPSLA-track
2025
FSEN
Author of Finding Universally Quantified Heap Invariants by Horn Clause Transformations within the Research Papers-track
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2025-track
2023
NWPT
Author of Verification of Extended Quantifiers Using Instrumentation Operators within the NWPT 2023-track
Share
x
Sun 19 Apr 13:12