Registered user since Fri 15 May 2015
Name: Joseph Tassarotti
Affiliation: Boston College
Contributions
CPP 2021 | A Formal Proof of PAC Learnability for Decision Stumps | ||||||||||||||||||||||||||||||||||||||||
POPL 2021 | [T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile