Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

3 results for Deepak Goyal

Deriving specialized program analyses for certifying component-client conformance
- - G. Ramalingam
  - Alex Warshavsky
  - et al.
- 2002
- PLDI 2002
Streaming XPath processing with forward and backward axes
- - Charles Barton
  - Philippe Charles
  - et al.
- 2003
- ICDE 2003
Typestate verification: Abstraction techniques and complexity results
- - J. Field
  - D. Goyal
  - et al.
- 2005
- Science of Computer Programming