Arjun Guha -

Registered user since Fri 10 Apr 2015

Name:Arjun Guha

Bio:

Mastadon: https://types.pl/@arjun

Country:United States

Affiliation:Northeastern University and Roblox Research

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

GitHub:https://github.com/arjunguha

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
ICSE 2023	Author of Flexible and Optimal Dependency Management via Max-SMT within the Technical Track-track
POPL 2023	Speaker of Formal Methods in Compilation & Implementation: Session Preview within the Session Previews-track
DLS 2022	PC Co-Chair in Program Committee within the DLS 2022-track
ISSTA 2022	Author of On the Use of Mutation Analysis For Evaluating Student Test Suite Quality within the Technical Papers-track
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
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
PLDI 2021	Committee Member in Virtualization Committee Publicity Co-Chair in Organizing Committee
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
DLS 2020	Author of Wasm/k: Delimited Continuations for WebAssembly within the DLS 2020-track
PLDI 2020	Committee Member in Program Committee within the PLDI Research Papers-track Session Chair of Type Systems (part of PLDI Research Papers)
POPL 2020	Committee Member in Program Committee within the Research Papers-track
SEConfig 2019	Committee Member in Program Committee within the SEConfig 2019-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
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
PPS 2018	Author of Interactive Writing and Debugging of Bayesian Probabilistic Programs within the PPS 2018-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