DLS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
SPLASH 2021 (series) / DLS 2021 (series) / Arjun Guha
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

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
TacTok: Semantics-Aware Proof Synthesis
DLS Chair in Organizing Committee
Solver-Based Gradual Type Migration
Show activities from other conferences

SPLASH 2021-profile
View general profile