Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ankush Desai
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ICST 2023 profile
ICST 2024 profile
PLDI 2018 profile
PLDI 2019 profile
SPLASH 2014 profile
SPLASH 2018 profile
Registered user since Mon 18 Dec 2017
Name:
Ankush Desai
Affiliation:
University of California, Berkeley
Personal website:
http://ankushdesai.com/
Contributions
2024
ICST
PC Member in Program Committee within the Industry-track
2023
ICST
Committee Member in Program Committee within the Industry-track
2019
PLDI
Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track
2018
AGERE
Author of Compositional Programming and Testing of Actor Programs within the AGERE-track
SPLASH
Author of Compositional Programming and Testing of Dynamic Distributed Systems within the OOPSLA-track
Author of Compositional Programming and Testing of Dynamic Distributed Systems within the Posters-track
ECOOP
Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI
Committee Member in Artifact Evaluation Committee
2014
SPLASH
Author of Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants within the OOPSLA-track
Share
x
Fri 13 Jun 14:09
