Search the dblp DataBase

Publications of Author

1. Deepak Goyal, Robert Paige
   The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. [Citation Graph (0, 0)][DBLP]
   Algorithmic Languages and Calculi, 1997, pp:382-414 [Conf]
   
2. Charles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski
   Streaming XPath Processing with Forward and Backward Axes. [Citation Graph (0, 0)][DBLP]
   ICDE, 2003, pp:455-466 [Conf]
   
3. G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
   Deriving Specialized Program Analyses for Certifying Component-Client Conformance. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:83-94 [Conf]
   
4. John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
   Typestate Verification: Abstraction Techniques and Complexity Results. [Citation Graph (0, 0)][DBLP]
   SAS, 2003, pp:439-462 [Conf]
   
5. Deepak Goyal, Robert Paige
   A New Solution to the Hidden Copy Problem. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:327-348 [Conf]
   
6. Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
   Compactly Representing First-Order Structures for Static Analysis. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:196-212 [Conf]
   
7. Deepak Goyal
   Transformational Derivation of an Improved Alias Analysis Algorithm. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:15-49 [Journal]
   
8. John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
   Typestate verification: Abstraction techniques and complexity results. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:58, n:1-2, pp:57-82 [Journal]
   
9. 
   Non-cycle-accurate sequential equivalence checking. [Citation Graph (, )][DBLP]