dblp.uni-trier.dewww.uni-trier.de

Deepak Goyal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
8EEDeepak Goyal: Transformational Derivation of an Improved Alias Analysis Algorithm. Higher-Order and Symbolic Computation 18(1-2): 15-49 (2005)
7EEJohn Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav: Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005)
2003
6EECharles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski: Streaming XPath Processing with Forward and Backward Axes. ICDE 2003: 455-466
5EEJohn Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
2002
4EEG. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv: Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94
3EERoman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212
1998
2EEDeepak Goyal, Robert Paige: A New Solution to the Hidden Copy Problem. SAS 1998: 327-348
1997
1 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: 382-414

Coauthor Index

1Charles Barton [6]
2Philippe Charles [6]
3John Field [3] [4] [5] [7]
4Marcus Fontoura [6]
5Vanja Josifovski [6]
6Roman Manevich [3]
7Robert Paige [1] [2]
8Mukund Raghavachari [6]
9G. Ramalingam (Ganesan Ramalingam) [3] [4] [5] [7]
10Shmuel Sagiv (Mooly Sagiv) [3] [4]
11Alex Varshavsky [4]
12Eran Yahav [5] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)