• Sign in
  • Sign up
conf.researchr.org / Matthew Kolosick
  • ECOOP and ISSTA 2021 profile
  • PLDI 2025 profile
  • POPL 2022 profile
  • POPL 2023 profile
No Photo

Registered user since Tue 22 Jun 2021

Name:Matthew Kolosick
Country:United States
Affiliation:University of California at San Diego

Contributions

2025

PLDI

  • Author of Robust Constant-Time Cryptography within the PLDI Research Papers-track

2023

PriSC

  • Author of Robust Constant-Time Cryptography within the PriSC 2023-track

2022

POPL

  • Author of Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI within the POPL-track

2021

ECOOP

  • 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
xFri 9 May 21:03
using conf.researchr.org (v1.69.0)
Support page
Sign Up