Vijay Ganesh
发表
Catherine H. Gebotys,
Saeed Nejati,
Jan Horácek,
2018,
CP.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
J. Symb. Comput..
David L. Dill,
Sergey Berezin,
Vijay Ganesh,
2002,
FMCAD.
Fan Long,
Stelios Sidiroglou,
Martin C. Rinard,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Krzysztof Czarnecki,
Jia Hui Liang,
Vijay Ganesh,
2015,
Haifa Verification Conference.
Dragomir Z. Dokovic,
Curtis Bright,
Vijay Ganesh,
2019,
Annals of Mathematics and Artificial Intelligence.
Krzysztof Czarnecki,
Jia Hui Liang,
Ruben Martins,
2018,
CP.
David L. Dill,
Sergey Berezin,
Vijay Ganesh,
2003,
TACAS.
Krzysztof Czarnecki,
Jia Hui Liang,
Ruben Martins,
2018,
CP.
Krzysztof Czarnecki,
Pascal Poupart,
Jia Hui Liang,
2017,
SAT.
Chunxiao Li,
Jia Hui Liang,
Vijay Ganesh,
2018,
SAT.
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion
pdf
Vijay Ganesh,
Murphy Berzish,
Vijay Ganesh,
2016,
ArXiv.
Martin C. Rinard,
Steve J. Chapin,
Karthick Jayaraman,
2011,
ArXiv.
Ilias S. Kotsireas,
Dragomir Z. Dokovic,
Curtis Bright,
2019,
AAAI.
Pascal Poupart,
Catherine H. Gebotys,
Jia Hui Liang,
2017,
SAT.
Armando Solar-Lezama,
Mia Minnes,
Martin C. Rinard,
2012,
Haifa Verification Conference.
Martin C. Rinard,
Steve J. Chapin,
Karthick Jayaraman,
2013,
TSEC.
Derek Rayside,
Asif Khan,
Vijay Ganesh,
2016,
CASCON.
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability
pdf
Florin Manea,
Dirk Nowotka,
Joel D. Day,
2018,
ArXiv.
Dirk Nowotka,
Vijay Ganesh,
Yannik Potdevin,
2019,
ArXiv.
Sebastian Fischmeister,
Gilles Audemard,
Laurent Simon,
2014,
SAT.
Omer Tripp,
Vijay Ganesh,
Murphy Berzish,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Vijay Ganesh,
2014
.
Sebastian Banescu,
Vijay Ganesh,
Mart'in Ochoa,
2015
.
Xiangyu Zhang,
Julian Dolby,
Yunhui Zheng,
2015,
CAV.
Gilles Barthe,
Martín Ochoa,
Sebastian Banescu,
2017,
2017 IEEE European Symposium on Security and Privacy (EuroS&P).
Florin Manea,
Dirk Nowotka,
Joel D. Day,
2018,
RP.
Martín Ochoa,
Sebastian Banescu,
Vijay Ganesh,
2015,
PLAS@ECOOP.
Arie Gurfinkel,
Vijay Ganesh,
Yakir Vizel,
2019,
CAV.
Martin C. Rinard,
Steve J. Chapin,
Karthick Jayaraman,
2011,
CCS '11.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS 2006.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
ISSAC.
Vijay Ganesh,
2012,
ArXiv.
Krzysztof Czarnecki,
Pascal Poupart,
Jia Hui Liang,
2016,
AAAI.
Michael D. Ernst,
Shay Artzi,
Philip J. Guo,
2011,
CAV.
Koushik Sen,
Vijay Ganesh,
Cristian Cadar,
2014,
Dagstuhl Reports.
David L. Dill,
Vijay Ganesh,
D. Dill,
2007
.
Yunhui Zheng,
Vijay Ganesh,
Murphy Berzish,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Krzysztof Czarnecki,
Huiqun Yu,
Jingsong Zhang,
2019,
Software & Systems Modeling.
Patrick Heymans,
Arnaud Hubaux,
Vijay Ganesh,
2012
.
Krzysztof Czarnecki,
Sebastian Fischmeister,
Jia Hui Liang,
2015,
SAT.
Alexander Pretschner,
Sebastian Banescu,
Vijay Ganesh,
2016,
ACSAC.
Armando Solar-Lezama,
Mia Minnes,
Martin C. Rinard,
2013,
ArXiv.
Krzysztof Czarnecki,
Pascal Poupart,
Jia Hui Liang,
2016,
SAT.
Daniel Kroening,
Bernd Becker,
Matthew England,
2017,
ARCADE@CADE.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
MC.
Armin Biere,
Ryan Williams,
Martin Grohe,
2015,
Dagstuhl Reports.
César Muñoz,
Yassine Lakhnech,
John Rushby,
2000
.
Federico Mora,
Yunhui Zheng,
Vijay Ganesh,
2018,
CAV.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
CASCON.
Sebastian Fischmeister,
Vijay Ganesh,
Zack Newsham,
2019,
POS@SAT.
Michael D. Ernst,
Philip J. Guo,
Adam Kiezun,
2009,
ISSTA.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
ACCA.
Nikolaj Bjørner,
Margus Veanes,
Vijay Ganesh,
2012,
SMT@IJCAR.
Patrick Heymans,
Arnaud Hubaux,
Vijay Ganesh,
2012,
SMT@IJCAR.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS '06.
Xiangyu Zhang,
Yunhui Zheng,
Vijay Ganesh,
2013,
ESEC/FSE 2013.
Adam Kiezun,
Karthick Jayaraman,
Vijay Ganesh,
2009,
NASA Formal Methods.
Derek Rayside,
Krzysztof Czarnecki,
Vijay Ganesh,
2016,
VSTTE.
Sean Sedwards,
Vijay Ganesh,
Reza Babaee,
2019,
RV.
Krzysztof Czarnecki,
Jia Liang,
Ruben Martins,
2017,
ArXiv.
Nicky Williams,
Vijay Ganesh,
2014,
ICSE 2014.
Yunhui Zheng,
Vijay Ganesh,
Murphy Berzish,
2017,
ArXiv.
Steven Stewart,
Sebastian Banescu,
Vijay Ganesh,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
Journal of Automated Reasoning.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS '06.
Martín Ochoa,
Sebastian Banescu,
Vijay Ganesh,
2015,
ArXiv.
Alexandru Nicolau,
Asheesh Khare,
Nikil Dutt,
1998
.
Robert Robere,
Vijay Ganesh,
Antonina Kolokolova,
2018,
CAV.
Krzysztof Czarnecki,
Pascal Poupart,
Vijay Ganesh,
2018,
IJCAI.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2019
.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
SC²@SYNASC.
Krzysztof Czarnecki,
Catherine H. Gebotys,
Jia Hui Liang,
2016,
VSTTE.
Michael D. Ernst,
Philip J. Guo,
Adam Kiezun,
2019,
ISSTA.
Brett Stevens,
Curtis Bright,
Vijay Ganesh,
2020,
Applicable Algebra in Engineering, Communication and Computing.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
J. Symb. Comput..
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2020,
IEEE Transactions on Information Theory.
Martin C. Rinard,
Vijay Ganesh,
Tim Leek,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Nikil D. Dutt,
Alexandru Nicolau,
Asheesh Khare,
1999,
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
Martin C. Rinard,
Michael Carbin,
Vijay Ganesh,
2012,
ArXiv.
Martin Rinard,
Joseph P. Near,
Rishabh Singh,
2009
.
Krzysztof Czarnecki,
Jia Hui Liang,
Venkatesh Raman,
2015,
SPLC.
Xiangyu Zhang,
Julian Dolby,
Yunhui Zheng,
2017,
Formal Methods Syst. Des..
David L. Dill,
Vijay Ganesh,
D. Dill,
2007,
CAV.
Krzysztof Czarnecki,
Vijay Ganesh,
Edward Zulkoski,
2015,
CADE.
Paul A. S. Ward,
Vijay Ganesh,
Riyad Parvez,
2016,
CASCON.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
AAAI.
Srinivas Devadas,
Armando Solar-Lezama,
Mate Soos,
2012,
SAT.
Michael D. Ernst,
Shay Artzi,
Philip J. Guo,
2012,
TSEM.
Florin Manea,
Dirk Nowotka,
Joel D. Day,
2021,
CAV.
Florin Manea,
Dirk Nowotka,
Joel D. Day,
2021,
WORDS.
Sebastian Banescu,
Vijay Ganesh,
Behkish Nassirzadeh,
2021,
ArXiv.
Marc Vinyals,
Vijay Ganesh,
Antonina Kolokolova,
2021,
SAT.