ResearchWho?
    • Profile Image
    강지훈
    Position 겸임교수
    Current Department 한국과학기술원 공과대학 전산학부
    프로필
    연구 성과
    논문[19]
    #19. Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing
    Journal Information 2022.07 · Information and Software Technology
    Identifier (DOI) https://doi.org/10.1016/j.infsof.2022.106904
    #18. Compass: strong and compositional library specifications in relaxed memory separation logic
    Journal Information 2022.6
    Identifier (DOI) https://doi.org/10.1145/3519939.3523451
    발표[9]
    #9. Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8
    Organization 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
    Date 2021.6
    #8. A Marriage of Pointer- and Epoch-Based Reclamation
    Organization 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020
    Date 2020.6
    팔로우 추천