Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
S.Misailovic M.Carbin M.C.Rinard
Talks about:
infinit (2) escap (2) loop (2) unmodifi (1) detect (1) demand (1) binari (1) jolt (1) bolt (1)
Person: Michael Kling
DBLP: Kling:Michael
Contributed to:
Wrote 2 papers:
- OOPSLA-2012-KlingMCR #infinity #named #on-demand
- Bolt: on-demand infinite loop escape in unmodified binaries (MK, SM, MC, MCR), pp. 431–450.
- ECOOP-2011-CarbinMKR #detection #infinity
- Detecting and Escaping Infinite Loops with Jolt (MC, SM, MK, MCR), pp. 609–633.