Osbert Bastani
发表
Osbert Bastani,
O. Bastani,
2019,
ArXiv.
Rajeev Alur,
Osbert Bastani,
Kishor Jothimurugan,
2020,
NeurIPS.
Angel X. Chang,
Christopher D. Manning,
Gabor Angeli,
2013,
TAC.
I-Ling Yen,
Osbert Bastani,
Liangliang Xiao,
2012,
IACR Cryptol. ePrint Arch..
Armando Solar-Lezama,
Osbert Bastani,
Xin Zhang,
2018,
ArXiv.
Alexander Aiken,
Osbert Bastani,
Saswat Anand,
2015,
MobileDeLi.
Isil Dillig,
Yu Feng,
Osbert Bastani,
2020,
CAV.
Rajeev Alur,
Osbert Bastani,
Kishor Jothimurugan,
2020,
AISTATS.
Alexander Aiken,
Osbert Bastani,
Saswat Anand,
2015,
POPL.
Osbert Bastani,
O. Bastani,
2019,
AISTATS.
Armando Solar-Lezama,
Xin Zhang,
Osbert Bastani,
2019,
ArXiv.
Mayur Naik,
Osbert Bastani,
Halley Young,
2019,
ICML.
Alexander Aiken,
Rahul Sharma,
Percy Liang,
2016,
PLDI.
Osbert Bastani,
Sadra Sadraddini,
Shen Shen,
2019,
NSV@CAV.
Himabindu Lakkaraju,
Osbert Bastani,
Alexis Ross,
2020,
ArXiv.
Mayur Naik,
Osbert Bastani,
Brian Heath,
2019,
ArXiv.
Osbert Bastani,
2019
.
Alexander Aiken,
Rahul Sharma,
Percy Liang,
2017,
PLDI.
Osbert Bastani,
Hamsa Bastani,
Carolyn Kim,
2017,
ArXiv.
Alexander Aiken,
Osbert Bastani,
Saswat Anand,
2016,
SIGSOFT FSE.
Alexander Aiken,
Rahul Sharma,
Osbert Bastani,
2019,
ECOOP.
Osbert Bastani,
Wenbo Zhang,
2019,
ArXiv.
Alexander Aiken,
Osbert Bastani,
Saswat Anand,
2015,
OOPSLA.
Osbert Bastani,
O. Bastani,
2019
.
Himabindu Lakkaraju,
Osbert Bastani,
Himabindu Lakkaraju,
2019,
AIES.
Osbert Bastani,
Hamsa Bastani,
Carolyn Kim,
2017,
ArXiv.
Alexander Aiken,
Osbert Bastani,
Saswat Anand,
2017,
ArXiv.
Rishabh Singh,
Aws Albarghouthi,
Mayur Naik,
2020,
ICML.
Armando Solar-Lezama,
Osbert Bastani,
Zenna Tavares,
2020,
ICLR.
Armando Solar-Lezama,
Osbert Bastani,
Yewen Pu,
2018,
NeurIPS.
Insup Lee,
Sangdon Park,
James Weimer,
2020,
AISTATS.
Antonio Criminisi,
Leonidas Lampropoulos,
Dimitrios Vytiniotis,
2016,
NIPS.
Insup Lee,
Nikolai Matni,
Sangdon Park,
2020,
ICLR.
Isil Dillig,
Osbert Bastani,
Jiayi Wei,
2019,
Proc. ACM Program. Lang..
Armando Solar-Lezama,
Osbert Bastani,
Xin Zhang,
2018,
Proc. ACM Program. Lang..
Isil Dillig,
Yu Feng,
Ruben Martins,
2016,
NDSS.
J. Maurice Rojas,
Osbert Bastani,
Christopher J. Hillar,
2011,
ArXiv.
Vijay Kumar,
Armando Solar-Lezama,
Martin C. Rinard,
2021,
NeurIPS.
Isil Dillig,
Yu Feng,
Ruben Martins,
2017,
PLDI.
Osbert Bastani,
Carolyn Kim,
O. Bastani,
2019,
ArXiv.
Ufuk Topcu,
Min Wen,
Osbert Bastani,
2019,
ArXiv.
Tao Xie,
Dawn Xiaodong Song,
Wei Yang,
2019,
ESEC/SIGSOFT FSE.
Himabindu Lakkaraju,
Nino Arsov,
Osbert Bastani,
2020,
ICML.
Osbert Bastani,
Dinesh Jayaraman,
Jeevana Priya Inala,
2020,
ArXiv.
Insup Lee,
Sangdon Park,
Osbert Bastani,
2020,
ArXiv.
Vijay Kumar,
Alejandro Ribeiro,
Chi Zhang,
2019,
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Shuo Li,
Osbert Bastani,
2020,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Osbert Bastani,
Yecheng Jason Ma,
Andrew Shen,
2021,
AAAI.
Osbert Bastani,
Hamsa Bastani,
Kan Xu,
2021,
ArXiv.
Martin Rinard,
Armando Solar-Lezama,
Osbert Bastani,
2021,
ArXiv.
Osbert Bastani,
Jeevana Priya Inala,
Yecheng Jason Ma,
2021,
ArXiv.
Osbert Bastani,
Dinesh Jayaraman,
Yecheng Jason Ma,
2021,
NeurIPS.
Rajeev Alur,
Osbert Bastani,
Kishor Jothimurugan,
2021,
AISTATS.
Rajeev Alur,
Osbert Bastani,
Suguman Bansal,
2021,
ArXiv.
Osbert Bastani,
Shuo Li,
Shuo Li,
2021,
Robotics: Science and Systems.
Favyen Bastani,
Osbert Bastani,
Songtao He,
2021,
Onward!.
Isil Dillig,
Osbert Bastani,
Greg Durrett,
2021,
PLDI.
Rajeev Alur,
Osbert Bastani,
Suguman Bansal,
2021,
NeurIPS.
Dan Roth,
Osbert Bastani,
Soham Dan,
2021,
EMNLP.
Edgar Dobriban,
Osbert Bastani,
Insup Lee,
2021,
ArXiv.
Osbert Bastani,
Hamsa Bastani,
Kan Xu,
2021,
ArXiv.
Martin Rinard,
Osbert Bastani,
Yewen Pu,
2021,
NeurIPS.
Osbert Bastani,
O. Bastani,
2021,
2021 American Control Conference (ACC).
Osbert Bastani,
Hamsa Bastani,
Kan Xu,
2021,
ICML.
Osbert Bastani,
Hamsa Bastani,
Wichinpong Park Sinchaisri,
2021,
ArXiv.
Ufuk Topcu,
Osbert Bastani,
Min Wen,
2019,
AISTATS.
Osbert Bastani,
O. Bastani,
2021,
ArXiv.
Alexander Aiken,
Percy Liang,
Osbert Bastani,
2016,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Osbert Bastani,
Hamsa Bastani,
2018
.