| 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 | 1525 | 2008 |
| A decision procedure for bit-vectors and arrays V Ganesh, DL Dill International conference on computer aided verification, 519-531, 2007 | 811 | 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 | 571 | 1999 |
| Taint-based directed whitebox fuzzing V Ganesh, T Leek, M Rinard 2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009 | 426 | 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 | 343 | 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 | 251 | 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 | 251 | 2000 |
| 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 | 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 | 160 | 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 | 97 | 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 | 90 | 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 | 88 | 2016 |
| 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 | 83 | 2014 |
| 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 |
| 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 | 69 | 2013 |
| 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 | 68 | 1998 |
| 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 | 61 | 2019 |
| 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 | 61 | 2015 |
| 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 | 58 | 2011 |
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
