Andrew W. Appel - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Fri 12 Jun 2020

Name:Andrew W. Appel

Affiliation:Princeton University

Personal website: http://www.cs.Princeton.EDU/~appel

GitHub: https://github.com/andrew_appel

Contributions

2024

POPL

CPP

VCFloat2: Floating-point error analysis in Coq

Show activities from other conferences

POPL 2024-profile
View general profile