| 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 | 1450 | 2008 |
| A decision procedure for bit-vectors and arrays V Ganesh, DL Dill International conference on computer aided verification, 519-531, 2007 | 769 | 2007 |
| EXPRESSION: A language for architecture exploration through compiler/simulator retargetability A Halambi, P Grun, V Ganesh, A Khare, N Dutt, A Nicolau Design, Automation, and Test in Europe, 31-45, 2008 | 577 | 2008 |
| Taint-based directed whitebox fuzzing V Ganesh, T Leek, M Rinard 2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009 | 369 | 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 | 329 | 2009 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 245 | 2000 |
| 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 | 227 | 2013 |
| Learning rate based branching heuristic for SAT solvers JH Liang, V Ganesh, P Poupart, K Czarnecki International Conference on Theory and Applications of Satisfiability …, 2016 | 182 | 2016 |
| 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 | 139 | 2016 |
| jFuzz: A Concolic Whitebox Fuzzer for Java. K Jayaraman, D Harvison, V Ganesh, A Kiezun NASA Formal Methods, 121-125, 2009 | 94 | 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 | 92 | 2011 |
| Impact of community structure on SAT solver performance Z Newsham, V Ganesh, S Fischmeister, G Audemard, L Simon International Conference on Theory and Applications of Satisfiability …, 2014 | 78 | 2014 |
| 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 | 78 | 2012 |
| 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 | 74 | 2016 |
| Automatic input rectification F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard 2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012 | 68 | 2012 |
| 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 | 66 | 1998 |
| 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 | 58 | 2013 |
| HAMPI: A string solver for testing, analysis and vulnerability detection V Ganesh, A Kieżun, S Artzi, PJ Guo, P Hooimeijer, M Ernst International Conference on Computer Aided Verification, 1-19, 2011 | 55 | 2011 |
| Deciding Presburger arithmetic by model checking and comparisons with other methods V Ganesh, S Berezin, DL Dill International Conference on Formal Methods in Computer-Aided Design, 171-186, 2002 | 50 | 2002 |
| SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines J Guo, JH Liang, K Shi, D Yang, J Zhang, K Czarnecki, V Ganesh, H Yu Software & Systems Modeling 18 (2), 1447-1466, 2019 | 48 | 2019 |
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
