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

Symcretic testing of programs - Dinges, Peter (2014)

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

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

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

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

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

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