Browse Research and Tech Reports - Computer Science by Author "Dinges, Peter"

  • 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 ...

    application/pdf

    application/pdfPDF (471kB)
  • Dinges, Peter; Agha, Gul A. (2014-09-11)
    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 ...

    application/pdf

    application/pdfPDF (387kB)
  • 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. ...

    application/pdf

    application/pdfPDF (251kB)