J. Inala
发表
J. Inala,
2014
.
Dragomir R. Radev,
Oleksandr Polozov,
Jianfeng Gao,
2022,
ArXiv.
J. Inala,
2016
.
Shuvendu K. Lahiri,
M. Musuvathi,
Jianfeng Gao,
2022,
ArXiv.
Martin Rinard,
Osbert Bastani,
Yewen Pu,
2021,
NeurIPS.
Vijay Kumar,
Armando Solar-Lezama,
Martin C. Rinard,
2021,
NeurIPS.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2018,
ArXiv.
Armando Solar-Lezama,
Osbert Bastani,
Zenna Tavares,
2020,
ICLR.
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.
Yecheng Jason Ma,
Dinesh Jayaraman,
J. Inala,
2020,
2021 IEEE/CVF International Conference on Computer Vision (ICCV).
Armando Solar-Lezama,
J. Inala,
O. Bastani,
2020,
xxAI@ICML.
Dragomir R. Radev,
Oleksandr Polozov,
Jianfeng Gao,
2022,
ICLR.
Wojciech Matusik,
Armando Solar-Lezama,
Daniela Rus,
2019,
ACM Trans. Graph..
Shuvendu K. Lahiri,
M. Musuvathi,
Jianfeng Gao,
2022,
NeurIPS.
Colin B. Clement,
Cong Yan,
Jianfeng Gao,
2022,
DASH.
Shuvendu K. Lahiri,
S. Sen,
J. Inala,
2023,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Eddie Kohler,
Liuba Shrira,
Barbara Liskov,
2016,
EuroSys.
Todd Mytkowicz,
Nan Duan,
J. Inala,
2022,
Conference on Empirical Methods in Natural Language Processing.
Jianfeng Gao,
Armando Solar-Lezama,
J. Inala,
2023,
ArXiv.
Martin Rinard,
Armando Solar-Lezama,
Osbert Bastani,
2021,
ArXiv.
Armando Solar-Lezama,
Nadia Polikarpova,
Xiaokang Qiu,
2015,
TACAS.
D. Rus,
W. Matusik,
Tao Du,
2018,
ACM Trans. Graph..
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.
Armando Solar-Lezama,
Xiaokang Qiu,
Benjamin S. Lerner,
2015,
ArXiv.
Jianfeng Gao,
Armando Solar-Lezama,
J. Inala,
2023,
2306.09896.
J. Inala,
Chenglong Wang,
Theo X. Olausson,
2023,
ArXiv.
Sicun Gao,
Soonho Kong,
Armando Solar-Lezama,
2018,
ArXiv.
J. Inala,
Chandan Singh,
Jianfeng Gao,
2024,
ArXiv.
Osbert Bastani,
Jeevana Priya Inala,
Yecheng Jason Ma,
2021,
ArXiv.
Yecheng Jason Ma,
Armando Solar-Lezama,
J. Inala,
2020
.
Armando Solar-Lezama,
Rohit Singh,
Jeevana Priya Inala,
2016,
SAT.