Deepak Goyal

Publication Activity (10 Years)

Years Active: 1997-2009
Publications (10 Years): 0

Publications

Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma
Non-cycle-accurate sequential equivalence checking. DAC (2009)
John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58 (1-2) (2005)
Deepak Goyal
Transformational Derivation of an Improved Alias Analysis Algorithm. High. Order Symb. Comput. 18 (1-2) (2005)
Charles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski
Streaming XPath Processing with Forward and Backward Axes. ICDE (2003)
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
Typestate Verification: Abstraction Techniques and Complexity Results. SAS (2003)
G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI (2002)
Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
Compactly Representing First-Order Structures for Static Analysis. SAS (2002)
Deepak Goyal, Y. Annie Liu
Automated development of software for program analysis and transformation. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Deepak Goyal, Robert Paige
A New Solution to the Hidden Copy Problem. SAS (1998)
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)