Vijay Ganesh

Cited by

	All	Since 2018
Citations	7726	3768
h-index	36	30
i10-index	76	70

700

350

175

525

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202329 41 71 68 91 92 73 112 189 248 271 269 292 367 359 375 413 470 491 598 689 636 677 673

Public access

View all

13 articles

1 article

available

not available

Based on funding mandates

Co-authors

Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
Jia Hui LiangPhD student, University of WaterlooVerified email at gsd.uwaterloo.ca
Curtis BrightAssistant Professor, University of WindsorVerified email at uwindsor.ca
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Ilias S. Kotsireas, Director, CARGO labWilfrid Laurier UniversityVerified email at wlu.ca
martin rinardMITVerified email at lcs.mit.edu
Pascal PoupartUniversity of WaterlooVerified email at uwaterloo.ca
Murphy BerzishUniversity of WaterlooVerified email at uwaterloo.ca
Saeed NejatiAmazonVerified email at amazon.com
Joseph ScottUniversity of WaterlooVerified email at uwaterloo.ca
Adam KiezunPrincipal Scientist, AmazonVerified email at amazon.com
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Philip GuoAssociate Professor of Cognitive Science, UC San DiegoVerified email at ucsd.edu
Pieter HooimeijerDatabricksVerified email at virginia.edu
Zack NewshamUniversity of WaterlooVerified email at uwaterloo.ca
Sebastian BanescuQuantstampVerified email at quantstamp.com
Federico Mora RochaUniversity of California, BerkeleyVerified email at berkeley.edu
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Dirk NowotkaProfessor für Informatik, Christian-Albrechts-Universität zu KielVerified email at zs.uni-kiel.de
Nikil DuttDistinguished Professor, CS, EECS & Cognitive Sciences, University of California, IrvineVerified email at uci.edu

Vijay Ganesh

Professor, Georgia Institute of Technology, Atlanta, GA, USA

Verified email at gatech.edu - Homepage

SAT/SMT Solvers AI software engineering mathematical logic quantum foundations


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
EXE: Automatically generating inputs of death C Cadar, V Ganesh, PM Pawlowski, DL Dill, DR Engler ACM Transactions on Information and System Security (TISSEC) 12 (2), 1-38, 2008	1611	2008
A decision procedure for bit-vectors and arrays V Ganesh, DL Dill Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	856	2007
EXPRESSION: A language for architecture exploration through compiler/simulator retargetability A Halambi, P Grun, V Ganesh, A Khare, N Dutt, A Nicolau Proceedings of the conference on Design, automation and test in Europe, 100-es, 1999	586	1999
Taint-based directed whitebox fuzzing V Ganesh, T Leek, M Rinard 2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009	478	2009
HAMPI: a solver for string constraints A Kiezun, V Ganesh, PJ Guo, P Hooimeijer, MD Ernst Proceedings of the eighteenth international symposium on Software testing …, 2009	351	2009
Z3-str: A z3-based string solver for web application analysis Y Zheng, X Zhang, V Ganesh Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	261	2013
Learning rate based branching heuristic for SAT solvers JH Liang, V Ganesh, P Poupart, K Czarnecki Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016	236	2016
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	231	2000
Code obfuscation against symbolic execution attacks S Banescu, C Collberg, V Ganesh, Z Newsham, A Pretschner Proceedings of the 32nd Annual Conference on Computer Security Applications …, 2016	220	2016
jFuzz: A concolic whitebox fuzzer for Java K Jayaraman, D Harvison, V Ganesh, A Kiezun Proceedings of the First NASA Formal Methods Symposium, 2009	111	2009
Automatic error finding in access-control policies K Jayaraman, V Ganesh, M Tripunitara, M Rinard, S Chapin Proceedings of the 18th ACM conference on Computer and communications …, 2011	106	2011
Exponential recency weighted average branching heuristic for SAT solvers J Liang, V Ganesh, P Poupart, K Czarnecki Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016	105	2016
Word equations with length constraints: what’s decidable? V Ganesh, M Minnes, A Solar-Lezama, M Rinard Hardware and Software: Verification and Testing, 209-226, 2012	101	2012
Amnesiac machine learning L Graves, V Nagisetty, V Ganesh Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11516 …, 2021	91	2021
Impact of community structure on SAT solver performance Z Newsham, V Ganesh, S Fischmeister, G Audemard, L Simon Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	90	2014
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars A Kiezun, V Ganesh, S Artzi, PJ Guo, P Hooimeijer, MD Ernst ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (4), 1-28, 2013	80	2013
Sat-based analysis of large real-world feature models is easy JH Liang, V Ganesh, K Czarnecki, V Raman Proceedings of the 19th International Conference on Software Product Line …, 2015	79	2015
EXPRESSION: An ADL for system level design exploration P Grun, A Halambi, A Khare, V Ganesh, N Dutt, A Nicolau Technical Report 1998-29, University of California, Irvine, 1998	72	1998
Discovering symmetry invariants and conserved quantities by interpreting siamese neural networks SJ Wetzel, RG Melko, J Scott, M Panju, V Ganesh Physical Review Research 2 (3), 033499, 2020	71	2020
Automatic input rectification F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard 2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012	71	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors