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