Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan Grünke
conf.researchr.org general profile
SPLASH/ISSTA 2026 profile
Registered user since Thu 19 Mar 2026
Name:
Jan Grünke
Country:
Germany
Affiliation:
TU Braunschweig
Contributions
2026
SPLASH
Author of RAT-CAT-SAT: Model Checking Memory Consistency Models within the OOPSLA-track
Share
x
Tue 5 May 06:37