| 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 | 1573 | 2008 |
| A decision procedure for bit-vectors and arrays V Ganesh, DL Dill Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 895 | 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 | 592 | 1999 |
| Taint-based directed whitebox fuzzing V Ganesh, T Leek, M Rinard 2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009 | 521 | 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 | 360 | 2009 |
| 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 | 277 | 2016 |
| 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 | 273 | 2013 |
| Amnesiac machine learning L Graves, V Nagisetty, V Ganesh Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11516 …, 2021 | 269 | 2021 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 260 | 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 | 252 | 2016 |
| Protease-activated receptors and platelet function SR Coughlin Thrombosis and haemostasis 82 (08), 353-356, 1999 | 127 | 1999 |
| jFuzz: A concolic whitebox fuzzer for Java K Jayaraman, D Harvison, V Ganesh, A Kiezun Proceedings of the First NASA Formal Methods Symposium, 2009 | 117 | 2009 |
| 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 | 112 | 2016 |
| 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 | 110 | 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 | 109 | 2012 |
| EXE: A system for automatically generating inputs of death using symbolic execution C Cadar, V Ganesh, P Pawlowski, D Dill, D Engler Proceedings of the ACM Conference on Computer and Communications Security 10 …, 2006 | 108 | 2006 |
| 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 | 100 | 2014 |
| 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 | 96 | 2015 |
| 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 | 89 | 2020 |
| 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 | 86 | 2013 |
Krzysztof CzarneckiProfessor of Electrical and Computer Engineering確認したメール アドレス: gsd.uwaterloo.ca
