A Core Calculus for Static Latency Tracking with Placement Types

07/30/2020
by   Tobias Reinhard, et al.
0

Developing efficient geo-distributed applications is challenging as programmers can easily introduce computations that entail high latency communication. We propose a language design which makes latency explicit and extracts type-level bounds for a computation's runtime latency. We present our initial steps with a core calculus that enables extracting provably correct latency bounds and outline future work.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset