Chung-Kil Hur

Registered user since Thu 16 Jun 2016

Name: Chung-Kil Hur

Affiliation: Seoul National University

Contributions

PLDI 2015 A Formal C Memory Model Supporting Integer-Pointer Casts
Show activities from other conferences

PLDI 2015-profile
View general profile