Travelled to:1 × China
1 × France
1 × Sweden
1 × USA
Collaborated with:G.A.Agha S.Tasharofi R.E.Johnson M.Charalambides G.Agha
Talks about:concurr (2) execut (2) model (2) backward (1) polytop (1) heurist (1) generat (1) develop (1) concret (1) complex (1)
Person: Peter Dinges
DBLP: Dinges:Peter
Contributed to:
2014
2014
2013
2013Wrote 4 papers:
- ASE-2014-DingesA #execution #generative #using
- Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
- FSE-2014-DingesA #heuristic
- Solving complex path conditions through heuristic search on induced polytopes (PD, GAA), pp. 425–436.
- ECOOP-2013-TasharofiDJ #concurrent #developer #modelling #question #scala #why
- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? (ST, PD, REJ), pp. 302–326.
- PASTE-2013-DingesCA #automation #concurrent #execution #set
- Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.