Æȷοì
Vijay Ganesh
Vijay Ganesh
Professor, Georgia Institute of Technology, Atlanta, GA, USA
gatech.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
16122008
A decision procedure for bit-vectors and arrays
V Ganesh, DL Dill
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin ¡¦, 2007
8572007
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
5891999
Taint-based directed whitebox fuzzing
V Ganesh, T Leek, M Rinard
2009 IEEE 31st International Conference on Software Engineering, 474-484, 2009
4932009
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
3512009
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
2642013
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rue©¬, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2552000
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
2472016
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
2282016
Amnesiac machine learning
L Graves, V Nagisetty, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11516 ¡¦, 2021
1302021
Protease-activated receptors and platelet function
SR Coughlin
Thrombosis and haemostasis 82 (08), 353-356, 1999
1271999
jFuzz: A concolic whitebox fuzzer for Java
K Jayaraman, D Harvison, V Ganesh, A Kiezun
Proceedings of the First NASA Formal Methods Symposium, 2009
1132009
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
1072011
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
1062016
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
1022012
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
912014
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
832015
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
812013
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
731998
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
722020
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20