Travelled to:
1 × China
Collaborated with:
A.Hildebrandt S.Hack
Talks about:
accuraci (1) program (1) problem (1) analysi (1) point (1) float (1) dynam (1) find (1)
Person: Florian Benz
DBLP: Benz:Florian
Contributed to:
Wrote 1 papers:
- PLDI-2012-BenzHH #float #problem #program analysis
- A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.