Travelled to:1 × Austria
1 × Canada
1 × Italy
1 × Poland
1 × Russia
1 × Switzerland
1 × United Kingdom
3 × Germany
5 × USA
Collaborated with:D.L.Dill K.Czarnecki M.C.Rinard Y.Zheng X.Zhang R.Michel Z.Newsham S.Fischmeister A.Kiezun P.J.Guo P.Hooimeijer M.D.Ernst E.Zulkoski T.Leek S.Berezin R.Robere A.Kolokolova J.H.(.Liang V.Raman N.Bjørner M.Veanes A.Hubaux P.Heymans H.G.V.Krishnan Y.Vizel A.Gurfinkel G.Audemard L.Simon F.Long M.Carbin S.Sidiroglou S.Subramanian O.Tripp J.Dolby W.Lindsay J.H.Liang C.W.O'Donnell M.Soos S.Devadas A.Solar-Lezama S.Artzi A.Halambi P.Grun A.Khare N.D.Dutt A.Nicolau D.Blotsky F.Mora M.Berzish I.Kabir
Talks about:solver (10) string (6) sat (6) base (4) express (3) analysi (3) smt (3) constraint (2) structur (2) procedur (2)
Person: Vijay Ganesh
DBLP: Ganesh:Vijay
Contributed to:
2015
2015
2015
20152014
2013
20122012
201220112009
20092007
2003
199920182019Wrote 19 papers:
- CADE-2015-ZulkoskiGC #algebra #named #satisfiability
- MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
- CAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string
- Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.
- SAT-2015-NewshamLGLFC #evolution #named #satisfiability #visualisation
- SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers (ZN, WL, VG, JHL, SF, KC), pp. 62–70.
- SPLC-2015-LiangGCR #analysis #feature model #modelling #satisfiability #scalability
- SAT-based analysis of large real-world feature models is easy (JH(L, VG, KC, VR), pp. 91–100.
- SAT-2014-NewshamGFAS #community #performance #satisfiability
- Impact of Community Structure on SAT Solver Performance (ZN, VG, SF, GA, LS), pp. 252–268.
- ESEC-FSE-2013-ZhengZG #analysis #named #string #web
- Z3-str: a z3-based string solver for web application analysis (YZ, XZ, VG), pp. 114–124.
- ICSE-2012-LongGCSR #automation
- Automatic input rectification (FL, VG, MC, SS, MCR), pp. 80–90.
- SAT-2012-GaneshOSDRS #named #problem #satisfiability
- Lynx: A Programmatic SAT Solver for the RNA-Folding Problem (VG, CWO, MS, SD, MCR, ASL), pp. 143–156.
- SMT-2012-BjornerGMV #regular expression #sequence
- SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
- SMT-2012-MichelHGH #approach #automation #smt
- An SMT-based approach to automated configuration (RM, AH, VG, PH), pp. 109–119.
- CAV-2011-GaneshKAGHE #analysis #detection #named #string #testing
- HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection (VG, AK, SA, PJG, PH, MDE), pp. 1–19.
- ICSE-2009-GaneshLR #fuzzing
- Taint-based directed whitebox fuzzing (VG, TL, MCR), pp. 474–484.
- ISSTA-2009-KiezunGGHE #constraints #named #string
- HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.
- CAV-2007-GaneshD #array
- A Decision Procedure for Bit-Vectors and Arrays (VG, DLD), pp. 519–531.
- TACAS-2003-BerezinGD #linear #online
- An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic (SB, VG, DLD), pp. 521–536.
- DATE-1999-HalambiGGKDN #architecture #compilation #named
- EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.
- CAV-2018-BlotskyMBZKG #fuzzing #named #string
- StringFuzz: A Fuzzer for String Solvers (DB, FM, MB, YZ, IK, VG), pp. 45–51.
- CAV-2018-RobereKG #complexity #proving #smt
- The Proof Complexity of SMT Solvers (RR, AK, VG), pp. 275–293.
- CAV-2019-KrishnanVGG #induction
- Interpolating Strong Induction (HGVK, YV, VG, AG), pp. 367–385.