Thomas Haas

According to our database, Thomas Haas authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models.

Thomas Haas, Roland Meyer, Hernán Ponce de León, Andrés Lomelí Garduño

Proc. ACM Program. Lang., 2026

2023

Static Analysis of Memory Models for SMT Encodings.

Thomas Haas, René Pascasl Maseli, Roland Meyer, Hernán Ponce de León

Proc. ACM Program. Lang., October, 2023

2022

CAAT: consistency as a theory.

Thomas Haas, Roland Meyer, Hernán Ponce de León

Proc. ACM Program. Lang., 2022

Dartagnan: SMT-based Violation Witness Validation (Competition Contribution).

Hernán Ponce de León, Thomas Haas, Roland Meyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models.

Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer

CoRR, 2021

Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution).

Hernán Ponce de León, Thomas Haas, Roland Meyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020