Aaron Tomb -

Registered user since Sun 8 Jan 2017

Name:Aaron Tomb

Country:United States

Affiliation:Amazon Web Services

GitHub: https://github.com/atomb

Research interests:Verification, Formal Methods, Program Analysis

Contributions

2024

Dafny

2023

FTfJP

PC Chair in Program Committee within the FTfJP 2023-track

NFM

Committee Member in Program Committee within the NFM 2023-track

2021

SPLASH

Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track

2017

N40AI

Author of Abstract Interpretation at Galois within the Next 40 years of Abstract Interpretation-track

TTT

Invited Speaker of Invited Talk -- Type Theory in the Software Analysis Workbench within the TTT-track