9 citations · 26 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DC2022
A Pragmatic Approach to Stateful Partial Order Reduction
Berk Cirisci, Constantin Enea, Azadeh Farzan +1
Partial order reduction (POR) is a classic technique for dealing with the state explosion problem in model checking of concurrent programs. Theoretical optimality, i.e., avoiding e…
cs.PL2022
Automated Synthesis of Asynchronizations
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea +1
Asynchronous programming is widely adopted for building responsive and efficient software, and modern languages such as C# provide async/await primitives to simplify the use of asy…