Ravi Mangal
发表
Xin Zhang,
Radu Grigore,
Hongseok Yang,
2014,
PLDI 2014.
Alessandro Orso,
Ravi Mangal,
Kartik Sarangmath,
2020,
SAS.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
POPL.
Hongseok Yang,
Mayur Naik,
Ravi Mangal,
2014,
ESOP.
Xin Zhang,
Hongseok Yang,
Mayur Naik,
2014,
PLDI.
Alessandro Orso,
Ravi Mangal,
Aditya V. Nori,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
ESEC/SIGSOFT FSE.
Alessandro Orso,
John T. Stasko,
Ravi Mangal,
2018
.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
SAT.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
AAAI.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
OOPSLA.
Corina S. Pasareanu,
Bryan Parno,
Matt Fredrikson,
2021,
ArXiv.
Ravi Mangal,
2021
.