On the public citation graph
High‐level data races
0 signed · 194 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/10722468_14openalex-snapshot
Model-Checking Multi-threaded Distributed Java Programs
inferredcites →https://doi.org/10.1007/10722468_15openalex-snapshot
Using Runtime Analysis to Guide Model Checking of Java Programs
inferredcites →https://doi.org/10.1007/10722468_20openalex-snapshot
Runtime Checking of Multithreaded Applications with Visual Threads
inferredcites →https://doi.org/10.1007/3-540-45319-9_19openalex-snapshot
Boolean and Cartesian Abstraction for Model Checking C Programs
inferredcites →https://doi.org/10.1007/s100090050043openalex-snapshot
Model checking JAVA programs using JAVA PathFinder
inferredcites →https://doi.org/10.1016/s1571-0661(04)00253-1openalex-snapshot
Monitoring Java Programs with Java PathExplorer
inferredcites →https://doi.org/10.1016/s1571-0661(04)81049-1openalex-snapshot
Run-Time Analysis for Atomicity
inferredcites →https://doi.org/10.1109/32.940728openalex-snapshot
Formal analysis of a space-craft controller using SPIN
inferredcites →https://doi.org/10.1109/aswec.2001.948499openalex-snapshot
Applying static analysis to large-scale, multi-threaded Java programs
inferredcites →https://doi.org/10.1109/icdcs.1998.679835openalex-snapshot
Consistency conditions for multi-object distributed operations
inferredcites →https://doi.org/10.1109/tc.1979.1675439openalex-snapshot
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
inferredcites →https://doi.org/10.1145/263699.263717openalex-snapshot
Model checking for programming languages using VeriSoft
inferredcites →https://doi.org/10.1145/302405.302710openalex-snapshot
A practical method for verifying event-driven software
inferredcites →https://doi.org/10.1145/322154.322158openalex-snapshot
The serializability of concurrent database updates
inferredcites →https://doi.org/10.1145/325405.325443openalex-snapshot
An efficient, fault-tolerant protocol for replicated data management
inferredcites →https://doi.org/10.1145/507234.507236openalex-snapshot
Atomicity and isolation for transactional processes
inferredcites →https://doi.org/10.1145/78969.78972openalex-snapshot
Linearizability: a correctness condition for concurrent objects
inferredcites →https://doi.org/10.5381/jot.2004.3.6.a5openalex-snapshot
Static Detection of Atomicity Violations in Object-Oriented Programs.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119332015.ch16openalex-snapshot
Smart Interleavings for Testing Parallel Programs
inferred← citeshttps://doi.org/10.1002/9781119880929.ch1openalex-snapshot
Software Fault Localization: an Overview of Research, Techniques, and Tools
inferred← citeshttps://doi.org/10.1002/cpe.1068openalex-snapshot
Towards a framework and a benchmark for testing tools for multi‐threaded programs
inferred← citeshttps://doi.org/10.1002/cpe.4114openalex-snapshot
Enabling semantics to improve detection of data races and misuses of lock‐free data structures
inferred← citeshttps://doi.org/10.1002/stvr.1464openalex-snapshot
Formal passive testing of timed systems: theory and tools
inferred← citeshttps://doi.org/10.1002/stvr.1564openalex-snapshot
A survey of race bug detection techniques for multithreaded programmes
inferred← citeshttps://doi.org/10.1002/stvr.1797openalex-snapshot
Effective fault localization and context‐aware debugging for concurrent programs
inferred← citeshttps://doi.org/10.1007/11678779_15openalex-snapshot
Dynamic Deadlock Analysis of Multi-threaded Programs
inferred← citeshttps://doi.org/10.1007/11759744_5openalex-snapshot
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
inferred← citeshttps://doi.org/10.1007/3-540-36208-8_19openalex-snapshot
Formal Techniques for Java-like Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-00302-9_6openalex-snapshot
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_1openalex-snapshot
Runtime Verification - 17 Years Later
inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_25openalex-snapshot
Data Races and Static Analysis for Interrupt-Driven Kernels
inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_21openalex-snapshot
Static Analysis for Detecting High-Level Races in RTOS Kernels
inferred← citeshttps://doi.org/10.1007/978-3-030-87348-6_6openalex-snapshot
Hardware-Assisted Online Data Race Detection
inferred← citeshttps://doi.org/10.1007/978-3-031-24848-1_4openalex-snapshot
Static Data Race Detection in Multi-task Programs for Industrial Robots
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_45openalex-snapshot
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-07317-0_5openalex-snapshot
Verification of Concurrent Systems with VerCors
inferred← citeshttps://doi.org/10.1007/978-3-319-52234-0_22openalex-snapshot
Detecting All High-Level Dataraces in an RTOS Kernel
inferred← citeshttps://doi.org/10.1007/978-3-319-66706-5_13openalex-snapshot
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_2openalex-snapshot
Discovering Concurrency Errors
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_25openalex-snapshot
Runtime Verification Past Experiences and Future Projections
inferred← citeshttps://doi.org/10.1007/978-3-319-95246-8_2openalex-snapshot
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces
inferred← citeshttps://doi.org/10.1007/978-3-319-99933-3_7openalex-snapshot
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization
inferred← citeshttps://doi.org/10.1007/978-3-540-24622-0_24openalex-snapshot
Applying Jlint to Space Exploration Software
inferred← citeshttps://doi.org/10.1007/978-3-540-27813-9_37openalex-snapshot
JNuke: Efficient Dynamic Analysis for Java
inferred← citeshttps://doi.org/10.1007/978-3-540-30476-0_16openalex-snapshot
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
inferred← citeshttps://doi.org/10.1007/978-3-540-45213-3_24openalex-snapshot
Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos
inferred← citeshttps://doi.org/10.1007/978-3-540-69166-2_14openalex-snapshot
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
inferred← citeshttps://doi.org/10.1007/978-3-540-70889-6_14openalex-snapshot
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise
inferred← citeshttps://doi.org/10.1007/978-3-540-93900-9_18openalex-snapshot
Finding Concurrency-Related Bugs Using Random Isolation
inferred← citeshttps://doi.org/10.1007/978-3-642-11319-2_23openalex-snapshot
Model-Checking In-Lined Reference Monitors
inferred← citeshttps://doi.org/10.1007/978-3-642-13550-7_8openalex-snapshot
Static Versioning of Global State for Race Condition Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-21338-0_2openalex-snapshot
Detecting High-Level Synchronization Errors in Parallel Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-27549-4_67openalex-snapshot
A Uniform Classification of Common Concurrency Errors
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_13openalex-snapshot
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_8openalex-snapshot
Permission Regions for Race-Free Parallelism
inferred← citeshttps://doi.org/10.1007/978-3-642-30598-6_7openalex-snapshot
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
inferred← citeshttps://doi.org/10.1007/978-3-642-33119-0_8openalex-snapshot
Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern
inferred← citeshttps://doi.org/10.1007/978-3-642-39611-3_8openalex-snapshot
Precise Detection of Atomicity Violations
inferred← citeshttps://doi.org/10.1007/978-3-642-39955-8_9openalex-snapshot
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions
inferred← citeshttps://doi.org/10.1007/978-3-642-54804-8_16openalex-snapshot
Verifying Class Invariants in Concurrent Programs
inferred← citeshttps://doi.org/10.1007/s10009-003-0117-6openalex-snapshot
Efficient monitoring of safety properties
inferred← citeshttps://doi.org/10.1007/s10009-011-0197-7openalex-snapshot
Finding concurrency-related bugs using random isolation
inferred← citeshttps://doi.org/10.1007/s10009-013-0294-xopenalex-snapshot
Verification and validation meet planning and scheduling
inferred← citeshttps://doi.org/10.1007/s10009-015-0403-0openalex-snapshot
Some recent advances in automated analysis
inferred← citeshttps://doi.org/10.1007/s10664-017-9578-1openalex-snapshot
Pinpointing and repairing performance bottlenecks in concurrent programs
inferred← citeshttps://doi.org/10.1007/s10703-020-00354-0openalex-snapshot
Static analysis for detecting high-level races in RTOS kernels
inferred← citeshttps://doi.org/10.1007/s11227-019-02827-4openalex-snapshot
Detecting semantic violations of lock-free data structures through C++ contracts
inferred← citeshttps://doi.org/10.1007/s11390-015-1504-7openalex-snapshot
System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.01.032openalex-snapshot
JVM Independent Replay in Java
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.01.018openalex-snapshot
Combined Static and Dynamic Analysis
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.034openalex-snapshot
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.02.004openalex-snapshot
Concurrent Java Test Generation as a Search Problem
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.04.004openalex-snapshot
Fault Detection in Multi-Threaded C++ Server Applications
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110450openalex-snapshot
A survey on the use of access permission-based specifications for program verification
inferred← citeshttps://doi.org/10.1016/j.scico.2007.12.001openalex-snapshot
Atomizer: A dynamic atomicity checker for multithreaded programs
inferred← citeshttps://doi.org/10.1016/j.scico.2015.11.006openalex-snapshot
Implementing record and refinement for debugging timing-dependent communication
inferred← citeshttps://doi.org/10.1016/j.scico.2018.05.001openalex-snapshot
Specification and verification of synchronization with condition variables
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.11.007openalex-snapshot
Combining test case generation and runtime verification
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80828-4openalex-snapshot
Formal Methods Group ETH Zürich
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)81049-1openalex-snapshot
Run-Time Analysis for Atomicity
inferred← citeshttps://doi.org/10.1023/b:form.0000017721.39909.4bopenalex-snapshot
An Overview of the Runtime Verification Tool Java PathExplorer
inferred← citeshttps://doi.org/10.1109/aero.2006.1656133openalex-snapshot
Emerging Technologies for V&V of ISHM Software for Space Exploration
inferred← citeshttps://doi.org/10.1109/apsec53868.2021.00011openalex-snapshot
Thread-Sensitive Data Race Detection for Java
inferred← citeshttps://doi.org/10.1109/ase.2019.00112openalex-snapshot
Visual Analytics for Concurrent Java Executions
inferred← citeshttps://doi.org/10.1109/compsac.2007.236openalex-snapshot
Visualization of Concurrent Program Executions
inferred← citeshttps://doi.org/10.1109/icacci.2018.8554955openalex-snapshot
Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS
inferred← citeshttps://doi.org/10.1109/iccc64910.2025.11077320openalex-snapshot
Data-Race Detection in Multi-Threaded Programs
inferred← citeshttps://doi.org/10.1109/icse.2017.32openalex-snapshot
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
inferred← citeshttps://doi.org/10.1109/icsecompanion.2007.74openalex-snapshot
Testing Concurrent Java Components
inferred← citeshttps://doi.org/10.1109/icsme.2017.29openalex-snapshot
SimEvo: Testing Evolving Multi-process Software Systems
inferred← citeshttps://doi.org/10.1109/icst.2017.25openalex-snapshot
Verifying Concurrent Programs Using Contracts
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1303345openalex-snapshot
Atomizer: a dynamic atomicity checker for multithreaded programs (summary)
inferred← citeshttps://doi.org/10.1109/isola.2006.18openalex-snapshot
Noise Makers Need to Know Where to be Silent – Producing Schedules That Find Bugs
inferred← citeshttps://doi.org/10.1109/ispass64960.2025.00054openalex-snapshot
GPU Simulation Acceleration via Parallelization
inferred← citeshttps://doi.org/10.1109/mutation.2006.10openalex-snapshot
Mutation Operators for Concurrent Java (J2SE 5.0)
inferred← citeshttps://doi.org/10.1109/pdcat.2012.74openalex-snapshot
Exploring Deterministic Shared Memory Programming Model
inferred← citeshttps://doi.org/10.1109/pdp.2016.57openalex-snapshot
A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
inferred← citeshttps://doi.org/10.1109/scam.2011.16openalex-snapshot
Tuning Static Data Race Analysis for Automotive Control Software
inferred← citeshttps://doi.org/10.1109/sere-c.2013.33openalex-snapshot
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
inferred← citeshttps://doi.org/10.1109/tiv.2024.3409085openalex-snapshot
Mesh-LOAM: Real-Time Mesh-Based LiDAR Odometry and Mapping
inferred← citeshttps://doi.org/10.1109/tpds.2011.254openalex-snapshot
Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions
inferred← citeshttps://doi.org/10.1109/tpds.2013.209openalex-snapshot
Library-Independent Data Race Detection
inferred← citeshttps://doi.org/10.1109/tse.2006.1599419openalex-snapshot
Runtime analysis of atomicity for multithreaded programs
inferred← citeshttps://doi.org/10.1109/tse.2010.25openalex-snapshot
Aspect-Oriented Race Detection in Java
inferred← citeshttps://doi.org/10.1109/tse.2011.35openalex-snapshot
Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing
inferred← citeshttps://doi.org/10.1109/tse.2016.2521368openalex-snapshot
A Survey on Software Fault Localization
inferred← citeshttps://doi.org/10.1145/1111037.1111067openalex-snapshot
Associating synchronization constraints with data in an object-oriented language
inferred← citeshttps://doi.org/10.1145/1111320.1111067openalex-snapshot
Associating synchronization constraints with data in an object-oriented language
inferred← citeshttps://doi.org/10.1145/1147403.1147410openalex-snapshot
Producing scheduling that causes concurrent programs to fail
inferred← citeshttps://doi.org/10.1145/1176887.1176908openalex-snapshot
Scheduling-independent threads and exceptions in SHIM
inferred← citeshttps://doi.org/10.1145/1229428.1229457openalex-snapshot
Fault detection in multi-threaded c++ server applications
inferred← citeshttps://doi.org/10.1145/1273647.1273658openalex-snapshot
Healing data races on-the-fly
inferred← citeshttps://doi.org/10.1145/1321631.1321678openalex-snapshot
Testing concurrent programs using value schedules
inferred← citeshttps://doi.org/10.1145/1368088.1368120openalex-snapshot
Dynamic detection of atomic-set-serializability violations
inferred← citeshttps://doi.org/10.1145/1449764.1449783openalex-snapshot
Verifying correct usage of atomic blocks and typestate
inferred← citeshttps://doi.org/10.1145/1449955.1449783openalex-snapshot
Verifying correct usage of atomic blocks and typestate
inferred← citeshttps://doi.org/10.1145/1595637.1595647openalex-snapshot
A thread synchronization model for SIP servlet containers
inferred← citeshttps://doi.org/10.1145/1595696.1595700openalex-snapshot
Asserting and checking determinism for multithreaded programs
inferred← citeshttps://doi.org/10.1145/1639950.1639978openalex-snapshot
Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09)
inferred← citeshttps://doi.org/10.1145/1743546.1743572openalex-snapshot
Asserting and checking determinism for multithreaded programs
inferred← citeshttps://doi.org/10.1145/1806799.1806836openalex-snapshot
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing
inferred← citeshttps://doi.org/10.1145/1866210.1866213openalex-snapshot
Detection of Transactional Memory anomalies using static analysis
inferred← citeshttps://doi.org/10.1145/1929529.1929537openalex-snapshot
Flexible in-lined reference monitor certification
inferred← citeshttps://doi.org/10.1145/1941553.1941575openalex-snapshot
Cooperative reasoning for preemptive execution
inferred← citeshttps://doi.org/10.1145/1966445.1966465openalex-snapshot
Finding complex concurrency bugs in large multi-threaded applications
inferred← citeshttps://doi.org/10.1145/1993806.1993819openalex-snapshot
The impact of memory models on software reliability in multiprocessors
inferred← citeshttps://doi.org/10.1145/2002962.2002968openalex-snapshot
Practical verification of high-level dataraces in transactional memory programs
inferred← citeshttps://doi.org/10.1145/2038037.1941575openalex-snapshot
Cooperative reasoning for preemptive execution
inferred← citeshttps://doi.org/10.1145/2103799.2103808openalex-snapshot
A virtual memory foundation for scalable deterministic parallelism
inferred← citeshttps://doi.org/10.1145/2160718.2160742openalex-snapshot
Efficient system-enforced deterministic parallelism
inferred← citeshttps://doi.org/10.1145/2160910.2160913openalex-snapshot
A data-centric approach to synchronization
inferred← citeshttps://doi.org/10.1145/2254064.2254126openalex-snapshot
Fully automatic and precise detection of thread safety violations
inferred← citeshttps://doi.org/10.1145/2304736.2304758openalex-snapshot
An MDE approach to address synchronization needs in component-based real-time systems
inferred← citeshttps://doi.org/10.1145/2338967.2336810openalex-snapshot
Using program closures to make an application programming interface (API) implementation thread safe
inferred← citeshttps://doi.org/10.1145/2338967.2336812openalex-snapshot
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools
inferred← citeshttps://doi.org/10.1145/2345156.2254126openalex-snapshot
Fully automatic and precise detection of thread safety violations
inferred← citeshttps://doi.org/10.1145/2462029.2462030openalex-snapshot
Automated inference of atomic sets for safe concurrent execution
inferred← citeshttps://doi.org/10.1145/2610384.2610393openalex-snapshot
Performance regression testing of concurrent classes
inferred← citeshttps://doi.org/10.1145/2883404.2883406openalex-snapshot
Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool
inferred← citeshttps://doi.org/10.1145/2931037.2931070openalex-snapshot
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks
inferred← citeshttps://doi.org/10.1145/2957319.2957377openalex-snapshot
Data-centric Consistency Policies
inferred← citeshttps://doi.org/10.1145/3062341.3062364openalex-snapshot
Systematic black-box analysis of collaborative web applications
inferred← citeshttps://doi.org/10.1145/3140587.3062364openalex-snapshot
Systematic black-box analysis of collaborative web applications
inferred← citeshttps://doi.org/10.1145/3238147.3238212openalex-snapshot
Is this class thread-safe? inferring documentation using graph-based learning
inferred← citeshttps://doi.org/10.1145/3293883.3295723openalex-snapshot
Encapsulated open nesting for STM
inferred← citeshttps://doi.org/10.1145/3622801openalex-snapshot
AtomiS: Data-Centric Synchronization Made Practical
inferred← citeshttps://doi.org/10.1145/3632915openalex-snapshot
Predictive Monitoring against Pattern Regular Languages
inferred← citeshttps://doi.org/10.1147/jrd.2010.2060276openalex-snapshot
Detection of deadlock potentials in multithreaded programs
inferred← citeshttps://doi.org/10.21203/rs.3.rs-3969331/v1openalex-snapshot
Test Scenario Generation from Nested ConcurrentActivity Diagrams
inferred← citeshttps://doi.org/10.22028/d291-26605openalex-snapshot
Effective testing for concurrency bugs
inferred← citeshttps://doi.org/10.2298/csis110110007lopenalex-snapshot
Detecting concurrency anomalies in transactional memory programs
inferred← citeshttps://doi.org/10.2514/6.2005-6912openalex-snapshot
Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications
inferred← citeshttps://doi.org/10.26083/tuprints-00017377openalex-snapshot
Learning to Find Bugs in Programs and their Documentation
inferred← citeshttps://doi.org/10.3724/sp.j.1001.2013.04353openalex-snapshot
Data Structure Directed Thread Partitioning Method and Execution Model
inferred← citeshttps://doi.org/10.3929/ethz-a-004756402openalex-snapshot
Detecting synchronization defects in multi-threaded object-oriented programs
inferred← citeshttps://doi.org/10.3929/ethz-a-005005473openalex-snapshot
Combining static and dynamic analysis to find multi-threading faults beyond data races
inferred← citeshttps://doi.org/10.3929/ethz-a-007595467openalex-snapshot
Program analyses for automatic and precise error detection
inferred← citeshttps://doi.org/10.4018/978-1-5225-7353-1.ch007openalex-snapshot
A Review of Dynamic Verification of Security and Dependability Properties
inferred← citeshttps://doi.org/10.4204/eptcs.137.10openalex-snapshot
Static Application-Level Race Detection in STM Haskell using Contracts
inferred← citeshttps://doi.org/10.47893/ijcsi.2012.1048openalex-snapshot
Extending Racer with Thread is Alive Mechanism
inferred← citeshttps://doi.org/10.48550/arxiv.0912.0926openalex-snapshot
Deterministic Consistency: A Programming Model for Shared Memory Parallelism
inferred← citeshttps://doi.org/10.48550/arxiv.1005.3450openalex-snapshot
Efficient System-Enforced Deterministic Parallelism
inferred← citeshttps://doi.org/10.48550/arxiv.1103.6114openalex-snapshot
The Impact of Memory Models on Software Reliability in Multiprocessors
inferred← citeshttps://doi.org/10.48550/arxiv.1505.02951openalex-snapshot
Preventing Atomicity Violations with Contracts
inferred← citeshttps://doi.org/10.48550/arxiv.2009.02775openalex-snapshot
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs
inferred← citeshttps://doi.org/10.5381/jot.2004.3.6.a5openalex-snapshot
Static Detection of Atomicity Violations in Object-Oriented Programs.
inferred← citeshttps://doi.org/10.5555/1924943.1924957openalex-snapshot
Efficient system-enforced deterministic parallelism
inferred← citeshttps://doi.org/10.7916/d8f196mcopenalex-snapshot
SHIM: A Deterministic Approach to Programming with Threads
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.