| 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 | 1360 | 2008 |
| A decision procedure for bit-vectors and arrays V Ganesh, DL Dill International Conference on Computer Aided Verification, 519-531, 2007 | 720 | 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 | 544 | 2008 |
| Taint-based directed whitebox fuzzing V Ganesh, T Leek, M Rinard 2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009 | 331 | 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 | 308 | 2009 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 241 | 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 | 206 | 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 | 145 | 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 | 108 | 2016 |
| jFuzz: A concolic whitebox fuzzer for Java K Jayaraman, D Harvison, V Ganesh, A Kiezun | 86 | 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 | 82 | 2011 |
| 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 | 74 | 2012 |
| 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 | 71 | 2014 |
| 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 | 65 | 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 | 64 | 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 | 63 | 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 | 55 | 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 | 51 | 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 |
| Decision procedures for bit-vectors, arrays and integers V Ganesh, DL Dill Dissertation Abstracts International 68 (09), 2007 | 39 | 2007 |
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
