Concepedia

Ankush Desai

AD

Statistics

Publications

6

Citations

324

H-Index

6

Active since

2013

Affiliations

Microsoft (United States)(Current)

University of California, Berkeley

Institute of Science and Technology Austria

Microsoft (India)

Ankush Desai is an author at Microsoft (United States) specializing in computer science, computing, and computer systems.

ORCID

Publications per year

2013–2018

6

Publications

6

P

Ankush Desai, Vivek Gupta, Ethan K. Jackson et al. · 2013 · 123 citations

, , +14

DRONA

Ankush Desai, Indranil Saha, Jianqiao Yang et al. · 2017 · 73 citations

, , +15

P

Ankush Desai, Vivek Gupta, Ethan K. Jackson et al. · ACM SIGPLAN Notices · 2013 · 44 citations

, , +14

Natural proofs for asynchronous programs using almost-synchronous reductions

Ankush Desai, Pranav Garg, P. Madhusudan · 2014 · 32 citations

, , +15

Systematic testing of asynchronous reactive systems

Ankush Desai, Shaz Qadeer, Sanjit A. Seshia · 2015 · 30 citations · Full text

, , +13

1–5 of 6