• Sign in
  • Sign up
conf.researchr.org / Matthew Kolosick
  • ECOOP and ISSTA 2021 profile
  • POPL 2022 profile

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

Share
xMon 15 Aug 21:28
using conf.researchr.org (v1.56.0)
Support page
Sign Up