External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery

Jin-Yong Choi, Eyee Hyun Nam, Yoon Jae Seong, Jinhyuk Yoon, Sookwan Lee, Hongseok Kim, Jeongsu Park, Yeong-Jae Woo, Sheayun Lee, Sang Lyul Min. HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery. TOS, 14(4), 2018. [doi]

Authors

Jin-Yong Choi

This author has not been identified. Look up 'Jin-Yong Choi' in Google

Eyee Hyun Nam

This author has not been identified. Look up 'Eyee Hyun Nam' in Google

Yoon Jae Seong

This author has not been identified. Look up 'Yoon Jae Seong' in Google

Jinhyuk Yoon

This author has not been identified. Look up 'Jinhyuk Yoon' in Google

Sookwan Lee

This author has not been identified. Look up 'Sookwan Lee' in Google

Hongseok Kim

This author has not been identified. Look up 'Hongseok Kim' in Google

Jeongsu Park

This author has not been identified. Look up 'Jeongsu Park' in Google

Yeong-Jae Woo

This author has not been identified. Look up 'Yeong-Jae Woo' in Google

Sheayun Lee

This author has not been identified. Look up 'Sheayun Lee' in Google

Sang Lyul Min

This author has not been identified. Look up 'Sang Lyul Min' in Google
runs on