Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. - Anish Tondwalkar; Matthew Kolosick; Ranjit Jhala (ECOOP, 2021)

Isolation Without Taxation: Near Zero Cost Transitions for SFI. - Matthew Kolosick; Shravan Narayan; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (CoRR, 2021)

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version). - Anish Tondwalkar; Matthew Kolosick; Ranjit Jhala (CoRR, 2021)

mist: Refinements of Futures Past (Artifact). - Anish Tondwalkar; Matthew Kolosick; Ranjit Jhala (Dagstuhl Artifacts Ser., 2021)

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. - Matthew Kolosick; Shravan Narayan; Evan Johnson 001; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2022)

Robust Constant-Time Cryptography. - Matthew Kolosick; Basavesh Ammanaghatta Shivakumar; Sunjay Cauligi; Marco Patrignani; Marco Vassena; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2025)