150 citations · 341 across the 17 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
Optimizing Solution Quality in Synchronization Synthesis
Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger +4
Given a multithreaded program written assuming a friendly, non-preemptive scheduler, the goal of synchronization synthesis is to automatically insert synchronization primitives to…
cs.PL2015★ 3 cited
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger +4
We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedu…