Deepak Goyal

12 papers A* 3B 3Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Parameter estimation based IIR system identification using improved arithmetic optimization algorithm.
Evol. Syst.
Deepak Goyal, Puneet Khanna, Sandeep Singh
2009 A* conf
Non-cycle-accurate sequential equivalence checking.
DAC
Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma
2005 J jnl
Transformational Derivation of an Improved Alias Analysis Algorithm.
High. Order Symb. Comput.
Deepak Goyal
2005 J jnl
Typestate verification: Abstraction techniques and complexity results.
Sci. Comput. Program.
John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
2003 A* conf
Streaming XPath Processing with Forward and Backward Axes.
ICDE
Charles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski
2003 B conf
Typestate Verification: Abstraction Techniques and Complexity Results.
SAS
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
2002 B conf
Compactly Representing First-Order Structures for Static Analysis.
SAS
Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
2002 A* conf
Deriving Specialized Program Analyses for Certifying Component-Client Conformance.
PLDI
G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
2000 — —
A Language-Theoretic Approach to Algorithms.
Deepak Goyal
2000 J jnl
Automated development of software for program analysis and transformation.
ACM SIGSOFT Softw. Eng. Notes
Deepak Goyal, Y. Annie Liu
1998 B conf
A New Solution to the Hidden Copy Problem.
SAS
Deepak Goyal, Robert Paige
1997 — conf
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.
Algorithmic Languages and Calculi
Deepak Goyal, Robert Paige