Joshua Turcotti - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Tue 17 Jan 2023

Name:Joshua Turcotti

Affiliation:Cornell University

Contributions

2023

POPL

Wisening Assertions: A live Bayesian reasoning system for probabilistic correctness

Show activities from other conferences

POPL 2023-profile
View general profile