On the public citation graph
Competitive parallelism: getting your priorities right
0 signed · 49 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.1002/(sici)1096-9128(199809/11)10:11/13<825::aid-cpe383>3.0.co;2-hopenalex-snapshot
Titanium: a high-performance Java dialect
inferredcites →https://doi.org/10.1006/jpdc.1994.1038openalex-snapshot
Implementation of a Portable Nested Data-Parallel Language
inferredcites →https://doi.org/10.1007/978-1-4471-3166-3_5openalex-snapshot
Complexity Analysis for a Lazy Higher-Order Language
inferredcites →https://doi.org/10.1007/978-3-540-24725-8_16openalex-snapshot
Modal Proofs as Distributed Programs
inferredcites →https://doi.org/10.1007/978-3-540-78663-4_9openalex-snapshot
Type-Safe Distributed Programming with ML5
inferredcites →https://doi.org/10.1007/978-3-662-49498-1_11openalex-snapshot
Automatically Splitting a Two-Stage Lambda Calculus
inferredcites →https://doi.org/10.1016/s0022-0000(75)80008-0openalex-snapshot
NP-complete scheduling problems
inferredcites →https://doi.org/10.1017/cbo9780511574962openalex-snapshot
Concurrent Programming in ML
inferredcites →https://doi.org/10.1017/s0956796810000201openalex-snapshot
Implicitly threaded parallelism in Manticore
inferredcites →https://doi.org/10.1017/s0960129501003322openalex-snapshot
A judgmental reconstruction of modal logic
inferredcites →https://doi.org/10.1109/12.21127openalex-snapshot
Speedup versus efficiency in parallel systems
inferredcites →https://doi.org/10.1109/lics.1996.561317openalex-snapshot
A temporal-logic approach to binding-time analysis
inferredcites →https://doi.org/10.1109/lics.2004.7openalex-snapshot
A symmetric modal lambda calculus for distributed computing
inferredcites →https://doi.org/10.1145/1345206.1345211openalex-snapshot
Type inference for locality analysis of distributed data structures
inferredcites →https://doi.org/10.1145/1411204.1411240openalex-snapshot
Space profiling for parallel functional programs
inferredcites →https://doi.org/10.1145/155183.155221openalex-snapshot
A formal definition of priority in CSP
inferredcites →https://doi.org/10.1145/168619.168627openalex-snapshot
Using threads in interactive systems
inferredcites →https://doi.org/10.1145/1863543.1863582openalex-snapshot
Regular, shape-polymorphic, parallel arrays in Haskell
inferredcites →https://doi.org/10.1145/224164.224210openalex-snapshot
Parallelism in sequential functional languages
inferredcites →https://doi.org/10.1145/232627.232650openalex-snapshot
A provable time and space efficient implementation of NESL
inferredcites →https://doi.org/10.1145/2442516.2442538openalex-snapshot
Scheduling parallel programs by work stealing with private deques
inferredcites →https://doi.org/10.1145/277650.277725openalex-snapshot
The implementation of the Cilk-5 multithreaded language
inferredcites →https://doi.org/10.1145/2951913.2951935openalex-snapshot
Hierarchical memory management for parallel programs
inferredcites →https://doi.org/10.1145/3062341.3062370openalex-snapshot
Responsive parallel computation: bridging competitive and cooperative threading
inferredcites →https://doi.org/10.1145/321812.321815openalex-snapshot
The Parallel Evaluation of General Arithmetic Expressions
inferredcites →https://doi.org/10.1145/358818.358824openalex-snapshot
Experience with processes and monitors in Mesa
inferredcites →https://doi.org/10.1145/4472.4478openalex-snapshot
MULTILISP: a language for concurrent symbolic computation
inferredcites →https://doi.org/10.1145/51634.51636openalex-snapshot
The control of priority inversion in Ada
inferredcites →https://doi.org/10.1145/6465.6466openalex-snapshot
A structural view of the Cedar programming environment
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-67438-0_3openalex-snapshot
Synchronous Message-Passing with Priority
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104892openalex-snapshot
Fairness and communication-based semantics for session-typed languages
inferred← citeshttps://doi.org/10.1017/s0956796821000174openalex-snapshot
Real-time MLton: A Standard ML runtime for real-time functional programs
inferred← citeshttps://doi.org/10.1017/s0956796822000119openalex-snapshot
Send to me first: Priority in synchronous message-passing
inferred← citeshttps://doi.org/10.1145/3350755.3400236openalex-snapshot
Priority Scheduling for Interactive Applications
inferred← citeshttps://doi.org/10.1145/3385412.3386013openalex-snapshot
Responsive parallelism with futures and state
inferred← citeshttps://doi.org/10.1145/3434299openalex-snapshot
Provably space-efficient parallel functional programming
inferred← citeshttps://doi.org/10.1145/3498708openalex-snapshot
Static prediction of parallel computation graphs
inferred← citeshttps://doi.org/10.1145/3547646openalex-snapshot
Entanglement detection with near-zero cost
inferred← citeshttps://doi.org/10.1145/3558481.3591092openalex-snapshot
An Efficient Scheduler for Task-Parallel Interactive Applications
inferred← citeshttps://doi.org/10.1145/3591249openalex-snapshot
Responsive Parallelism with Synchronization
inferred← citeshttps://doi.org/10.1145/3591284openalex-snapshot
Efficient Parallel Functional Programming with Effects
inferred← citeshttps://doi.org/10.1145/3639403openalex-snapshot
Modeling and Analyzing Evaluation Cost of CUDA Kernels
inferred← citeshttps://doi.org/10.1145/3808334openalex-snapshot
Responsive Parallelism with Dynamic and First-Class Priorities
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.