conf.researchr.org / Jieung Kim
Registered user since Mon 23 Apr 2018
Name:Jieung Kim
Bio:
Assistant professor, CS. Yonsei University (2024.09 ~ )
Assistant professor, CSE. Inha University (2022.09 ~ 2024.08)
Research engineer – privacy & security, Google Research & Google (2020.05 ~ 2022.08)
Ph.D & Postdoc fellow, Yale University (2019, 2019.06 ~ 2020.04)
Master & Research assistant, KAIST (2011, 2011.09 ~ 2012.06)
Country:South Korea
Affiliation:Yonsei University
Personal website: https://jieung.kim
Research interests:software formal verification, formal methods, system software, concurrency, distributed systems, operating systems, proof automation, program logic, neural network compression, neural network verification, programming language theory
Contributions
2024
2023
APSEC
2022
2021
SPLASH
- 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