Peter Dinges

According to our database, Peter Dinges authored at least 8 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Parameterized, concurrent session types for asynchronous multi-actor interactions.

Minas Charalambides, Peter Dinges, Gul A. Agha

Sci. Comput. Program., 2016

2014

Symcretic testing of programs

Peter Dinges

PhD thesis, 2014

Solving complex path conditions through heuristic search on induced polytopes.

Peter Dinges, Gul A. Agha

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Targeted test input generation using symbolic-concrete backward execution.

Peter Dinges, Gul A. Agha

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Automated inference of atomic sets for safe concurrent execution.

Peter Dinges, Minas Charalambides, Gul Agha

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Why Do Scala Developers Mix the Actor Model with other Concurrency Models?

Samira Tasharofi, Peter Dinges, Ralph E. Johnson

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Parameterized Concurrent Multi-Party Session Types

Minas Charalambides, Peter Dinges, Gul Agha

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Scoped Synchronization Constraints for Large Scale Actor Systems.

Peter Dinges, Gul Agha

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012