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