On the public citation graph

Alias burying: Unique variables without destructive reads

0 signed · 183 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-48743-3_10openalex-snapshot

An Object-Oriented Effects System

inferredcites →https://doi.org/10.1007/978-0-387-35358-6_1openalex-snapshot

Extended static checking

inferredcites →https://doi.org/10.1007/978-1-4471-3215-8_1openalex-snapshot

High Level Specification of I/O in Functional Languages

inferredcites →https://doi.org/10.1007/978-1-4612-4118-8_11openalex-snapshot

Syntactic Control of Interference

inferredcites →https://doi.org/10.1007/bf01018827openalex-snapshot

State in Haskell

inferredcites →https://doi.org/10.1007/bfb0053062openalex-snapshot

Towards alias-free pointers

inferredcites →https://doi.org/10.1007/bfb0053373openalex-snapshot

Balloon types: Controlling sharing of state in data types

inferredcites →https://doi.org/10.1007/bfb0054091openalex-snapshot

Flexible alias protection

inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot

Linear logic

inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot

Fiftieth volume of theoretical computer science

inferredcites →https://doi.org/10.1016/s0020-0190(99)00043-5openalex-snapshot

Virginity: A contribution to the specification of object-oriented software

inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot

Lecture Notes in Computer Science 1205

inferredcites →https://doi.org/10.1109/32.90445openalex-snapshot

Copying and swapping: influences on the design of reusable software components

inferredcites →https://doi.org/10.1109/icse.1998.671113openalex-snapshot

Promises: limited specifications for analysis and manipulation

inferredcites →https://doi.org/10.1145/115865.115883openalex-snapshot

Reference escape analysis

inferredcites →https://doi.org/10.1145/115866.115883openalex-snapshot

Reference escape analysis

inferredcites →https://doi.org/10.1145/117954.117975openalex-snapshot

Islands

inferredcites →https://doi.org/10.1145/118014.117975openalex-snapshot

Islands

inferredcites →https://doi.org/10.1145/158511.158524openalex-snapshot

Imperative functional programming

inferredcites →https://doi.org/10.1145/193173.195297openalex-snapshot

LCLint

inferredcites →https://doi.org/10.1145/195274.195297openalex-snapshot

LCLint

inferredcites →https://doi.org/10.1145/199818.199860openalex-snapshot

“Use-once” variables and linear objects

inferredcites →https://doi.org/10.1145/263699.263708openalex-snapshot

Rolling your own mutable ADT---a connection between linear types and monads

inferredcites →https://doi.org/10.1145/271510.271517openalex-snapshot

Solving shape-analysis problems in languages with destructive updating

inferredcites →https://doi.org/10.1145/286936.286947openalex-snapshot

Ownership types for flexible alias protection

inferredcites →https://doi.org/10.1145/286936.286953openalex-snapshot

Data groups

inferredcites →https://doi.org/10.1145/286942.286947openalex-snapshot

Ownership types for flexible alias protection

inferredcites →https://doi.org/10.1145/286942.286953openalex-snapshot

Data groups

inferredcites →https://doi.org/10.1145/320384.320386openalex-snapshot

Escape analysis for Java

inferredcites →https://doi.org/10.1145/320384.320387openalex-snapshot

Escape analysis for object-oriented languages

inferredcites →https://doi.org/10.1145/320384.320388openalex-snapshot

Removing unnecessary synchronization in Java

inferredcites →https://doi.org/10.1145/320384.320400openalex-snapshot

Compositional pointer and escape analysis for Java programs

inferredcites →https://doi.org/10.1145/320385.320386openalex-snapshot

Escape analysis for Java

inferredcites →https://doi.org/10.1145/320385.320387openalex-snapshot

Escape analysis for object-oriented languages

inferredcites →https://doi.org/10.1145/320385.320388openalex-snapshot

Removing unnecessary synchronization in Java

inferredcites →https://doi.org/10.1145/320385.320400openalex-snapshot

Compositional pointer and escape analysis for Java programs

inferredcites →https://doi.org/10.1145/3318.3323openalex-snapshot

Detecting global variables in denotational specifications

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/cpe.799openalex-snapshot

Checking ownership and confinement

inferred← citeshttps://doi.org/10.1002/spe.369openalex-snapshot

Confined types in Java

inferred← citeshttps://doi.org/10.1007/11417170_22openalex-snapshot

L3: A Linear Language with Locations

inferred← citeshttps://doi.org/10.1007/11494881_13openalex-snapshot

Specification and Verification of Encapsulation in Java Programs

inferred← citeshttps://doi.org/10.1007/3-540-36208-8_19openalex-snapshot

