Arjun Guha

Registered user since Fri 10 Apr 2015

Name:Arjun Guha
Country:United States
Affiliation:Northeastern University and Roblox Research

Contributions

‹Programming› 2024 Committee Member in Program Committee within the Research Papers-track
MSR 2023 Author of A Large Scale Analysis of Semantic Versioning in NPM within the Technical Papers-track
SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ECOOP 2023 Author of Do Machine Learning Models Produce TypeScript Types that Type Check? within the Research Papers-track
ICSE 2023 Author of Flexible and Optimal Dependency Management via Max-SMT within the Technical Track-track
Author of Artifact for Flexible and Optimal Dependency Management via Max-SMT within the Artifact Evaluation-track
Mutation 2023 Author of A Tool for Mutation Analysis in Racket within the Mutation 2023-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