Dinges, Peter; Charalambides, Minas; Agha, Gul A.(2013-04-04)
Atomic sets are a synchronization mechanism in which the
programmer specifies the groups of data that must be accessed as
a unit. The compiler can check this specification for
consistency, detect deadlocks, and ...
Knowing inputs that cover a specific branch or statement in a program
is useful for debugging and regression testing. Symbolic backward
execution (SBE) is a natural approach to find such targeted inputs.
However, SBE ...
Tasharofi, Samira; Dinges, Peter; Johnson, Ralph E.(2012-10-14)
Mixing the actor model with other concurrency models in a single program can break the actor abstraction. This increases the chance of creating deadlocks and data races—two mistakes that are hard to make with actors. ...