Ankush Desai
发表
Sanjit A. Seshia,
Amar Phanishayee,
Ankush Desai,
2018,
Proc. ACM Program. Lang..
Sanjit A. Seshia,
Amar Phanishayee,
Ethan K. Jackson,
2015
.
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2015,
ESEC/SIGSOFT FSE.
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2018,
ISoLA.
Daniel J. Fremont,
Ankush Desai,
S. Seshia,
2018
.
Ankush Desai,
Wenting Zheng,
2014
.
Sanjit A. Seshia,
Daniel J. Fremont,
Marcell Vazquez-Chanlatte,
2018,
ATVA.
Ankush Desai,
2015
.
S. Qadeer,
Ankush Desai,
S. Seshia,
2017
.
S. Qadeer,
S. Rajamani,
Ankush Desai,
2015
.
Ankush Desai,
2014
.
Ankush Desai,
P. Madhusudan,
P. Garg,
2014
.
Damien Zufferey,
Ethan K. Jackson,
Ankush Desai,
2013,
PLDI.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Ankush Pankaj Desai,
Ankush Desai,
2019
.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
ArXiv.
David Broman,
Sanjit A. Seshia,
John C. Eidson,
2015,
CAV.
David Broman,
Sanjit A. Seshia,
Patricia Derler,
2014,
2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS).
Sanjit A. Seshia,
Ankush Desai,
Tommaso Dreossi,
2017,
RV.
Akash Lal,
Ankush Desai,
Shaz Qadeer,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Pranav Garg,
P. Madhusudan,
Ankush Desai,
2014,
OOPSLA 2014.
Aarti Gupta,
Ankush Desai,
Lauren Pick,
2023,
Proc. ACM Program. Lang..
Ankush Desai,
Shaz Qadeer,
S. Qadeer,
2017,
RV.
Sanjit A. Seshia,
Indranil Saha,
Ankush Desai,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).