Document Open Access Logo

Definite Reference Mutability (Artifact)

Authors Ana Milanova, Wei Huang

PDF
Thumbnail PDF

Artifact Description

DARTS.4.3.7.pdf
  • Filesize: 368 kB
  • 3 pages

Document Identifiers

Author Details

Ana Milanova
Wei Huang

Cite As Get 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) https://doi.org/10.4230/DARTS.4.3.7

Artifact

  MD5 Sum: 590b9f9b3160a342dcf2d71abb6c7585 (Get MD5 Sum)

Abstract

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.

Subject Classification

Keywords
  • reference immutability
  • type inference
  • CFL-reachability

Metrics

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

Related Article

References

  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: http://doi.acm.org/10.1145/286936.286947, URL: http://dx.doi.org/10.1145/286936.286947.
  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: http://dx.doi.org/10.1007/978-3-642-31057-7_9,
  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: http://doi.acm.org/10.1145/2771783.2771803, URL: http://dx.doi.org/10.1145/2771783.2771803.
  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: http://doi.acm.org/10.1145/2384616.2384680, URL: http://dx.doi.org/10.1145/2384616.2384680.
  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: http://doi.acm.org/10.1145/781995.782008, URL: http://dx.doi.org/10.1145/781995.782008.
  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: http://dl.acm.org/citation.cfm?id=1883978.1884000.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact