@comment{{Conference Proceedings}}
@conference{park_cheri_paper_2023, author = {Park, Seung Hoon and Pai, Rekha and Melham, Tom}, title = {{A Formal CHERI-C Semantics for Verification}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, publisher = {Springer Cham}, month = {April}, year = {2023}, editor = {Sankaranarayanan, Sriram and Sharygina, Natasha}, volume = {13993}, booksubtitle = {29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I}, chapter = {28}, edition = {1}, pages = {680}, isbn = {978-3-031-30822-2}, doi = {10.1007/978-3-031-30823-9_28}, issn = {0302-9743}, copyright = {Creative Commons Attribution 4.0 International} }
@comment{{Online Refereed Journals (Archive of Formal Proofs)}}
@article{park_cheri_afp_2022, author = {Seung Hoon Park}, title = {{A Formal CHERI-C Memory Model}}, journal = {Archive of Formal Proofs}, month = {Nov}, year = {2022}, url = {https://isa-afp.org/entries/CHERI-C_Memory_Model.html}, note = {Formal proof development}, issn = {2150-914x} }
@comment{Workshop Papers}
@misc{loow_cse_2024, author = {Andreas L\"{o}\"{o}w, Daniele Nantes Sobrinho, Sacha-\'{E}lie Ayoun, Nat Karmios, Seung Hoon Park, Petar Maksimovi\'{c}, Philippa Gardner}, title = {{Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning}}, journal = {Formal Methods for Incorrectness}, year = {2024}, url = {https://popl24.sigplan.org/details/incorrectness-2024-papers/9/Unified-Compositional-Formal-Methods-Exact-Separation-Logic-and-the-Gillian-Platform} }
This file was generated by bibtex2html 1.99.