Thomas Wahl -

Registered user since Tue 22 Aug 2017

Name:Thomas Wahl

Country:United States

Affiliation:GrammaTech, Inc.

Research interests:software verification, infinite-state systems, stable numeric computation

Contributions

2022

PLDI

2018

PLDI

Author of CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs within the PLDI Research Papers-track

VMCAI

Committee Member in Program Committee within the VMCAI 2018-track

2017

VMCAI

Author of Stabilizing Floating-Point Programs using Provenance Analysis within the VMCAI-track