@article{journals/tos/ChoiNSYLKPWLM18,
  added-at = {2019-01-15T00:00:00.000+0100},
  author = {yong Choi, Jin and Nam, Eyee Hyun and Seong, Yoon Jae and Yoon, Jinhyuk and Lee, Sookwan and Kim, Hongseok and Park, Jeongsu and Woo, Yeong-Jae and Lee, Sheayun and Min, Sang Lyul},
  biburl = {https://www.bibsonomy.org/bibtex/258e9525d3bd51b94501b042b44f91c29/dblp},
  ee = {https://dl.acm.org/citation.cfm?id=3281030},
  interhash = {9032f89cd94f79eb9d13d25c933ad551},
  intrahash = {58e9525d3bd51b94501b042b44f91c29},
  journal = {TOS},
  keywords = {dblp},
  number = 4,
  pages = {36:1-36:29},
  timestamp = {2019-01-16T11:35:22.000+0100},
  title = {HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery.},
  url = {http://dblp.uni-trier.de/db/journals/tos/tos14.html#ChoiNSYLKPWLM18},
  volume = 14,
  year = 2018
}

{"_id":"svXpkNzJ3fjRDkfNq","bibbaseid":"yongchoi-nam-seong-yoon-lee-kim-park-woo-etal-hilaframeworkforcompositionalftldevelopmentandprovablycorrectcrashrecovery-2018","downloads":0,"creationDate":"2019-02-01T01:48:28.140Z","title":"HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery.","author_short":["yong Choi, J.","Nam, E. H.","Seong, Y. J.","Yoon, J.","Lee, S.","Kim, H.","Park, J.","Woo, Y.","Lee, S.","Min, S. L."],"year":2018,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kim?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2019-01-15T00:00:00.000+0100","author":[{"propositions":["yong"],"lastnames":["Choi"],"firstnames":["Jin"],"suffixes":[]},{"propositions":[],"lastnames":["Nam"],"firstnames":["Eyee","Hyun"],"suffixes":[]},{"propositions":[],"lastnames":["Seong"],"firstnames":["Yoon","Jae"],"suffixes":[]},{"propositions":[],"lastnames":["Yoon"],"firstnames":["Jinhyuk"],"suffixes":[]},{"propositions":[],"lastnames":["Lee"],"firstnames":["Sookwan"],"suffixes":[]},{"propositions":[],"lastnames":["Kim"],"firstnames":["Hongseok"],"suffixes":[]},{"propositions":[],"lastnames":["Park"],"firstnames":["Jeongsu"],"suffixes":[]},{"propositions":[],"lastnames":["Woo"],"firstnames":["Yeong-Jae"],"suffixes":[]},{"propositions":[],"lastnames":["Lee"],"firstnames":["Sheayun"],"suffixes":[]},{"propositions":[],"lastnames":["Min"],"firstnames":["Sang","Lyul"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/258e9525d3bd51b94501b042b44f91c29/dblp","ee":"https://dl.acm.org/citation.cfm?id=3281030","interhash":"9032f89cd94f79eb9d13d25c933ad551","intrahash":"58e9525d3bd51b94501b042b44f91c29","journal":"TOS","keywords":"dblp","number":"4","pages":"36:1-36:29","timestamp":"2019-01-16T11:35:22.000+0100","title":"HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery.","url":"http://dblp.uni-trier.de/db/journals/tos/tos14.html#ChoiNSYLKPWLM18","volume":"14","year":"2018","bibtex":"@article{journals/tos/ChoiNSYLKPWLM18,\n added-at = {2019-01-15T00:00:00.000+0100},\n author = {yong Choi, Jin and Nam, Eyee Hyun and Seong, Yoon Jae and Yoon, Jinhyuk and Lee, Sookwan and Kim, Hongseok and Park, Jeongsu and Woo, Yeong-Jae and Lee, Sheayun and Min, Sang Lyul},\n biburl = {https://www.bibsonomy.org/bibtex/258e9525d3bd51b94501b042b44f91c29/dblp},\n ee = {https://dl.acm.org/citation.cfm?id=3281030},\n interhash = {9032f89cd94f79eb9d13d25c933ad551},\n intrahash = {58e9525d3bd51b94501b042b44f91c29},\n journal = {TOS},\n keywords = {dblp},\n number = 4,\n pages = {36:1-36:29},\n timestamp = {2019-01-16T11:35:22.000+0100},\n title = {HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery.},\n url = {http://dblp.uni-trier.de/db/journals/tos/tos14.html#ChoiNSYLKPWLM18},\n volume = 14,\n year = 2018\n}\n\n","author_short":["yong Choi, J.","Nam, E. H.","Seong, Y. J.","Yoon, J.","Lee, S.","Kim, H.","Park, J.","Woo, Y.","Lee, S.","Min, S. L."],"key":"journals/tos/ChoiNSYLKPWLM18","id":"journals/tos/ChoiNSYLKPWLM18","bibbaseid":"yongchoi-nam-seong-yoon-lee-kim-park-woo-etal-hilaframeworkforcompositionalftldevelopmentandprovablycorrectcrashrecovery-2018","role":"author","urls":{"Link":"https://dl.acm.org/citation.cfm?id=3281030","Paper":"http://dblp.uni-trier.de/db/journals/tos/tos14.html#ChoiNSYLKPWLM18"},"keyword":["dblp"],"downloads":0},"search_terms":["hil","framework","compositional","ftl","development","provably","correct","crash","recovery","yong choi","nam","seong","yoon","lee","kim","park","woo","lee","min"],"keywords":["dblp"],"authorIDs":[],"dataSources":["bboPFacHd3A4uT9fM"]}