Arjun Guha -

Registered user since Fri 10 Apr 2015

Name:Arjun Guha

Country:United States

Affiliation:Northeastern University

Personal website:http://khoury.northeastern.edu/~arjunguha

Twitter:https://twitter.com/arjunguha

GitHub:https://github.com/arjunguha

Contributions

PLDI 2022	Publicity Co-Chair in Organizing Committee
DLS 2021	Session Chair of DLS Talks 1 (part of DLS 2021) Session Chair of DLS Talks 2 (part of DLS 2021) PC Chair in Program Committee within the DLS 2021-track
SPLASH 2021	Committee Member in Review Committee within the OOPSLA-track Author of TacTok: Semantics-Aware Proof Synthesis within the SIGPLAN Papers-track DLS Chair in Organizing Committee Author of Solver-Based Gradual Type Migration within the OOPSLA-track
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