Jeevana Priya Inala
发表
Armando Solar-Lezama,
Rohit Singh,
Jeevana Priya Inala,
2016,
SAT.
Rishabh Singh,
Jeevana Priya Inala,
2018,
Proc. ACM Program. Lang..
Hadas Kress-Gazit,
Armando Solar-Lezama,
Thais Campos,
2019,
2019 International Conference on Robotics and Automation (ICRA).
Armando Solar-Lezama,
Osbert Bastani,
Zenna Tavares,
2020,
ICLR.
Armando Solar-Lezama,
Nadia Polikarpova,
Xiaokang Qiu,
2015,
TACAS.
Vijay Kumar,
Armando Solar-Lezama,
Martin C. Rinard,
2021,
NeurIPS.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2018,
ArXiv.
Wojciech Matusik,
Armando Solar-Lezama,
Daniela Rus,
2019,
ACM Trans. Graph..
Eddie Kohler,
Liuba Shrira,
Barbara Liskov,
2016,
EuroSys.
Armando Solar-Lezama,
Xiaokang Qiu,
Benjamin S. Lerner,
2015,
ArXiv.
Osbert Bastani,
Dinesh Jayaraman,
Jeevana Priya Inala,
2020,
ArXiv.
Martin Rinard,
Armando Solar-Lezama,
Osbert Bastani,
2021,
ArXiv.
Osbert Bastani,
Jeevana Priya Inala,
Yecheng Jason Ma,
2021,
ArXiv.
Martin Rinard,
Osbert Bastani,
Yewen Pu,
2021,
NeurIPS.