Found 2 results

Vakilian, M., D. Dig, R. Bocchino, J. Overbey, V. Adve, and R. Johnson, "Inferring Method Effect Summaries for Nested Heap Regions", 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), Auckland, New Zealand, IEEE, pp. 421 - 432, 11/2009. Abstract
Bocchino, R. L., M. Vakilian, V. S. Adve, D. Dig, S. V. Adve, S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, et al., "A type and effect system for deterministic parallel Java", Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09, Orlando, Florida, ACM Press, pp. 97-116, 10/2009. Abstract