Scoped Synchronization Constraints for Large Scale Actor Systems. - Peter Dinges; Gul Agha (COORDINATION, 2012)

Parameterized Concurrent Multi-Party Session Types - Minas Charalambides; Peter Dinges; Gul Agha (FOCLASA, 2012)

Why Do Scala Developers Mix the Actor Model with other Concurrency Models? - Samira Tasharofi; Peter Dinges; Ralph E. Johnson (ECOOP, 2013)

Automated inference of atomic sets for safe concurrent execution. - Peter Dinges; Minas Charalambides; Gul Agha (PASTE, 2013)

Targeted test input generation using symbolic-concrete backward execution. - Peter Dinges; Gul A. Agha (ASE, 2014)

Solving complex path conditions through heuristic search on induced polytopes. - Peter Dinges; Gul A. Agha (SIGSOFT FSE, 2014)

Symcretic testing of programs - Peter Dinges (2014)

Parameterized, concurrent session types for asynchronous multi-actor interactions. - Minas Charalambides; Peter Dinges; Gul A. Agha (Sci. Comput. Program., 2016)