Peter Dinges

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Heuristic Search

Pattern Databases

State Space Search

Top Venues

Sci. Comput. Program.

Publications

Minas Charalambides, Peter Dinges, Gul A. Agha
Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. (2016)
Peter Dinges, Gul A. Agha
Solving complex path conditions through heuristic search on induced polytopes. SIGSOFT FSE (2014)
Peter Dinges, Gul A. Agha
Targeted test input generation using symbolic-concrete backward execution. ASE (2014)
Samira Tasharofi, Peter Dinges, Ralph E. Johnson
Why Do Scala Developers Mix the Actor Model with other Concurrency Models? ECOOP (2013)
Peter Dinges, Minas Charalambides, Gul Agha
Automated inference of atomic sets for safe concurrent execution. PASTE (2013)
Peter Dinges, Gul Agha
Scoped Synchronization Constraints for Large Scale Actor Systems. COORDINATION (2012)
Minas Charalambides, Peter Dinges, Gul Agha
Parameterized Concurrent Multi-Party Session Types FOCLASA (2012)