Deepak Goyal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1998–2009
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | DAC | Non-cycle-accurate sequential equivalence checking. | Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma |
| 2003 | ICDE | Streaming XPath Processing with Forward and Backward Axes. | Charles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski |
| 2003 | SAS | Typestate Verification: Abstraction Techniques and Complexity Results. | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
| 2002 | PLDI | Deriving Specialized Program Analyses for Certifying Component-Client Conformance. | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
| 2002 | SAS | Compactly Representing First-Order Structures for Static Analysis. | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
| 1998 | SAS | A New Solution to the Hidden Copy Problem. | Deepak Goyal, Robert Paige |