Travelled to:1 × France
Collaborated with:W.Yueh S.Mukhopadhyay Youngju Song Dongjoo Kim Yonghyun Kim J.Kang C.Hur
Talks about:comp (2) cert (2) lightweight (1) architectur (1) perceptu (1) qualiti (1) preserv (1) modular (1) assembl (1) pictur (1)
Person: Minki Cho
DBLP: Cho:Minki
Contributed to:
2013
2020Wrote 2 papers:
- DATE-2013-YuehCM #architecture #quality
- Perceptual quality preserving SRAM architecture for color motion pictures (WY, MC, SM), pp. 103–108.
- POPL-2020-SongCKKKH #composition #lightweight #named #verification
- CompCertM: CompCert with C-assembly linking and lightweight modular verification (YS, MC, DK, YK, JK, CKH), p. 31.