Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Klose
conf.researchr.org general profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 3 Aug 2026
Name:
Nicolas Klose
Country:
Switzerland
Affiliation:
ETH Zurich
Contributions
2026
SPLASH
Author of Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands within the OOPSLA-track
SPLASH/ISSTA
Author of Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification within the Tool Demonstrations-track
Share
x
Sat 31 Oct 20:53