The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. - Deepak Goyal; Robert Paige (Algorithmic Languages and Calculi, 1997)

A New Solution to the Hidden Copy Problem. - Deepak Goyal; Robert Paige (SAS, 1998)

Automated development of software for program analysis and transformation. - Deepak Goyal; Y. Annie Liu (ACM SIGSOFT Softw. Eng. Notes, 2000)

A Language-Theoretic Approach to Algorithms. - Deepak Goyal (2000)

Deriving Specialized Program Analyses for Certifying Component-Client Conformance. - G. Ramalingam; Alex Varshavsky; John Field; Deepak Goyal; Shmuel Sagiv (PLDI, 2002)

Compactly Representing First-Order Structures for Static Analysis. - Roman Manevich; G. Ramalingam; John Field; Deepak Goyal; Shmuel Sagiv (SAS, 2002)

Streaming XPath Processing with Forward and Backward Axes. - Charles Barton; Philippe Charles; Deepak Goyal; Mukund Raghavachari; Marcus Fontoura; Vanja Josifovski (ICDE, 2003)

Transformational Derivation of an Improved Alias Analysis Algorithm. - Deepak Goyal (High. Order Symb. Comput., 2005)

Typestate verification: Abstraction techniques and complexity results. - John Field; Deepak Goyal; Ganesan Ramalingam; Eran Yahav (Sci. Comput. Program., 2005)

Non-cycle-accurate sequential equivalence checking. - Pankaj Chauhan; Deepak Goyal; Gagan Hasteer; Anmol Mathur; Nikhil Sharma (DAC, 2009)

Parameter estimation based IIR system identification using improved arithmetic optimization algorithm. - Deepak Goyal; Puneet Khanna; Sandeep Singh (Evol. Syst., 2025)