Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Doruk Alp Mutlu
conf.researchr.org general profile
POPL 2026 profile
Registered user since Wed 17 Dec 2025
Name:
Doruk Alp Mutlu
Affiliation:
Michigan State University
Contributions
2026
POPL
Author of Expanding Specification Capabilities of a Gradual Verifier with Pure Functions within the Student Research Competition-track
Share
x
Sun 8 Mar 03:42