8 citations · 17 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
Context-Bounded Verification of Thread Pools
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam +1
Thread pooling is a common programming idiom in which a fixed set of worker threads are maintained to execute tasks concurrently. The workers repeatedly pick tasks and execute them…
cs.FL2021★ 4 cited
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
The model of asynchronous programming arises in many contexts, from low-level systems software to high-level web programming. We take a language-theoretic perspective and show gene…