Arjun Guha

Registered user since Fri 10 Apr 2015

Name:Arjun Guha
Country:United States
Affiliation:Northeastern University

Contributions

DLS 2021 PC Chair in Program Committee within the DLS 2021-track
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
DLS Chair in Organizing Committee
PLDI 2021 Committee Member in Virtualization Committee

Publicity Co-Chair in Organizing Committee
DLS 2020 Author of Wasm/k: Delimited Continuations for WebAssembly within the DLS 2020-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track
Committee Member in Program Commitee within the SPLASH-E-track
Mentor in Mentors within the PLMW-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
Session Chair of Type Systems (part of PLDI Research Papers)
SEConfig 2019 Committee Member in Program Committee within the SEConfig 2019-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2019 Committee Member in Program Committee within the Doctoral Symposium-track
Workshops Chair in Organizing Committee
Author of Formal Foundations of Serverless Computing within the OOPSLA-track
Session Chair of Distributed Systems (part of OOPSLA)
Workshops Co-Chair in Organizers within the Workshops-track
OCAP 2018 Committee Member in Program Committee within the OCAP 2018-track
SPLASH 2018 Workshops Chair in Organizing Committee
Session Chair of Parallelism and Performance (part of OOPSLA)
Chair in Organizers within the Workshops-track
Committee Member in External Reviewers within the OOPSLA-track
Mentor in Mentors within the Breakfasts-track
PPS 2018 Author of Interactive Writing and Debugging of Bayesian Probabilistic Programs within the PPS 2018-track
PLDI 2018 Session Chair of Inference for Probabilistic Programs (part of PLDI Research Papers)
Committee Member in Program Committee
Author of Putting in All the Stops: Execution Control for JavaScript within the PLDI Research Papers-track
PLDI 2016 Author of Rehearsal: A Configuration Verification Tool for Puppet within the Research Papers-track
Committee Member in Program Committee
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
Artifact Evaluation Co-Chair in Organizing Committee
ERC member in External Reviewing Committee
DLS 2013 Author of TejaS: Retrofitting Type Systems for JavaScript within the Research Papers-track
FOOL 2012 Author of Semantics and Types for Objects with First-Class Member Names within the FOOL 2012-track