Search filters

List of works by Deepak Garg

A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs

scientific article published on 08 October 2024

Groundhog: Efficient Request Isolation in FaaS

scientific article published on 05 May 2023

Higher-order probabilistic adversarial computations: categorical semantics and program logics

scientific article published on 19 August 2021

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI

scientific article

Pirouette: higher-order typed functional choreographies

scientific article published on 12 January 2022

Program Analysis for Adaptive Data Analysis

scientific article published on 20 June 2024

Toast: A Heterogeneous Memory Management System

scientific article published on 11 October 2024

Paulina is supported by:

About Paulina

Help