Matthew Kolosick -

Registered user since Tue 22 Jun 2021

Name:Matthew Kolosick

Country:United States

Affiliation:University of California at San Diego

Contributions

POPL 2022	Author of Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI within the POPL-track
ECOOP 2021	Author of mist: Refinements of Futures Past within the ECOOP Artifacts-track Author of Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types within the ECOOP Technical Papers-track