On the public citation graph
Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences
0 signed · 65 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/11693017_25openalex-snapshot
Automated Systematic Testing of Open Distributed Programs
inferredcites →https://doi.org/10.1007/3-540-16042-6_2openalex-snapshot
Concurrent programming using actors: Exploiting large-scale parallelism
inferredcites →https://doi.org/10.1007/978-3-030-00302-9_6openalex-snapshot
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
inferredcites →https://doi.org/10.1007/978-3-030-21485-2_18openalex-snapshot
Types for Progress in Actor Programs
inferredcites →https://doi.org/10.1007/978-3-030-45234-6_5openalex-snapshot
An Empirical Study on the Use and Misuse of Java 8 Streams
inferredcites →https://doi.org/10.1007/978-3-642-12029-9_22openalex-snapshot
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
inferredcites →https://doi.org/10.1007/978-3-642-30793-5_14openalex-snapshot
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
inferredcites →https://doi.org/10.1007/978-3-642-39038-8_13openalex-snapshot
Why Do Scala Developers Mix the Actor Model with other Concurrency Models?
inferredcites →https://doi.org/10.1007/s10664-012-9231-yopenalex-snapshot
What are developers talking about? An analysis of topics and trends in Stack Overflow
inferredcites →https://doi.org/10.1007/s10664-015-9379-3openalex-snapshot
What are mobile developers asking about? A large scale study using stack overflow
inferredcites →https://doi.org/10.1007/s11390-016-1672-0openalex-snapshot
What Security Questions Do Developers Ask? A Large-Scale Study of Stack Overflow Posts
inferredcites →https://doi.org/10.1007/s11432-014-5150-4openalex-snapshot
A formal semantics for debugging synchronous message passing-based concurrent programs
inferredcites →https://doi.org/10.1016/j.jss.2012.04.053openalex-snapshot
Automated, highly-accurate, bug assignment using machine learning and tossing graphs
inferredcites →https://doi.org/10.1016/j.scico.2013.03.011openalex-snapshot
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model
inferredcites →https://doi.org/10.1109/ase.2009.88openalex-snapshot
A Framework for State-Space Exploration of Java-Based Actor Programs
inferredcites →https://doi.org/10.1109/ase.2013.6693072openalex-snapshot
Bita: Coverage-guided, automatic testing of actor programs
inferredcites →https://doi.org/10.1109/ase.2017.8115663openalex-snapshot
A comprehensive study on real world concurrency bugs in Node.js
inferredcites →https://doi.org/10.1109/icse.2019.00072openalex-snapshot
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
inferredcites →https://doi.org/10.1109/msr.2019.00086openalex-snapshot
Boa Meets Python: A Boa Dataset of Data Science Software in Python Language
inferredcites →https://doi.org/10.1109/scam.2018.00011openalex-snapshot
[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring
inferredcites →https://doi.org/10.1109/tse.2017.2707089openalex-snapshot
A Survey of Recent Trends in Testing Concurrent Software Systems
inferredcites →https://doi.org/10.1111/j.1468-0394.2005.00299.xopenalex-snapshot
Making sense of card sorting data
inferredcites →https://doi.org/10.1145/1137983.1138027openalex-snapshot
How long did it take to fix bugs?
inferredcites →https://doi.org/10.1145/1394496.1394499openalex-snapshot
Enforcing behavioral constraints in evolving aspect-oriented programs
inferredcites →https://doi.org/10.1145/2038037.1941566openalex-snapshot
Inferring ownership transfer for efficient message passing
inferredcites →https://doi.org/10.1145/2568225.2568324openalex-snapshot
A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair
inferredcites →https://doi.org/10.1145/2724525.2724568openalex-snapshot
Panini: a concurrent programming model for solving pervasive and oblivious interference
inferredcites →https://doi.org/10.1145/2884781.2884848openalex-snapshot
On the "naturalness" of buggy code
inferredcites →https://doi.org/10.1145/2889443.2889444openalex-snapshot
On ordering problems in message passing software
inferredcites →https://doi.org/10.1145/2950290.2950308openalex-snapshot
Discovering bug patterns in JavaScript
inferredcites →https://doi.org/10.1145/3141834.3141837openalex-snapshot
Order types: static reasoning about message races in asynchronous message passing concurrency
inferredcites →https://doi.org/10.1145/3141834.3141839openalex-snapshot
A principled approach towards debugging communicating event-loops
inferredcites →https://doi.org/10.1145/3180155.3180201openalex-snapshot
Secure coding practices in Java
inferredcites →https://doi.org/10.1145/3213846.3213866openalex-snapshot
An empirical study on TensorFlow program bugs
inferredcites →https://doi.org/10.1145/3239235.3239524openalex-snapshot
What do concurrency developers ask about?
inferredcites →https://doi.org/10.1145/3297858.3304069openalex-snapshot
Understanding Real-World Concurrency Bugs in Go
inferredcites →https://doi.org/10.1145/3338906.3338939openalex-snapshot
Going big: a large-scale study on what big data developers ask
inferredcites →https://doi.org/10.1145/3358499.3361221openalex-snapshot
Modal assertions for actor correctness
inferredcites →https://doi.org/10.4204/eptcs.155.8openalex-snapshot
Towards Composable Concurrency Abstractions
inferredcites →https://doi.org/10.4230/lipics.ecoop.2017.25openalex-snapshot
Mailbox Abstractions for Static Analysis of Actor Programs
inferredcites →https://doi.org/10.4230/lipics.ecoop.2018.8openalex-snapshot
Targeted Test Generation for Actor Systems
inferredcites →https://doi.org/10.4230/lipics.ecoop.2019.27openalex-snapshot
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)
inferredcites →https://doi.org/10.5555/2337223.2337363openalex-snapshot
Characterizing and predicting which bugs get reopened
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-032-05291-9_3openalex-snapshot
Actor Capabilities for Message Ordering
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107704openalex-snapshot
Open source oriented cross-platform survey
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108264openalex-snapshot
Exception handling bugs in Python: An empirical study of root causes, fix patterns, and anti-patterns
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102928openalex-snapshot
Deductive verification of active objects with Crowbar
inferred← citeshttps://doi.org/10.1109/issre62328.2024.00063openalex-snapshot
Feedback-Directed Cross-Layer Optimization of Cloud-Based Functional Actor Applications
inferred← citeshttps://doi.org/10.1145/3485500openalex-snapshot
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
inferred← citeshttps://doi.org/10.1145/3524842.3528455openalex-snapshot
Challenges in migrating imperative deep learning programs to graph execution
inferred← citeshttps://doi.org/10.1145/3611643.3616362openalex-snapshot
𝜇Akka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs
inferred← citeshttps://doi.org/10.1145/3689799openalex-snapshot
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
inferred← citeshttps://doi.org/10.1145/3698038.3698540openalex-snapshot
Rethinking State Management in Actor Systems for Cloud-Native Applications
inferred← citeshttps://doi.org/10.1145/3729288openalex-snapshot
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
inferred← citeshttps://doi.org/10.1145/3759429.3762617openalex-snapshot
Synchronous Programming for Kids: A Manifesto
inferred← citeshttps://doi.org/10.1145/3776581openalex-snapshot
An Empirical Study on Challenges of Event Management in Microservice Architectures
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.