You are here


Found 2 results
Filters: Author is Overbey, Jeffrey  [Clear All Filters]
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.
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.