Matthew Kolosick

According to our database, Matthew Kolosick authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Robust Constant-Time Cryptography.

Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan

CoRR, 2023

2022

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.

Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

Proc. ACM Program. Lang., 2022

2021

mist: Refinements of Futures Past (Artifact).

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

Dagstuhl Artifacts Ser., 2021

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version).

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

CoRR, 2021

Isolation Without Taxation: Near Zero Cost Transitions for SFI.

Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

CoRR, 2021

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021