On the public citation graph

Verifying quantitative reliability for programs that execute on unreliable hardware

https://doi.org/10.1145/2958738
0 signed · 48 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/978-3-642-23702-7_24openalex-snapshot
Probabilistically Accurate Program Transformations
inferredcites →https://doi.org/10.1109/32.54295openalex-snapshot
The use of self checks and voting in software error detection: an empirical study
inferredcites →https://doi.org/10.1109/cgo.2005.34openalex-snapshot
SWIFT: Software Implemented Fault Tolerance
inferredcites →https://doi.org/10.1109/ipdps.2009.5160991openalex-snapshot
Best-effort parallel execution framework for Recognition and mining applications
inferredcites →https://doi.org/10.1109/tc.2005.145openalex-snapshot
Energy Aware Computing through Probabilistic Switching: A Study of Limits
inferredcites →https://doi.org/10.1145/1183401.1183447openalex-snapshot
Probabilistic accuracy bounds for fault-tolerant computations that discard tasks
inferredcites →https://doi.org/10.1145/1250734.1250741openalex-snapshot
Fault-tolerant typed assembly language
inferredcites →https://doi.org/10.1145/1806596.1806620openalex-snapshot
Green
inferredcites →https://doi.org/10.1145/1806799.1806808openalex-snapshot
Quality of service profiling
inferredcites →https://doi.org/10.1145/1815961.1816026openalex-snapshot
Relax
inferredcites →https://doi.org/10.1145/1831708.1831713openalex-snapshot
Automatically identifying critical input regions and code in applications
inferredcites →https://doi.org/10.1145/1950365.1950390openalex-snapshot
Dynamic knobs for responsive power-aware computing
inferredcites →https://doi.org/10.1145/1950365.1950391openalex-snapshot
Flikker
inferredcites →https://doi.org/10.1145/1993316.1993518openalex-snapshot
EnerJ
inferredcites →https://doi.org/10.1145/1993498.1993518openalex-snapshot
EnerJ
inferredcites →https://doi.org/10.1145/2025113.2025131openalex-snapshot
Proving programs robust
inferredcites →https://doi.org/10.1145/2025113.2025133openalex-snapshot
Managing performance vs. accuracy trade-offs with loop perforation
inferredcites →https://doi.org/10.1145/2103621.2103710openalex-snapshot
Randomized accuracy-aware program transformations for efficient approximate computations
inferredcites →https://doi.org/10.1145/2103656.2103710openalex-snapshot
Randomized accuracy-aware program transformations for efficient approximate computations
inferredcites →https://doi.org/10.1145/2150976.2151008openalex-snapshot
Architecture support for disciplined approximate programming
inferredcites →https://doi.org/10.1145/2248487.2151008openalex-snapshot
Architecture support for disciplined approximate programming
inferredcites →https://doi.org/10.1145/2254064.2254086openalex-snapshot
Proving acceptability properties of relaxed nondeterministic approximate programs
inferredcites →https://doi.org/10.1145/2426890.2426901openalex-snapshot
Verified integrity properties for safe approximate program transformations
inferredcites →https://doi.org/10.1145/2465787.2465790openalex-snapshot
Parallelizing Sequential Programs with Statistical Accuracy Tests
inferredcites →https://doi.org/10.1145/2491956.2462179openalex-snapshot
Static analysis for probabilistic programs
inferredcites →https://doi.org/10.1145/2660193.2660231openalex-snapshot
Chisel
inferredcites →https://doi.org/10.1145/73007.73015openalex-snapshot
Designing programs that check their work
inferredcites →https://doi.org/10.5555/1870926.1871008openalex-snapshot
Scalable stochastic processors
inferredcites →https://doi.org/10.5555/1870926.1871302openalex-snapshot
ERSA: error resilient system architecture for probabilistic applications
inferredcites →https://doi.org/10.5555/2190025.2190056openalex-snapshot
Language and compiler support for auto-tuning variable-accuracy algorithms
inferredcites →https://doi.org/10.5555/956417.956571openalex-snapshot
Razor: a low-power pipeline based on circuit-level timing speculation

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_3openalex-snapshot
Foundations for Entailment Checking in Quantitative Separation Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_5openalex-snapshot
Does a Program Yield the Right Distribution?
inferred← citeshttps://doi.org/10.1016/bs.adcom.2021.09.004openalex-snapshot
Approximate communication for energy-efficient network-on-chip
inferred← citeshttps://doi.org/10.1109/access.2024.3467375openalex-snapshot
Approximate Computing: Concepts, Architectures, Challenges, Applications, and Future Directions
inferred← citeshttps://doi.org/10.1109/cases.2015.7324547openalex-snapshot
PAC: Program Analysis for Approximation-aware Compilation
inferred← citeshttps://doi.org/10.1109/iccd.2017.31openalex-snapshot
ABDTR: Approximation-Based Dynamic Traffic Regulation for Networks-on-Chip Systems
inferred← citeshttps://doi.org/10.1109/infocom42981.2021.9488751openalex-snapshot
PCL: Packet Classification with Limited Knowledge
inferred← citeshttps://doi.org/10.1109/islped.2017.8009198openalex-snapshot
QuARK: Quality-configurable approximate STT-MRAM cache by fine-grained tuning of reliability-energy knobs
inferred← citeshttps://doi.org/10.1109/jetcas.2018.2881461openalex-snapshot
Energy-Quality Scalable Integrated Circuits and Systems: Continuing Energy Scaling in the Twilight of Moore’s Law
inferred← citeshttps://doi.org/10.1109/mdat.2015.2505723openalex-snapshot
Approximate Computing: A Survey
inferred← citeshttps://doi.org/10.1109/mm.2015.108openalex-snapshot
Axilog: Abstractions for Approximate Hardware Design and Reuse
inferred← citeshttps://doi.org/10.1145/3290347openalex-snapshot
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
inferred← citeshttps://doi.org/10.1145/3586051openalex-snapshot
Lower Bounds for Possibly Divergent Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3649844openalex-snapshot
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
inferred← citeshttps://doi.org/10.47749/t/unicamp.2022.1238495openalex-snapshot
Software and hardware interfaces for approximate memories
inferred← citeshttps://doi.org/10.5555/2755753.2755938openalex-snapshot
Axilog: language support for approximate hardware design
inferred← citeshttps://doi.org/10.5555/2830689.2830700openalex-snapshot
PAC: program analysis for approximation-aware compilation
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.