On the public citation graph
A Type System for Safe Intermittent Computing
0 signed · 63 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-45309-1_4openalex-snapshot
Secure Information Flow and CPS
inferredcites →https://doi.org/10.1109/cgo.2013.6495002openalex-snapshot
Idempotent code generation: Implementation, analysis, and evaluation
inferredcites →https://doi.org/10.1109/giots.2017.8016243openalex-snapshot
Peripheral state persistence for transiently-powered systems
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/les.2014.2371494openalex-snapshot
Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems
inferredcites →https://doi.org/10.1109/micro.2018.00029openalex-snapshot
iDO: Compiler-Directed Failure Atomicity for Nonvolatile Memory
inferredcites →https://doi.org/10.1109/mm.2015.46openalex-snapshot
Memory Persistency: Semantics for Byte-Addressable Nonvolatile Memory Technologies
inferredcites →https://doi.org/10.1109/tcad.2016.2547919openalex-snapshot
Hibernus++: A Self-Calibrating and Adaptive System for Transiently-Powered Embedded Devices
inferredcites →https://doi.org/10.1145/1926385.1926447openalex-snapshot
Safe nondeterminism in a deterministic-by-default parallel language
inferredcites →https://doi.org/10.1145/2254064.2254120openalex-snapshot
Static analysis and compiler design for idempotent processing
inferredcites →https://doi.org/10.1145/2429069.2429100openalex-snapshot
Fault tolerance via idempotence
inferredcites →https://doi.org/10.1145/2737924.2737978openalex-snapshot
A simpler, safer programming and execution model for intermittent systems
inferredcites →https://doi.org/10.1145/2983990.2983995openalex-snapshot
Chain: tasks and channels for reliable intermittent programs
inferredcites →https://doi.org/10.1145/3051528.3051531openalex-snapshot
Type systems for information flow control
inferredcites →https://doi.org/10.1145/3123939.3124533openalex-snapshot
Incidental computing on IoT nonvolatile processors
inferredcites →https://doi.org/10.1145/3131672.3131673openalex-snapshot
Timely Execution on Intermittently Powered Batteryless Sensors
inferredcites →https://doi.org/10.1145/3133920openalex-snapshot
Alpaca: intermittent execution without checkpoints
inferredcites →https://doi.org/10.1145/3158154openalex-snapshot
RustBelt: securing the foundations of the Rust programming language
inferredcites →https://doi.org/10.1145/3192366.3192375openalex-snapshot
MixT: a language for mixing consistency in geodistributed transactions
inferredcites →https://doi.org/10.1145/3276507openalex-snapshot
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model
inferredcites →https://doi.org/10.1145/3314221.3314583openalex-snapshot
Transactional concurrency control for intermittent, energy-harvesting computing systems
inferredcites →https://doi.org/10.1145/3314221.3314613openalex-snapshot
Supporting peripherals in intermittent systems with just-in-time checkpoints
inferredcites →https://doi.org/10.1145/3356250.3360033openalex-snapshot
Intermittent asynchronous peripheral operations
inferredcites →https://doi.org/10.1145/3360561openalex-snapshot
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models
inferredcites →https://doi.org/10.1145/3360573openalex-snapshot
Leveraging rust types for modular specification and verification
inferredcites →https://doi.org/10.1145/3371109openalex-snapshot
Stacked borrows: an aliasing model for Rust
inferredcites →https://doi.org/10.1145/3372799.3394365openalex-snapshot
Intermittent Computing with Peripherals, Formally Verified
inferredcites →https://doi.org/10.1145/3373376.3378476openalex-snapshot
Time-sensitive Intermittent Computing Meets Legacy Software
inferredcites →https://doi.org/10.1145/3385412.3385998openalex-snapshot
Adaptive low-overhead scheduling for periodic and reactive intermittent execution
inferredcites →https://doi.org/10.1145/3417308.3430266openalex-snapshot
Intermittence Anomalies not Considered Harmful
inferredcites →https://doi.org/10.1145/3428231openalex-snapshot
Towards a formal foundation of intermittent computing
inferredcites →https://doi.org/10.1145/3453483.3454081openalex-snapshot
Automatically enforcing fresh and consistent inputs in intermittent systems
inferredcites →https://doi.org/10.1145/3462205openalex-snapshot
RustHorn: CHC-based Verification for Rust Programs
inferredcites →https://doi.org/10.1145/3471440.3471446openalex-snapshot
Computational Nanosatellite Constellations
inferredcites →https://doi.org/10.1145/3519939.3523445openalex-snapshot
Modular information flow through ownership
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.1184/r1/22583920openalex-snapshot
Technical Report: A Type System for Safe Intermittent Computing
inferredcites →https://doi.org/10.3390/s18010172openalex-snapshot
RESTOP: Retaining External Peripheral State in Intermittently-Powered Sensor Systems
inferredcites →https://doi.org/10.4230/lipics.ecoop.2023.39openalex-snapshot
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)
inferredcites →https://doi.org/10.5555/3291168.3291178openalex-snapshot
Adaptive dynamic checkpointing for safe efficient intermittent computing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1109/jiot.2026.3668885openalex-snapshot
EcoAIoT: A Survey on Ecological and Sustainable AIoT Systems With Energy Harvesting
inferred← citeshttps://doi.org/10.1109/sensors59705.2025.11330908openalex-snapshot
Every Microjoule Counts: Zero-Failure Task Execution in Batteryless Sensors
inferred← citeshttps://doi.org/10.1109/tcad.2024.3443710openalex-snapshot
MII: A Multifaceted Framework for Intermittence-Aware Inference and Scheduling
inferred← citeshttps://doi.org/10.1145/3629524openalex-snapshot
Mapi-Pro: An Energy Efficient Memory Mapping Technique for Intermittent Computing
inferred← citeshttps://doi.org/10.1145/3649817openalex-snapshot
Cocoon: Static Information Flow Control in Rust
inferred← citeshttps://doi.org/10.1145/3663408.3663414openalex-snapshot
A Little Certainty is All We Need: Discovery and Synchronization Acceleration in Battery-Free IoT
inferred← citeshttps://doi.org/10.1145/3676641.3715995openalex-snapshot
Energy-aware Scheduling and Input Buffer Overflow Prevention for Energy-harvesting Systems
inferred← citeshttps://doi.org/10.1145/3715335.3735497openalex-snapshot
Bringing Context to the Underserved: Rethinking Context-Aware Design to Bridge the Digital Divide
inferred← citeshttps://doi.org/10.1145/3716311openalex-snapshot
Modal Crash Types for WAR-Aware Intermittent Computing
inferred← citeshttps://doi.org/10.1145/3735452.3735534openalex-snapshot
vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
inferred← citeshttps://doi.org/10.1145/3808300openalex-snapshot
Exploiting Sophisticated Static Analysis for Verilog
inferred← citeshttps://doi.org/10.1184/r1/22583920openalex-snapshot
Technical Report: A Type System for Safe Intermittent Computing
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.