Swarat Chaudhuri
发表
Swarat Chaudhuri,
Ichiro Hasuo,
Kengo Kido,
2015,
SNR@CAV.
Swarat Chaudhuri,
Charles A. Sutton,
Dipak Chaudhari,
2018,
NeurIPS.
Swarat Chaudhuri,
Rajeev Alur,
P. Madhusudan,
2011,
TOPL.
Swarat Chaudhuri,
Chris Jermaine,
Vijayaraghavan Murali,
2017,
ArXiv.
Swarat Chaudhuri,
Swarat Chaudhuri,
2007
.
Swarat Chaudhuri,
Daniel Kifer,
Domagoj Babic,
2013,
ACSAC.
Swarat Chaudhuri,
Yue Wang,
Lydia E. Kavraki,
2018,
AAMAS.
Swarat Chaudhuri,
Yu Yang,
Chao Wang,
2009,
ESEC/FSE '09.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2011,
ESEC/FSE '11.
Swarat Chaudhuri,
Swarat Chaudhuri,
2008,
POPL '08.
Swarat Chaudhuri,
Roberto Lublinerman,
2009
.
Swarat Chaudhuri,
Chris Jermaine,
David Melski,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Swarat Chaudhuri,
Andrey Rybalchenko,
Tewodros A. Beyene,
2014,
POPL.
Abhinav Verma,
Swarat Chaudhuri,
Pushmeet Kohli,
2018,
ICML.
Swarat Chaudhuri,
Moshe Y. Vardi,
Suguman Bansal,
2018,
CAV.
Swarat Chaudhuri,
Sriram Sankaranarayanan,
Moshe Y. Vardi,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Swarat Chaudhuri,
Sriram Sankaranarayanan,
Aarti Gupta,
2008,
ISSTA '08.
Swarat Chaudhuri,
Chris Jermaine,
Scott Rixner,
2014,
2014 IEEE International Conference on Data Mining.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2010,
POPL '10.
Swarat Chaudhuri,
Ichiro Hasuo,
Kengo Kido,
2015,
VMCAI.
Swarat Chaudhuri,
Lydia E. Kavraki,
Neil T. Dantam,
2018,
IEEE Robotics & Automation Magazine.
Vivek Sarkar,
Swarat Chaudhuri,
John M. Mellor-Crummey,
2014,
PLDI.
Vivek Sarkar,
Swarat Chaudhuri,
Zoran Budimlic,
2011,
OOPSLA '11.
Abhinav Verma,
Swarat Chaudhuri,
Yisong Yue,
2019,
NeurIPS 2019.
Swarat Chaudhuri,
Armando Solar-Lezama,
Martin Clochard,
2014,
POPL.
Swarat Chaudhuri,
Jyotirmoy V. Deshmukh,
Roopsha Samanta,
2013,
VMCAI.
Swarat Chaudhuri,
Thomas W. Reps,
Matthew Amodio,
2017,
ArXiv.
Abhinav Verma,
Swarat Chaudhuri,
Yisong Yue,
2020,
NeurIPS.
Sumit Gulwani,
Swarat Chaudhuri,
Jeffrey S. Foster,
2011,
PLDI '11.
Swarat Chaudhuri,
Roberto Lublinerman,
2012
.
Swarat Chaudhuri,
Armando Solar-Lezama,
2012,
CAV.
Swarat Chaudhuri,
Zachary Kincaid,
Azadeh Farzan,
2014,
POPL.
Isil Dillig,
Swarat Chaudhuri,
John K. Feser,
2015,
PLDI.
Swarat Chaudhuri,
Pavol Cerný,
Arjun Radhakrishna,
2010,
CAV.
Swarat Chaudhuri,
Lydia E. Kavraki,
Mark Moll,
2014,
2014 IEEE International Conference on Robotics and Automation (ICRA).
Isil Dillig,
Swarat Chaudhuri,
Greg Anderson,
2019,
PLDI.
Swarat Chaudhuri,
Yue Wang,
Lydia E. Kavraki,
2019,
IEEE Robotics and Automation Letters.
Swarat Chaudhuri,
Vijayaraghavan Murali,
Satish Chandra,
2019,
MAPL@PLDI.
Swarat Chaudhuri,
Andrey Rybalchenko,
Tewodros A. Beyene,
2015,
VSTTE.
Swarat Chaudhuri,
Chris Jermaine,
Vijayaraghavan Murali,
2017,
ESEC/SIGSOFT FSE.
Swarat Chaudhuri,
Roberto Lublinerman,
Pavol Cerny,
2009,
OOPSLA 2009.
Swarat Chaudhuri,
Rajeev Alur,
Swarat Chaudhuri,
2010,
VMCAI.
Swarat Chaudhuri,
Matthew Mirman,
Timon Gehr,
2018,
2018 IEEE Symposium on Security and Privacy (SP).
Isil Dillig,
Swarat Chaudhuri,
Christian Klinger,
2016,
PLDI.
Swarat Chaudhuri,
Rajeev Alur,
P. Madhusudan,
2006,
POPL '06.
Swarat Chaudhuri,
Lydia E. Kavraki,
Mark Moll,
2015
.
Swarat Chaudhuri,
2015
.
Swarat Chaudhuri,
Lydia E. Kavraki,
Abdullah Al Redwan Newaz,
2019,
RSS 2019.
Swarat Chaudhuri,
Lydia E. Kavraki,
Yue Wang,
2018,
IEEE Transactions on Automation Science and Engineering.
Swarat Chaudhuri,
Chris Jermaine,
Scott Rixner,
2015,
WWW.
Swarat Chaudhuri,
Joel W. Burdick,
Yisong Yue,
2019,
ICML.
Swarat Chaudhuri,
Armando Solar-Lezama,
2011,
CAV.
Abhinav Verma,
Swarat Chaudhuri,
Yisong Yue,
2019,
NeurIPS.
Swarat Chaudhuri,
Chris Jermaine,
Rohan Mukherjee,
2020,
Proc. VLDB Endow..
Swarat Chaudhuri,
Moshe Y. Vardi,
Suguman Bansal,
2018,
FoSSaCS.
Swarat Chaudhuri,
Pavol Cerný,
Roberto Lublinerman,
2009,
OOPSLA '09.
Swarat Chaudhuri,
Rajeev Alur,
2006,
FSTTCS.
Swarat Chaudhuri,
Rajeev Alur,
Kousha Etessami,
2005,
TACAS.
Swarat Chaudhuri,
Sudipto Guha,
Rajeev Alur,
2003,
CONCUR.
Swarat Chaudhuri,
Chris Jermaine,
David Melski,
2017,
ArXiv.
Swarat Chaudhuri,
Patrick D. McDaniel,
William Enck,
2011,
USENIX Security Symposium.
Swarat Chaudhuri,
Azadeh Farzan,
2016,
Lecture Notes in Computer Science.
Isil Dillig,
Swarat Chaudhuri,
Thomas Dillig,
2014,
CAV.
Swarat Chaudhuri,
Charles A. Sutton,
Dipak Chaudhari,
2018,
NIPS 2018.
Swarat Chaudhuri,
Chris Jermaine,
Vijayaraghavan Murali,
2017,
ArXiv.
Swarat Chaudhuri,
Lydia E. Kavraki,
Neil T. Dantam,
2016,
Robotics: Science and Systems.
Swarat Chaudhuri,
Lydia E. Kavraki,
Neil T. Dantam,
2016
.
Isil Dillig,
Swarat Chaudhuri,
Yu Feng,
2016,
PLDI.
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
pdf
Abhinav Verma,
Swarat Chaudhuri,
Richard G. Baraniuk,
2019,
ICLR.
Swarat Chaudhuri,
Armando Solar-Lezama,
Swarat Chaudhuri,
2010,
PLDI '10.
Swarat Chaudhuri,
Yue Wang,
Lydia E. Kavraki,
2016,
ICAPS.
Swarat Chaudhuri,
Chris Jermaine,
Vijayaraghavan Murali,
2017,
ICLR.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2012,
CACM.
Swarat Chaudhuri,
Jyotirmoy V. Deshmukh,
Roopsha Samanta,
2013,
ATVA.
Swarat Chaudhuri,
Michael Wooldridge,
Sampath Kannan,
2017,
Dagstuhl Reports.
Vivek Sarkar,
Swarat Chaudhuri,
Zoran Budimlic,
2013,
OOPSLA.
Swarat Chaudhuri,
Dipak Chaudhari,
Chris Jermaine,
2020,
ArXiv.
Swarat Chaudhuri,
Lydia E. Kavraki,
Neil T. Dantam,
2018,
Int. J. Robotics Res..
Swarat Chaudhuri,
2012
.
Swarat Chaudhuri,
Edwin M. Westbrook,
Swarat Chaudhuri,
2013,
ArXiv.
Swarat Chaudhuri,
2013,
PLDI 2013.
Swarat Chaudhuri,
Rajeev Alur,
P. Madhusudan,
2006,
CAV.
Swarat Chaudhuri,
Rajeev Alur,
2007,
SPIN.
Swarat Chaudhuri,
Pavol Cerný,
Rajeev Alur,
2007,
TACAS.
Swarat Chaudhuri,
Geir E. Dullerud,
Zhenqi Huang,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Swarat Chaudhuri,
Lydia E. Kavraki,
Juan David Hernández,
2021,
IEEE Transactions on Automation Science and Engineering.
Swarat Chaudhuri,
Lydia E. Kavraki,
Rahul Shome,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Swarat Chaudhuri,
Yisong Yue,
Ann Kennedy,
2021,
ArXiv.
Swarat Chaudhuri,
Greg Durrett,
Kaj Bostrom,
2021,
ArXiv.
Isil Dillig,
Swarat Chaudhuri,
Joydeep Biswas,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Swarat Chaudhuri,
Greg Durrett,
Kaj Bostrom,
2022,
ArXiv.
Swarat Chaudhuri,
Chris Jermaine,
Thomas W. Reps,
2021,
NeurIPS.
Swarat Chaudhuri,
Ann Kennedy,
Eric Zhan,
2021,
ArXiv.
Isil Dillig,
Swarat Chaudhuri,
Anders Miltner,
2021,
Proc. ACM Program. Lang..
Swarat Chaudhuri,
Greg Durrett,
Kaj Bostrom,
2021,
EMNLP.
Swarat Chaudhuri,
Moshe Y. Vardi,
Swarat Chaudhuri,
2013
.