Formal Techniques for Java-like Programs

inferred← citeshttps://doi.org/10.1007/3-540-44577-3_11openalex-snapshot

Extended Static Checking: A Ten-Year Perspective

inferred← citeshttps://doi.org/10.1007/3-540-45337-7_2openalex-snapshot

Capabilities for Sharing

inferred← citeshttps://doi.org/10.1007/3-540-47764-0_11openalex-snapshot

Applications of Extended Static Checking

inferred← citeshttps://doi.org/10.1007/978-3-319-18941-3_5openalex-snapshot

Refined Ownership:

inferred← citeshttps://doi.org/10.1007/978-3-319-26529-2_12openalex-snapshot

Aliasing Control in an Imperative Pure Calculus

inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_21openalex-snapshot

Typestates for Objects

inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_9openalex-snapshot

External Uniqueness Is Unique Enough

inferred← citeshttps://doi.org/10.1007/978-3-540-69824-1_11openalex-snapshot

Ownership, Uniqueness, and Immutability

inferred← citeshttps://doi.org/10.1007/978-3-540-70592-5_6openalex-snapshot

Kilim: Isolation-Typed Actors for Java

inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_16openalex-snapshot

Modular Shape Analysis for Dynamically Encapsulated Programs

inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_11openalex-snapshot

Minimal Ownership for Active Objects

inferred← citeshttps://doi.org/10.1007/978-3-540-89740-8_12openalex-snapshot

Thread Safety through Partitions and Effect Agreements

inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_18openalex-snapshot

A Graph-Based Operational Semantics of OO Programs

inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_10openalex-snapshot

Fractional Permissions

inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_3openalex-snapshot

Ownership Types: A Survey

inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_4openalex-snapshot

Notions of Aliasing and Ownership

inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_7openalex-snapshot

Alias Control for Deterministic Parallelism

inferred← citeshttps://doi.org/10.1007/s11704-009-0075-6openalex-snapshot

A semantic model of confinement and Locality theorem

inferred← citeshttps://doi.org/10.1016/j.scico.2005.03.002openalex-snapshot

Observations on the assured evolution of concurrent Java programs

inferred← citeshttps://doi.org/10.1016/j.scico.2006.02.003openalex-snapshot

Safe manual memory management in Cyclone

inferred← citeshttps://doi.org/10.1016/j.scico.2007.04.001openalex-snapshot

Reasoning about safety properties in a JVM-like environment

inferred← citeshttps://doi.org/10.1016/j.scico.2008.04.001openalex-snapshot

Implicit ownership types for memory management

inferred← citeshttps://doi.org/10.1016/j.scico.2018.11.007openalex-snapshot

Tracing sharing in an imperative pure calculus

inferred← citeshttps://doi.org/10.1016/j.scico.2022.102878openalex-snapshot

Using capabilities for strict runtime invariant checking

inferred← citeshttps://doi.org/10.1016/j.tcs.2018.09.001openalex-snapshot

Flexible recovery of uniqueness and immutability

inferred← citeshttps://doi.org/10.1109/kst.2015.7051460openalex-snapshot

Feature envy factor: A metric for automatic feature envy detection

inferred← citeshttps://doi.org/10.1109/msr.2017.35openalex-snapshot

Spencer: Interactive Heap Analysis for the Masses

inferred← citeshttps://doi.org/10.1109/policy.2008.24openalex-snapshot

Compile-Time Enforcement of Dynamic Security Policies

inferred← citeshttps://doi.org/10.1109/real.2004.51openalex-snapshot

Scoped Types for Real-Time Java

inferred← citeshttps://doi.org/10.1109/tase.2008.31openalex-snapshot

A Generic Model for Confinement and its Application

inferred← citeshttps://doi.org/10.1109/tse.2024.3443624openalex-snapshot

rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust

inferred← citeshttps://doi.org/10.1109/wicsa.2008.48openalex-snapshot

Using Types to Enforce Architectural Structure

inferred← citeshttps://doi.org/10.1145/1028976.1029010openalex-snapshot

Pluggable verification modules

inferred← citeshttps://doi.org/10.1145/1029873.1029883openalex-snapshot

Experience with safe manual memory-management in cyclone

inferred← citeshttps://doi.org/10.1145/1035292.1029010openalex-snapshot

Pluggable verification modules

inferred← citeshttps://doi.org/10.1145/1040305.1040329openalex-snapshot

Connecting effects and uniqueness with adoption

inferred← citeshttps://doi.org/10.1145/1047659.1040329openalex-snapshot

Connecting effects and uniqueness with adoption

