Conference paperDeriving specialized program analyses for certifying component-client conformanceG. Ramalingam, Alex Warshavsky, et al.PLDI 2002
PaperTypestate verification: Abstraction techniques and complexity resultsJ. Field, D. Goyal, et al.Science of Computer Programming
PaperOn the complexity of partially-flow-sensitive alias analysisN. Rinetzky, G. Ramalingam, et al.ACM TOPLAS
