Deepak Goyal - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2009

Non-cycle-accurate sequential equivalence checkingPankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma. dac 2009: 460-465 [doi]

2005

Typestate verification: Abstraction techniques and complexity resultsJohn Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav. SCP, 58(1-2):57-82, 2005. [doi]

Transformational Derivation of an Improved Alias Analysis AlgorithmDeepak Goyal. lisp, 18(1-2):15-49, 2005. [doi]

2003

Streaming XPath Processing with Forward and Backward AxesCharles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski. icde 2003: 455-466 [doi]

Typestate Verification: Abstraction Techniques and Complexity ResultsJohn Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav. SAS 2003: 439-462 [doi]

2002

Compactly Representing First-Order Structures for Static AnalysisRoman Manevich, Ganesan Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv. SAS 2002: 196-212 [doi]

Deriving Specialized Program Analyses for Certifying Component-Client ConformanceGanesan Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv. PLDI 2002: 83-94 [doi]

2000

Automated development of software for program analysis and transformationDeepak Goyal, Y. Annie Liu. sigsoft, 25(1):52-53, 2000. [doi]

A Language-Theoretic Approach to AlgorithmsDeepak Goyal. PhD thesis, New York University, USA, 2000. [doi]

1998

A New Solution to the Hidden Copy ProblemDeepak Goyal, Robert Paige. SAS 1998: 327-348 [doi]

1997

The formal reconstruction and speedup of the linear time fragment of Willard s relational calculus subsetDeepak Goyal, Robert Paige. alc 1997: 382-414

Sign in or sign up to see more results.

runs on WebDSL