Publications

@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.