Karnbongkot Boonriong - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Registered user since Tue 10 Dec 2024

Name:Karnbongkot Boonriong

Country:United States

Affiliation:Imperial College London

Personal website: https://www.linkedin.com/in/karnbongkot/

GitHub: https://github.com/kbuaaaaaa

Contributions

2025

Dafny

Randomised Testing of the Dafny Compiler: Into the CI

Show activities from other conferences

POPL 2025-profile
View general profile