Matthew Kolosick

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Parameter Tuning

Conditional Random Fields

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
Robust Constant-Time Cryptography. CoRR (2023)
Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. Proc. ACM Program. Lang. 6 (POPL) (2022)
Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. ECOOP (2021)
Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala
mist: Refinements of Futures Past (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version). CoRR (2021)
Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation Without Taxation: Near Zero Cost Transitions for SFI. CoRR (2021)