Arjun Guha -

Registered user since Fri 10 Apr 2015

Name: Arjun Guha

Affiliation: Northeastern University

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

Twitter: https://twitter.com/arjunguha

GitHub: https://github.com/arjunguha

Contributions

PLDI 2021	Publicity Co-Chair in Organizing Committee
DLS	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