inferred← citeshttps://doi.org/10.1145/1064978.1065022openalex-snapshot

Semantic type qualifiers

inferred← citeshttps://doi.org/10.1145/1065010.1065022openalex-snapshot

Semantic type qualifiers

inferred← citeshttps://doi.org/10.1145/1101821.1101824openalex-snapshot

Ownership confinement ensures representation independence for object-oriented programs

inferred← citeshttps://doi.org/10.1145/1134285.1134321openalex-snapshot

Static detection of leaks in polymorphic containers

inferred← citeshttps://doi.org/10.1145/1181775.1181785openalex-snapshot

How is aliasing used in systems software?

inferred← citeshttps://doi.org/10.1145/1286821.1286823openalex-snapshot

Encapsulating objects with confined types

inferred← citeshttps://doi.org/10.1145/1288258.1288262openalex-snapshot

Raw pointers in application classes of C++ considered harmful

inferred← citeshttps://doi.org/10.1145/1296907.1296923openalex-snapshot

Uniqueness inference for compile-time object deallocation

inferred← citeshttps://doi.org/10.1145/1297027.1297059openalex-snapshot

Inferring aliasing and encapsulation properties for java

inferred← citeshttps://doi.org/10.1145/1297027.1297061openalex-snapshot

Ownership transfer in universe types

inferred← citeshttps://doi.org/10.1145/1297081.1297090openalex-snapshot

Dynamic ownership in a dynamic language

inferred← citeshttps://doi.org/10.1145/1297105.1297059openalex-snapshot

Inferring aliasing and encapsulation properties for java

inferred← citeshttps://doi.org/10.1145/1297105.1297061openalex-snapshot

Ownership transfer in universe types

inferred← citeshttps://doi.org/10.1145/1562154.1562158openalex-snapshot

Comprehending annotations on object-oriented programs using fractional permissions

inferred← citeshttps://doi.org/10.1145/1667048.1667049openalex-snapshot

JavaCOP

inferred← citeshttps://doi.org/10.1145/2048147.2048178openalex-snapshot

Alternate annotation checkers using fractional permissions

inferred← citeshttps://doi.org/10.1145/2049706.2049709openalex-snapshot

Separating ownership topology and encapsulation with generic universe types

inferred← citeshttps://doi.org/10.1145/2103621.2103722openalex-snapshot

A type system for borrowing permissions

inferred← citeshttps://doi.org/10.1145/2103656.2103722openalex-snapshot

A type system for borrowing permissions

inferred← citeshttps://doi.org/10.1145/2384616.2384619openalex-snapshot

Uniqueness and reference immutability for safe parallelism

inferred← citeshttps://doi.org/10.1145/2398857.2384619openalex-snapshot

Uniqueness and reference immutability for safe parallelism

inferred← citeshttps://doi.org/10.1145/2489804.2489810openalex-snapshot

A calculus for constraint-based flow typing

inferred← citeshttps://doi.org/10.1145/2541568.2541574openalex-snapshot

Substructural typestates

inferred← citeshttps://doi.org/10.1145/2814270.2814280openalex-snapshot

Disjointness domains for fine-grained aliasing

inferred← citeshttps://doi.org/10.1145/2824815.2824816openalex-snapshot

Deny capabilities for safe, fast actors

inferred← citeshttps://doi.org/10.1145/2858965.2814280openalex-snapshot

Disjointness domains for fine-grained aliasing

inferred← citeshttps://doi.org/10.1145/2972206.2972208openalex-snapshot

Inference and Checking of Object Immutability

inferred← citeshttps://doi.org/10.1145/2983990.2984042openalex-snapshot

LaCasa: lightweight affinity and object capabilities in Scala

inferred← citeshttps://doi.org/10.1145/2993600.2993604openalex-snapshot

Short Paper

inferred← citeshttps://doi.org/10.1145/3022671.2984042openalex-snapshot

LaCasa: lightweight affinity and object capabilities in Scala

inferred← citeshttps://doi.org/10.1145/3062341.3062376openalex-snapshot

Simple, fast, and safe manual memory management

inferred← citeshttps://doi.org/10.1145/3092255.3092274openalex-snapshot

Type-assisted automatic garbage collection for lock-free data structures

inferred← citeshttps://doi.org/10.1145/3103111.3104038openalex-snapshot

Tracing sharing in an imperative pure calculus

inferred← citeshttps://doi.org/10.1145/3136000.3136010openalex-snapshot

Rust-like borrowing with 2nd-class values (short paper)

inferred← citeshttps://doi.org/10.1145/3140587.3062376openalex-snapshot

