[Poster Presentation] Type-Level Latency Tracking with Placement Types
Date:
We propose a language design which makes latency and locations explicit and extracts static type-level bounds for a computation’s runtime latency.
- Poster presented at Student Research Competition @ POPL 2019
- Extended Abstract accepted at Student Research Competition @ POPL 2019 : A Core Calculus for Static Latency Trackingwith Placement Types
- Master Thesis: A Type System for Static Latency Tracking