
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