Simple, fast, and safe manual memory management

inferred← citeshttps://doi.org/10.1145/3141879openalex-snapshot

Project snowflake: non-blocking safe manual memory management in .NET

inferred← citeshttps://doi.org/10.1145/3156685.3092274openalex-snapshot

Type-assisted automatic garbage collection for lock-free data structures

inferred← citeshttps://doi.org/10.1145/3167132.3167245openalex-snapshot

A type and effect system for uniqueness and immutability

inferred← citeshttps://doi.org/10.1145/3219753.3219757openalex-snapshot

Parallel programming with arrays in Kappa

inferred← citeshttps://doi.org/10.1145/3242947.3242951openalex-snapshot

Extending SHAPES for SIMD Architectures

inferred← citeshttps://doi.org/10.1145/3276604.3276612openalex-snapshot

A practical type system for safe aliasing

inferred← citeshttps://doi.org/10.1145/3340670.3342427openalex-snapshot

Progress Report

inferred← citeshttps://doi.org/10.1145/3443420openalex-snapshot

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust

inferred← citeshttps://doi.org/10.1145/3471874.3472988openalex-snapshot

Safe mutation with algebraic effects

inferred← citeshttps://doi.org/10.1145/3486607.3486747openalex-snapshot

Dala: a simple capability-based dynamic language design for data race-freedom

inferred← citeshttps://doi.org/10.1145/3519939.3523443openalex-snapshot

A flexible type system for fearless concurrency

inferred← citeshttps://doi.org/10.1145/3611096.3611097openalex-snapshot

Rusty Links in Local Chains✱

inferred← citeshttps://doi.org/10.1145/3622841openalex-snapshot

A Grounded Conceptual Model for Ownership Types in Rust

inferred← citeshttps://doi.org/10.1145/3622846openalex-snapshot

Reference Capabilities for Flexible Memory Management

inferred← citeshttps://doi.org/10.1145/3678721.3686228openalex-snapshot

Dafny vs. Dala: Experience with Mechanising Language Design

inferred← citeshttps://doi.org/10.1145/3729313openalex-snapshot

Dynamic Region Ownership for Concurrency Safety

inferred← citeshttps://doi.org/10.1145/3759429.3762625openalex-snapshot

Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities

inferred← citeshttps://doi.org/10.1145/3763064openalex-snapshot

Reasoning about External Calls

inferred← citeshttps://doi.org/10.1145/3763122openalex-snapshot

Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees

inferred← citeshttps://doi.org/10.1145/503272.503276openalex-snapshot

Role analysis

inferred← citeshttps://doi.org/10.1145/503272.503289openalex-snapshot

Representation independence, confinement and access control [extended abstract]

inferred← citeshttps://doi.org/10.1145/504282.504300openalex-snapshot

Encapsulating objects with confined types

inferred← citeshttps://doi.org/10.1145/512529.512532openalex-snapshot

Adoption and focus

inferred← citeshttps://doi.org/10.1145/512529.512559openalex-snapshot

Using data groups to specify and check side effects

inferred← citeshttps://doi.org/10.1145/543552.512532openalex-snapshot

Adoption and focus

inferred← citeshttps://doi.org/10.1145/543552.512559openalex-snapshot

Using data groups to specify and check side effects

inferred← citeshttps://doi.org/10.1145/565816.503276openalex-snapshot

Role analysis

inferred← citeshttps://doi.org/10.1145/565816.503289openalex-snapshot

Representation independence, confinement and access control [extended abstract]

inferred← citeshttps://doi.org/10.1145/570886.570888openalex-snapshot

Data abstraction and information hiding

inferred← citeshttps://doi.org/10.1145/581339.581395openalex-snapshot

Assuring and evolving concurrent programs

inferred← citeshttps://doi.org/10.1145/582419.582447openalex-snapshot

Ownership, encapsulation and the disjointness of type and effect

inferred← citeshttps://doi.org/10.1145/582419.582448openalex-snapshot

Alias annotations for program understanding

inferred← citeshttps://doi.org/10.1145/583854.582447openalex-snapshot

Ownership, encapsulation and the disjointness of type and effect

inferred← citeshttps://doi.org/10.1145/583854.582448openalex-snapshot

Alias annotations for program understanding

inferred← citeshttps://doi.org/10.1145/586094.586109openalex-snapshot

The code of many colors

inferred← citeshttps://doi.org/10.1145/634636.586109openalex-snapshot

The code of many colors

inferred← citeshttps://doi.org/10.1145/780822.781146openalex-snapshot

Checking and inferring local non-aliasing

