Inferring method effect summaries for nested heap regions

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 421-432

  Vakilian, Mohsen ^a   Dig, Danny ^a   Bocchino, Robert ^a   Overbey, Jeffrey ^a   Adve, Vikram ^a   Johnson, Ralph ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENT EFFECTS; EFFECT SYSTEM; INFERENCE ALGORITHM; PLUG-INS; SIDE EFFECT;

ALGORITHMS; COMPUTER SOFTWARE; INFERENCE ENGINES; PROGRAM COMPILERS;

JAVA PROGRAMMING LANGUAGE;

EID: 77951170755     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.68     Document Type: Conference Paper

References (30)

1. J. M. Lucassen et al., "Polymorphic effect systems," in POPL, 1988.
2. R. T. Hammel and D. K. Gifford, "FX-87 performance measurements: Dataflow implementation," Tech. Rep. MIT/LCS/TR-421, 1988.
3. A. Greenhouse and J. Boyland, "An object-oriented effects system," ECOOP, 1999.
4. "DPJ homepage," http://dpj.cs.illinois.edu.
5. R. L. Bocchino, V. S. Adve, D. Dig, S. Adve, S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, and M. Vakilian, "A Type and Effect System for Deterministic Parallel Java," to appear in OOPSLA 2009.
6. D. Clarke and S. Drossopoulou, "Ownership, encapsulation and the disjointness of type and effect," in OOPSLA, 2002.
7. P. Jouvelot and D. Gifford, "Algebraic reconstruction of types and effect," in POPL, 1991.
8. J.-P. Talpin and P. Jouvelot, "Polymorphic type, region and effect inference," J. Funct. Prog., July 1992.
9. G. Bierman and M. Parkinson, "Effects and effect inference for a core java calculus," Workshop on Object Oriented Developments (WOOD), 2003.
10. R. L. Bocchino, V. S. Adve, S. V. Adve, and M. Snir, "Parallel Programming Must Be Deterministic By Default," in First USENIX Workshop on Hot Topics in Parallelism (HotPar), 2009.
11. J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, Third Edition. Addison-Wesley Longman, 2005.
12. D. G. Clarke et al., "Ownership types for flexible alias protection," OOPSLA, 1998.
13. C. Boyapati, B. Liskov, and L. Shrira, "Ownership types for object encapsulation," in POPL, 2003.
14. C. Boyapati, R. Lee, and M. Rinard, "Ownership types for safe programming: preventing data races and deadlocks," in OOPSLA, 2002.
15. K. R. M. Leino et al., "Using data groups to specify and check side effects," 2002.
16. N. R. Cameron, S. Drossopoulou, J. Noble, and M. J. Smith, "Multiple ownership," OOPSLA, 2007.
17. J. P. Banning, "An efficient way to find the side effects of procedure calls and the aliases of variables," in POPL, 1979.
18. B. G. Ryder, W. A. Landi, P. A. Stocks, S. Zhang, and R. Altucher, "A schema for interprocedural modification side-effect analysis with pointer aliasing," TOPLAS, 2001.
19. A. Salcianu and M. C. Rinard, "Purity and side effect analysis for Java programs," in VMCAI, 2005.
20. A. Rountev, "Precise identification of side-effect-free methods in java," in ICSM, 2004.
21. P. C. Diniz, "Commutativity analysis: A new analysis technique for parallelizing compilers," TOPLAS, 1997.
22. M. Tofte and L. Birkedal, "A region inference algorithm," TOPLAS, 1998.
23. W.-N. Chin, F. Craciun, S. Qin, and M. Rinard, "Region inference for an object-oriented language," in PLDI, 2004.
24. A. Banerjee, M. Barnett, and D. A. Naumann, "Boogie meets Regions: A verification experience report," in VSTTE, 2008.
25. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney, "Region-based memory management in Cyclone," PLDI, 2002.
26. A. Kiezun, M. D. Ernst, F. Tip, and R. M. Fuhrer, "Refactoring for parameterizing Java classes," in ICSE, 2007.
27. R. Agarwal and S. D. Stoller, "Type inference for parameterized race-free Java," in VMCAI, 2004.
28. J. Quinonez, M. S. Tschantz, and M. D. Ernst, "Inference of reference immutability," in ECOOP, 2008.
29. T. Terauchi and A. Aiken, "A capability calculus for concurrency and determinism," TOPLAS, 2008.
30. J. Boyland, "Checking interference with fractional permissions," SAS, 2003.