Aditya Desai
Aditya Desai
Email verificata su rice.edu
Titolo
Citata da
Citata da
Anno
Program synthesis using natural language
A Desai, S Gulwani, V Hingorani, N Jain, A Karkare, M Marron, S Roy
Proceedings of the 38th International Conference on Software Engineering …, 2016
582016
Program synthesis using natural language
A Desai, S Gulwani, V Hingorani, N Jain, A Karkare, M Marron, S Roy
Proceedings of the 38th International Conference on Software Engineering …, 2016
582016
Facilitating Verification in Program Loops by Identification of Static Iteration Patterns
A Desai, E Jain, S Roy
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 83-90, 2013
12013
Active Sampling Count Sketch (ASCS) for Online Sparse Estimation of a Trillion Scale Covariance Matrix
Z Dai, A Desai, R Heckel, A Shrivastava
arXiv preprint arXiv:2010.15951, 2020
2020
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4