DLS
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / DLS (series) / Arjun Guha
Arjun Guha

Registered user since Fri 10 Apr 2015

Name: Arjun Guha

Affiliation: Northeastern University

Personal website: https://cics.umass.edu/~arjun

Contributions

DLSAuthor of Wasm/k: Delimited Continuations for WebAssembly within the DLS-track
SPLASH 2020Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track
Committee Member in Program Commitee within the SPLASH-E-track
Show activities from other conferences

Using general profile