Definite Reference Mutability (Artifact)

Authors Ana Milanova, Wei Huang

Thumbnail PDF

Artifact Description

  • Filesize: 368 kB
  • 3 pages

Document Identifiers

Author Details

Ana Milanova
Wei Huang

Cite AsGet BibTex

Ana Milanova and Wei Huang. Definite Reference Mutability (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 7:1-7:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)



Related paper "Definite Reference Mutability" presents ReM (Re[ference] M[utability]), a type system that separates mutable references into (1) definitely mutable, and (2) maybe mutable, i.e., references whose mutability is due to inherent approximation. We have implemented ReM and applied it on a large benchmark suite. Results show that ~ 86\% of mutable references are definitely mutable. This article describes the tool artifact from the related paper. The purpose of the article and artifact is to allow researchers to reproduce our results, as well as build new type systems upon our code.
  • reference immutability
  • type inference
  • CFL-reachability


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In Proceedings of the 13th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '98, pages 48-64, New York, NY, USA, 1998. ACM. URL:, URL:
  2. Werner Dietl and Peter Müller. Universes: Lightweight ownership for JML. Journal of Object Technology, 4(8):5-32, 2005. Google Scholar
  3. Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, and Jan Vitek. A data-centric approach to synchronization. ACM Transactions on Programming Languages and Systems, 34(1):1-48, April 2012. Google Scholar
  4. Wei Huang. An inference and checking framework for context-sensitive pluggable types. PhD thesis, Rensselaer Polytechnic Institute, 2014. Google Scholar
  5. Wei Huang, Werner Dietl, Ana Milanova, and Michael D. Ernst. Inference and checking of object ownership. In Proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP'12, pages 181-206, Berlin, Heidelberg, 2012. Springer-Verlag. URL:,
  6. Wei Huang, Yao Dong, Ana Milanova, and Julian Dolby. Scalable and precise taint analysis for android. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 106-117, New York, NY, USA, 2015. ACM. URL:, URL:
  7. Wei Huang and Ana Milanova. Inferring AJ types for concurrent libraries. In Workshop on the Foundations of Object-oriented Languages (FOOL), 2012. Google Scholar
  8. Wei Huang, Ana Milanova, Werner Dietl, and Michael D. Ernst. Reim & reiminfer: Checking and inference of reference immutability and method purity. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '12, pages 879-896, New York, NY, USA, 2012. ACM. URL:, URL:
  9. Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, and Vijay Sundaresan. Soot - a java bytecode optimization framework. In Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, November 8-11, 1999, Mississauga, Ontario, Canada, page 13, 1999. URL:, URL:
  10. Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, and Jan Vitek. A type system for data-centric synchronization. In Proceedings of the 24th European Conference on Object-oriented Programming, ECOOP'10, pages 304-328, Berlin, Heidelberg, 2010. Springer-Verlag. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail