Travelled to:1 × Germany
1 × USA
Collaborated with:P.Marwedel P.Lokuciejewski H.Falk
Talks about:interpret (1) algorithm (1) parallel (1) abstract (1) program (1) polytop (1) extract (1) analysi (1) static (1) precis (1)
Person: Daniel Cordes
DBLP: Cordes:Daniel
Contributed to:
2012
2009Wrote 2 papers:
- DATE-2012-CordesM #algorithm #parallel #search-based #using
- Multi-objective aware extraction of task-level parallelism using genetic algorithms (DC, PM), pp. 394–399.
- CGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise #slicing
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.