Old Web
English
Sign In
Acemap
>
authorDetail
>
Matthew Kolosick
Matthew Kolosick
Computer science
Futures contract
Parallel computing
Context switch
Code (cryptography)
5
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.
2022
Proc. ACM Program. Lang.
Matthew Kolosick
Shravan Narayan
Evan Johnson
Conrad Watt
Michael LeMay
Deepak Garg
Ranjit Jhala
Deian Stefan
Show All
Source
Cite
Save
Citations (0)
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.
2021
ECOOP | European Conference on Object-Oriented Programming
Anish Tondwalkar
Matthew Kolosick
Ranjit Jhala
Show All
Source
Cite
Save
Citations (0)
mist: Refinements of Futures Past (Artifact).
2021
Anish Tondwalkar
Matthew Kolosick
Ranjit Jhala
Show All
Source
Cite
Save
Citations (0)
1