Encapsulating objects with confined types

Authors:
Christian Grothoff;Jens Palsberg;Jan Vitek
Affiliations:
University of California, Los Angeles, CA;University of California, Los Angeles, CA;Purdue University, West Lafayette, IN
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
2007

Citing 27
Cited 13

Islands: aliasing protection in object-oriented languages

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
The Geneva convention on the treatment of object aliasing

ACM SIGPLAN OOPS Messenger
Semantic models and abstract interpretation techniques for inductive data structures and pointers

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
CoffeeStrainer: statically-checked constraints on the definition and use of types in Java

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Escape analysis for object-oriented languages: application to Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Confined types

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Sealed calls in Java packages

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Confined types in Java

Software—Practice & Experience - Special issue on aliasing in object-oriented systems
Alias burying: unique variables without destructive reads

Software—Practice & Experience - Special issue on aliasing in object-oriented systems
Representation independence, confinement and access control [extended abstract]

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Alias annotations for program understanding

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Protecting Free Expression Online with Freenet

IEEE Internet Computing
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
An Approach to Improve Locality Using Sandwich Types

TIC '98 Proceedings of the Second International Workshop on Types in Compilation
Object Teams: Improving Modularity for Crosscutting Collaborations

NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Ownership types for safe region-based memory management in real-time Java

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Escape analysis for JavaTM: Theory and practice

ACM Transactions on Programming Languages and Systems (TOPLAS)
Lightweight confinement for featherweight java

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Saving the world from bad beans: deployment-time confinement checking

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Object ownership and containment

Object ownership and containment
Scoped Types for Real-Time Java

RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium

Implicit ownership types for memory management

Science of Computer Programming
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
TAPIDO: trust and authorization via provenance and integrity in distributed objects

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
PHALANX: parallel checking of expressive heap assertions

Proceedings of the 2010 international symposium on Memory management
Tribal ownership

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A type system for data-centric synchronization

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A data-centric approach to synchronization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic boundaries: information hiding by second order framing with first order assertions (ESOP invited lecture)

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Static detection of loop-invariant data structures

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries

Journal of the ACM (JACM)
Are your incoming aliases really necessary? counting the cost of object ownership

Proceedings of the 2013 International Conference on Software Engineering
Befactoring: preserving non-functional properties under behavioural change

Proceedings of the 2013 ACM workshop on Workshop on refactoring tools
Ownership types: a survey

Aliasing in Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-oriented languages provide little support for encapsulating objects. Reference semantics allows objects to escape their defining scope, and the pervasive aliasing that ensues remains a major source of software defects. This paper presents Kacheck/J, a tool for inferring object encapsulation properties of large Java programs. Our goal is to develop practical tools to assist software engineers, thus we focus on simple and scalable techniques. Kacheck/J is able to infer confinement—the property that all instances of a given type are encapsulated in their defining package. This simple property can be used to identify accidental leaks of sensitive objects, as well as for compiler optimizations. We report on the analysis of a large body of code and discuss language support and refactoring for confinement.