Thomas Haas -

Registered user since Fri 20 Aug 2021

Name:Thomas Haas

Country:Germany

Affiliation:TU Braunschweig

Personal website: https://www.tcs.cs.tu-bs.de/group/haas/home.html

Research interests:Weak Memory, Verification, Concurrency

Contributions

2026

SPLASH

Author of RAT-CAT-SAT: Model Checking Memory Consistency Models within the OOPSLA-track

POPL

Author of Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models within the POPL-track

2024

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2023

SPLASH

Author of Static Analysis of Memory Models for SMT Encodings within the OOPSLA-track

2022

SPLASH

Author of CAAT: Consistency as a Theory within the OOPSLA-track

VMCAI

Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track