inferred← citeshttps://doi.org/10.1145/780822.781150openalex-snapshot

A practical flow-sensitive and context-sensitive C and C++ memory leak detector

inferred← citeshttps://doi.org/10.1145/781131.781146openalex-snapshot

Checking and inferring local non-aliasing

inferred← citeshttps://doi.org/10.1145/781131.781150openalex-snapshot

A practical flow-sensitive and context-sensitive C and C++ memory leak detector

inferred← citeshttps://doi.org/10.1145/781147.781150openalex-snapshot

A practical flow-sensitive and context-sensitive C and C++ memory leak detector

inferred← citeshttps://doi.org/10.1145/965660.965681openalex-snapshot

Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent

inferred← citeshttps://doi.org/10.1184/r1/6620846openalex-snapshot

A Type System for Borrowing Permissions (CMU-CS-11-142)

inferred← citeshttps://doi.org/10.1201/9781420043839.ch9openalex-snapshot

Type Systems

inferred← citeshttps://doi.org/10.21236/ada456086openalex-snapshot

A Type Checked Prototype-Based Model with Linearity

inferred← citeshttps://doi.org/10.26686/wgtn.13174931openalex-snapshot

Tracing and preventing sharing and mutation

inferred← citeshttps://doi.org/10.26686/wgtn.13174961openalex-snapshot

Flexible recovery of uniqueness and immutability

inferred← citeshttps://doi.org/10.26686/wgtn.13174961.v1openalex-snapshot

Flexible recovery of uniqueness and immutability

inferred← citeshttps://doi.org/10.26686/wgtn.16946002openalex-snapshot

Encapsulation Enforcement with Dynamic Ownership

inferred← citeshttps://doi.org/10.26686/wgtn.16946002.v1openalex-snapshot

Encapsulation Enforcement with Dynamic Ownership

inferred← citeshttps://doi.org/10.26686/wgtn.17006749openalex-snapshot

Generic Ownership Types for Java and the Collections Framework

inferred← citeshttps://doi.org/10.26686/wgtn.17006749.v1openalex-snapshot

Generic Ownership Types for Java and the Collections Framework

inferred← citeshttps://doi.org/10.26686/wgtn.17012642openalex-snapshot

Object Cloning for Ownership Systems

inferred← citeshttps://doi.org/10.26686/wgtn.17012642.v1openalex-snapshot

Object Cloning for Ownership Systems

inferred← citeshttps://doi.org/10.31274/rtd-180813-16463openalex-snapshot

Modular subclass verification: safely creating correct subclasses without superclass code

inferred← citeshttps://doi.org/10.3929/ethz-a-005951213openalex-snapshot

Universe Types: Topology, encapsulation, genericity, and tools

inferred← citeshttps://doi.org/10.4204/eptcs.293.4openalex-snapshot

A Syntactic Model of Mutation and Aliasing

inferred← citeshttps://doi.org/10.48456/tr-769openalex-snapshot

Kilim: A server framework with lightweight actors, isolation types and zero-copy messaging

inferred← citeshttps://doi.org/10.48550/arxiv.1607.05609openalex-snapshot

Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness

inferred← citeshttps://doi.org/10.48550/arxiv.1703.05615openalex-snapshot

Spencer: Interactive Heap Analysis for the Masses

inferred← citeshttps://doi.org/10.48550/arxiv.1807.00137openalex-snapshot

Flexible recovery of uniqueness and immutability (Extended Version)

inferred← citeshttps://doi.org/10.48550/arxiv.1902.10231openalex-snapshot

Sound Invariant Checking Using Type Modifiers and Object Capabilities

inferred← citeshttps://doi.org/10.5381/jot.2004.3.6.a2openalex-snapshot

Verification of Object-Oriented Programs with Invariants.

inferred← citeshttps://doi.org/10.5381/jot.2005.4.8.a1openalex-snapshot

Universes: Lightweight Ownership for JML.

inferred← citeshttps://doi.org/10.5381/jot.2007.6.5.a3openalex-snapshot

A Parameterized Type System for Simple Loose Ownership Domains.

inferred← citeshttps://doi.org/10.5381/jot.2017.16.3openalex-snapshot

inferred← citeshttps://doi.org/10.5381/jot.2017.16.3.a1openalex-snapshot

Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java.

inferred← citeshttps://doi.org/10.5446/56916openalex-snapshot

RedLeaf: Isolation and Communication in a Safe Operating System

inferred← citeshttps://doi.org/10.70675/71c01dc7zbe64z4323z9474z12bf15d5d4a7openalex-snapshot

Memory safety for synchronous reactive programming

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.