Travelled to:1 × France
1 × USA
Collaborated with:L.Sha J.Kim R.M.Bradford S.Mohan J.Choi Negin Salajegheh Y.Chen M.Christodorescu S.Im M.L.0001 L.Rieg Z.Shao R.Gu David Costanzo
Talks about:schedul (3) system (2) memori (2) optim (2) multi (2) time (2) real (2) preemptiv (1) synchron (1) hierarch (1)
Person: Man-Ki Yoon
DBLP: Yoon:Man=Ki
Contributed to:
2015
2013
2020
2016Wrote 5 papers:
- DAC-2015-YoonSMC #behaviour #detection #embedded #heatmap #memory management #realtime #using
- Memory heat map: anomaly detection in real-time embedded systems using memory behavior (MKY, LS, SM, JC), p. 6.
- DATE-2013-KimYIBS #manycore #realtime #scheduling
- Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems (JEK, MKY, SI, RMB, LS), pp. 970–975.
- DATE-2013-YoonKBS #design #multi #optimisation #parametricity #scheduling
- Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.
- POPL-2020-LiuRSGCKY #abstraction #timeline #verification
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation (ML0, LR, ZS, RG, DC, JEK, MKY), p. 31.
- ASPLOS-2016-YoonSCC #data flow #named #predict
- PIFT: Predictive Information-Flow Tracking (MKY, NS, YC, MC), pp. 713–725.