Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jens Oliver Gutsfeld
conf.researchr.org general profile
POPL 2021 profile
POPL 2022 profile
POPL 2024 profile
Not registered as user
Name:
Jens Oliver Gutsfeld
Affiliation:
Westfälische Wilhelm-Universität Münster (WWU), Germany
Contributions
2024
POPL
Author of Deciding Asynchronous Hyperproperties for Recursive Programs within the POPL-track
VMCAI
Author of A Navigation Logic for Recursive Programs with Dynamic Thread Creation within the VMCAI 2024-track
2022
VMCAI
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
2021
POPL
Author of Automata and Fixpoints for Asynchronous Hyperproperties within the POPL-track
Share
x
Sat 21 Dec 18:58