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

PLDI 2022	Author of Adore: Atomic Distributed Objects with Certified Reconfiguration within the PLDI-track
SPLASH 2021	Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the Posters-track Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the OOPSLA-track
DeepSpec 2018	Speaker of Multicore and Multithreaded Linking for Concurrent CertiKOS within the DeepSpec 2018-track
PLDI 2018	Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track