Although Secure Multiparty Computation (SMC) has seen considerable
devel...
A compiler's optimizer operates over abstract syntax trees (ASTs),
conti...
Unmanned Aerial Vehicles (UAVs) are an emerging computation platform kno...
In this paper, we describe our experience incorporating gradual types in...
Creating or modifying a primary index is a time-consuming process, as th...