Open Systems Laboratory at Illinois

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

2014

  1. 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.
  2. 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.
  3. 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

  1. Samira Tasharofi, Peter Dinges, and Ralph E. Johnson. Why do scala developers mix the actor model with other concurrency models?. In ECOOP, volume 7920 of Lecture Notes in Computer Science, 302–326. Springer, 2013.
  2. Peter Dinges, Minas Charalambides, and Gul Agha. Automated inference of atomic sets for safe concurrent execution. In PASTE, 1–8. 2013.
  3. 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

  1. Peter Dinges and Gul Agha. Scoped synchronization constraints for large scale actor systems. In COORDINATION, volume 7274 of Lecture Notes in Computer Science, 89–103. Springer, 2012.
  2. 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.