Zafer Esen -

Registered user since Fri 15 May 2026

Name:Zafer Esen

Country:Sweden

Affiliation:Uppsala University

Personal website: https://zafer-esen.github.io/

GitHub: https://github.com/zafer-esen

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