BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yoon:Man=Ki

Contributed to:

DAC 20152015
DATE 20132013
POPL 20202020
ASPLOS 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.