conf.researchr.org / Jieung Kim

Registered user since Mon 23 Apr 2018

Name: Jieung Kim

Affiliation: Yale University, USA

Personal website: http://www.cs.yale.edu/homes/jkim

Contributions

DeepSpec 2018Speaker of Multicore and Multithreaded Linking for Concurrent CertiKOS within the DeepSpec 2018-track
PLDI 2018Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track