Deepak Goyal

According to our database, Deepak Goyal authored at least 10 papers between 1997 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Non-cycle-accurate sequential equivalence checking.

Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma

Proceedings of the 46th Design Automation Conference, 2009

2005

Typestate verification: Abstraction techniques and complexity results.

John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav

Sci. Comput. Program., 2005

Transformational Derivation of an Improved Alias Analysis Algorithm.

Deepak Goyal

High. Order Symb. Comput., 2005

2003

Streaming XPath Processing with Forward and Backward Axes.

Charles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski

Proceedings of the 19th International Conference on Data Engineering, 2003

2002

Compactly Representing First-Order Structures for Static Analysis.

Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv

Proceedings of the Static Analysis, 9th International Symposium, 2002

Deriving Specialized Program Analyses for Certifying Component-Client Conformance.

G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2000

A Language-Theoretic Approach to Algorithms.

Deepak Goyal

PhD thesis, 2000

Automated development of software for program analysis and transformation.

Deepak Goyal, Y. Annie Liu

ACM SIGSOFT Softw. Eng. Notes, 2000

1998

A New Solution to the Hidden Copy Problem.

Deepak Goyal, Robert Paige

Proceedings of the Static Analysis, 5th International Symposium, 1998

1997

The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.

Deepak Goyal, Robert Paige

Proceedings of the Algorithmic Languages and Calculi, 1997