Vijay Ganesh
Vijay Ganesh
Associate Professor, University of Waterloo, Ontario, Canada
Dirección de correo verificada de uwaterloo.ca - Página principal
Título
Citado por
Citado por
Año
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
14022008
A decision procedure for bit-vectors and arrays
V Ganesh, DL Dill
International conference on computer aided verification, 519-531, 2007
7282007
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
5652008
Taint-based directed whitebox fuzzing
V Ganesh, T Leek, M Rinard
2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009
3432009
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
3202009
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2402000
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
2122013
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
1422016
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
1092016
jFuzz: A Concolic Whitebox Fuzzer for Java.
K Jayaraman, D Harvison, V Ganesh, A Kiezun
NASA Formal Methods, 121-125, 2009
892009
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
862011
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
742012
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
692014
Automatic input rectification
F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard
2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012
672012
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
641998
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
632016
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
562013
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
492011
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
492002
Effective search-space pruning for solvers of string equations, regular expressions and length constraints
Y Zheng, V Ganesh, S Subramanian, O Tripp, J Dolby, X Zhang
International Conference on Computer Aided Verification, 235-254, 2015
402015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20