| 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 | 1546 | 2008 |
| A decision procedure for bit-vectors and arrays V Ganesh, DL Dill Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 822 | 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 | 573 | 1999 |
| Taint-based directed whitebox fuzzing V Ganesh, T Leek, M Rinard 2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009 | 436 | 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 | 346 | 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 | 254 | 2013 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000 | 249 | 2000 |
| 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 | 212 | 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 | 165 | 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 | 108 | 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 | 101 | 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 | 93 | 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 | 92 | 2016 |
| 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 | 84 | 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 | 72 | 2013 |
| Automatic input rectification F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard 2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012 | 70 | 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 | 69 | 1998 |
| 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 | 64 | 2015 |
| 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, 1447-1466, 2019 | 63 | 2019 |
| Z3str3: A string solver with theory-aware heuristics M Berzish, V Ganesh, Y Zheng 2017 Formal Methods in Computer Aided Design (FMCAD), 55-59, 2017 | 59 | 2017 |
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
