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