Arjun Radhakrishna
发表
Sumit Gulwani,
Anna Fariha,
Arjun Radhakrishna,
2020,
SIGMOD Conference.
Sumit Gulwani,
Abhik Roychoudhury,
Gustavo Soares,
2021,
Proc. ACM Program. Lang..
Manisha M Shetty,
Arjun Radhakrishna,
Chetan Bansal,
2022,
ESEC/SIGSOFT FSE.
S. Garg,
Ranjita Bhagwan,
Arjun Radhakrishna,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
A. Tiwari,
Sumit Gulwani,
Yuhao Zhang,
2022,
Proc. ACM Program. Lang..
Sumit Gulwani,
Ashish Tiwari,
Shraddha Barke,
2020,
Proc. ACM Program. Lang..
Sumit Gulwani,
Ashish Tiwari,
Vu Le,
2021,
Proc. ACM Program. Lang..
Sumit Gulwani,
Abhishek Udupa,
Ashish Tiwari,
2019,
Proc. ACM Program. Lang..
A. Tiwari,
Sumit Gulwani,
A. Meliou,
2021,
SIGMOD Conference.
A. Tiwari,
Sumit Gulwani,
A. Meliou,
2020,
ArXiv.
A. Tiwari,
Sumit Gulwani,
Saikat Chakraborty,
2023,
ArXiv.
Arun Shankar Iyer,
S. Rajamani,
Arjun Radhakrishna,
2022,
PLDI.
A. Tiwari,
Sumit Gulwani,
Vu Le,
2023,
Proc. ACM Program. Lang..
Sumit Gulwani,
Abhishek Udupa,
Ashish Tiwari,
2019,
ArXiv.
A. Tiwari,
Sumit Gulwani,
Zhengkai Wu,
2022,
ESEC/SIGSOFT FSE.
Sumit Gulwani,
Saikat Chakraborty,
Arjun Radhakrishna,
2023,
ESEC/SIGSOFT FSE.
A. Tiwari,
Sumit Gulwani,
Saikat Chakraborty,
2023,
ArXiv.