Search the dblp DataBase

Publications of Author

1. Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
   EXE: automatically generating inputs of death. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer and Communications Security, 2006, pp:322-335 [Conf]
   
2. Ashok Halambi, Peter Grun, V. Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau
   EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability. [Citation Graph (0, 0)][DBLP]
   DATE, 1999, pp:485-490 [Conf]
   
3. Vijay Ganesh, Sergey Berezin, David L. Dill
   Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2002, pp:171-186 [Conf]
   
4. Sergey Berezin, Vijay Ganesh, David L. Dill
   An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:521-536 [Conf]
   
5. Vijay Ganesh, David L. Dill
   A Decision Procedure for Bit-Vectors and Arrays. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:519-531 [Conf]
   
6. 
   Taint-based directed whitebox fuzzing. [Citation Graph (, )][DBLP]
   
   
7. 
   HAMPI: a solver for string constraints. [Citation Graph (, )][DBLP]