Peter Dinges
The goal of my research is to simplify programming. Because simplification has many layers, I am interested in a wide range of topics. These include programming language design, formal methods, and software engineering, as well as machine learning and artificial intelligence. Currently, my work focuses on improving coordination methods for concurrent systems.
Previously, I have studied object-capabilities, the natural security model of Actor systems (at the Tokyo Institute of Technology in Japan); Petri nets as a formalism for concurrent systems; and Schoof's algorithm for counting the points on elliptic curves over finite fields (both at the University of Würzburg in Germany).
Publications
2016
- Minas Charalambides, Peter Dinges, and Gul A. Agha. Parameterized, concurrent session types for asynchronous multi-actor interactions. Science of Computer Programming, 115-116:100–126, 2016.
2015
- Minas Charalambides, Peter Dinges, and Gul Agha. Parameterized, concurrent session types for asynchronous multi-actor interactions. Science of Computer Programming, November 2015.
2014
- Peter Dinges and Gul Agha. Targeted test input generation using symbolic-concrete backward execution. In 29th IEEE/ACM International Conference on Automated Software Engineering (ASE). Västerås, Sweden, September 15-19 2014. ACM.
- Peter Dinges and Gul Agha. Solving complex path conditions through heuristic search on induced polytopes. In Proceedings of the 22nd ACM SIGSOFT Symposium on Foundations of Software Engineering. Hong Kong, November 16-21 2014. ACM.
- Peter Dinges and Gul Agha. Targeted test input generation using symbolic-concrete backward execution. Technical Report, University of Illinois at Urbana--Champaign, September 2014.
2013
- Peter Dinges, Minas Charalambides, and Gul Agha. Automated inference of atomic sets for safe concurrent execution. In PASTE, 1–8. 2013.
- Peter Dinges, Minas Charalambides, and Gul Agha. Automated inference of atomic sets for safe concurrent execution. Technical Report, University of Illinois at Urbana--Champaign, April 2013.
2012
- Peter Dinges and Gul Agha. Scoped synchronization constraints for large scale actor systems. In COORDINATION, 89–103. 2012.
- Minas Charalambides, Peter Dinges, and Gul Agha. Parameterized concurrent multi-party session types. In FOCLASA, volume 91 of Electronic Proceedings in Theoretical Computer Science, 16–30. Open Publishing Association, 2012.