DARTS.4.3.7.pdf
- Filesize: 368 kB
- 3 pages
Document
Definite Reference Mutability (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Volume: DARTS, Volume 4 (ECOOP 2018)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2018-07-05
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)
https://doi.org/10.4230/DARTS.4.3.7
https://doi.org/10.4230/DARTS.4.3.7
Artifact
DARTS-4-3-7-artifact-590b9f9b3160a342dcf2d71abb6c7585.zip
(Filesize: 114.82 MB)
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.
Keywords
- reference immutability
- type inference
- CFL-reachability
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- 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.
-
Werner Dietl and Peter Müller. Universes: Lightweight ownership for JML. Journal of Object Technology, 4(8):5-32, 2005.
-
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.
-
Wei Huang. An inference and checking framework for context-sensitive pluggable types. PhD thesis, Rensselaer Polytechnic Institute, 2014.
- 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,
- 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.
-
Wei Huang and Ana Milanova. Inferring AJ types for concurrent libraries. In Workshop on the Foundations of Object-oriented Languages (FOOL), 2012.
- 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.
- 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.
- 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.