Isil Dillig
发表
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2009,
CAV.
Isil Dillig,
Yuepeng Wang,
Rushi Shah,
2020,
Proc. VLDB Endow..
Isil Dillig,
Jia Chen,
Yu Feng,
2018,
ESEC/SIGSOFT FSE.
Isil Dillig,
Calvin Lin,
Oswaldo Olivo,
2015,
PLDI.
Isil Dillig,
Xinyu Wang,
Yuepeng Wang,
2018,
Proc. ACM Program. Lang..
Isil Dillig,
Kostas Ferles,
Valentin Wüstholz,
2017,
ESEC/SIGSOFT FSE.
Isil Dillig,
Shuvendu K. Lahiri,
Marcelo Sousa,
2018,
ArXiv.
Isil Dillig,
Jia Chen,
Calvin Lin,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Isil Dillig,
Xinyu Wang,
Kenneth L. McMillan,
2018,
CAV.
Isil Dillig,
Steven P. Reiss,
Yu Feng,
2016,
SIGSOFT FSE.
Isil Dillig,
Eran Yahav,
Thomas Dillig,
2008,
ISMM '08.
Isil Dillig,
Emina Torlak,
Xi Wang,
2020,
CAV.
Isil Dillig,
Shuvendu K. Lahiri,
Yu Feng,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Isil Dillig,
Thomas Dillig,
Xinyu Wang,
2015,
APLAS.
Isil Dillig,
Marcelo Sousa,
Marcelo Sousa,
2016,
PLDI.
Isil Dillig,
Shuvendu K. Lahiri,
Marcelo Sousa,
2018,
Proc. ACM Program. Lang..
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2012,
CAV.
Isil Dillig,
Yu Feng,
Osbert Bastani,
2020,
CAV.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2007,
PLDI '07.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
CAV.
Isil Dillig,
Greg Durrett,
Xi Ye,
2020,
ArXiv.
Isil Dillig,
Xinyu Wang,
Navid Yaghmazadeh,
2017,
Proc. VLDB Endow..
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2012,
PLDI.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2009,
Formal Methods Syst. Des..
Isil Dillig,
Yu Feng,
Thomas W. Reps,
2017,
POPL.
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
OOPSLA.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2020,
ACM SIGOPS Oper. Syst. Rev..
Isil Dillig,
2019,
DBPL.
Isil Dillig,
Marijn J. H. Heule,
Marijn Heule,
2017,
TACAS.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2008,
PLDI '08.
Isil Dillig,
Shuvendu K. Lahiri,
Shuo Chen,
2018,
ArXiv.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2018,
PLDI.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
OOPSLA.
Isil Dillig,
Yu Feng,
Jia Chen,
2019,
Proc. VLDB Endow..
Isil Dillig,
Serdar Tasiran,
S. Tasiran,
2019,
Lecture Notes in Computer Science.
Alvin Cheung,
Isil Dillig,
Rastislav Bodik,
2019
.
Isil Dillig,
Thomas Dillig,
Thomas Dillig,
2013,
CAV.
Isil Dillig,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Isil Dillig,
Swarat Chaudhuri,
John K. Feser,
2015,
PLDI.
Alvin Cheung,
Isil Dillig,
Rastislav Bodik,
2020,
Proc. ACM Program. Lang..
Isil Dillig,
Xinyu Wang,
Greg Durrett,
2019,
PLDI.
Isil Dillig,
Jiayi Wei,
Greg Durrett,
2020,
ICLR.
Isil Dillig,
Swarat Chaudhuri,
Greg Anderson,
2019,
PLDI.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
PLDI '11.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2018,
PLDI.
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
International Journal on Software Tools for Technology Transfer.
Isil Dillig,
Shuvendu K. Lahiri,
Yuepeng Wang,
2019,
VSTTE.
Isil Dillig,
Steven P. Reiss,
Yu Feng,
2016,
ArXiv.
Isil Dillig,
Swarat Chaudhuri,
Christian Klinger,
2016,
PLDI.
Isil Dillig,
Rishabh Singh,
Xinyu Wang,
2017,
Proc. ACM Program. Lang..
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
POPL '11.
Isil Dillig,
Thomas Dillig,
Haiyan Zhu,
2013,
APLAS.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2007,
PASTE '07.
Isil Dillig,
Rushi Shah,
Yuepeng Wang,
2019,
PLDI.
Isil Dillig,
Alexander Aiken,
Yu Feng,
2014,
DeMobile@SIGSOFT FSE.
Isil Dillig,
Osbert Bastani,
Jiayi Wei,
2019,
Proc. ACM Program. Lang..
Isil Dillig,
Shuvendu K. Lahiri,
William R. Cook,
2017,
Proc. ACM Program. Lang..
Isil Dillig,
Yu Feng,
Ruben Martins,
2016,
NDSS.
Isil Dillig,
Alexander Aiken,
Yu Feng,
2014,
SIGSOFT FSE.
Isil Dillig,
Yu Feng,
Ruben Martins,
2017,
PLDI.
Isil Dillig,
Calvin Lin,
Oswaldo Olivo,
2015,
CCS.
Isil Dillig,
Greg Durrett,
Xi Ye,
2020,
ACL.
Isil Dillig,
Xinyu Wang,
Yu Feng,
2015,
OOPSLA.
Isil Dillig,
Swarat Chaudhuri,
Thomas Dillig,
2014,
CAV.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
SAS.
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
TACAS.
Isil Dillig,
Jia Chen,
Yu Feng,
2017,
CCS.
Jens Palsberg,
Isil Dillig,
J. Palsberg,
2018,
Lecture Notes in Computer Science.
Isil Dillig,
Swarat Chaudhuri,
Yu Feng,
2016,
PLDI.
Isil Dillig,
Thomas Dillig,
Yuepeng Wang,
2017,
ArXiv.
Isil Dillig,
Xinyu Wang,
Greg Durrett,
2019,
Transactions of the Association for Computational Linguistics.
Isil Dillig,
Kostas Ferles,
Jon Stephens,
2020,
Proc. ACM Program. Lang..
Isil Dillig,
Christos Gkantsidis,
Thomas Dillig,
2014,
PLDI.
Isil Dillig,
Rishabh Singh,
Xinyu Wang,
2017,
Proc. ACM Program. Lang..
Isil Dillig,
Kostas Ferles,
Valentin Wüstholz,
2017,
ArXiv.
Isil Dillig,
Aws Albarghouthi,
Arie Gurfinkel,
2016,
POPL.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
ESOP.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
Commun. ACM.
Isil Dillig,
2019,
SPLASH.
Alvin Cheung,
Isil Dillig,
Amy J. Ko,
2021,
CHI.
Isil Dillig,
Yuepeng Wang,
Shankara Pailoor,
2021,
PLDI.
Isil Dillig,
Michael D. Ernst,
Sebastian Porst,
2021,
ESEC/SIGSOFT FSE.
Isil Dillig,
Satish Chandra,
Vijayaraghavan Murali,
2021,
2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Isil Dillig,
Paul Groth,
Madelon Hulsebos,
2021,
ArXiv.
Isil Dillig,
Swarat Chaudhuri,
Joydeep Biswas,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Isil Dillig,
Shuvendu K. Lahiri,
Shuvendu Lahiri,
2021,
ArXiv.
Isil Dillig,
Osbert Bastani,
Greg Durrett,
2021,
PLDI.
Isil Dillig,
Shuvendu K. Lahiri,
Yu Feng,
2021,
Proc. ACM Program. Lang..
Isil Dillig,
Swarat Chaudhuri,
Anders Miltner,
2021,
Proc. ACM Program. Lang..
Isil Dillig,
Shuvendu K. Lahiri,
Jon Stephens,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Isil Dillig,
Vijayaraghavan Murali,
Jürgen Cito,
2021,
ESEC/SIGSOFT FSE.
Isil Dillig,
Greg Durrett,
Xi Ye,
2020,
EMNLP.
Isil Dillig,
Greg Durrett,
2019
.
Martin D. Schatz,
Isil Dillig,
Don Batory,
2015
.