Pancake-Reference-Cited by-同舟云学术

Pancake

Published:2023-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th Workshop on Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Pohjola Johannes Åman¹^ORCID,Syeda Hira Taqdees²^ORCID,Tanaka Miki¹^ORCID,Winter Krishnan¹^ORCID,Sau Tsun Wang¹^ORCID,Nott Benjamin¹^ORCID,Ung Tiana Tsang¹^ORCID,McLaughlin Craig¹^ORCID,Seassau Remy³^ORCID,Myreen Magnus O.⁴^ORCID,Norrish Michael⁵^ORCID,Heiser Gernot¹^ORCID

Affiliation:

1. UNSW Sydney, Australia

2. Chalmers University of Technology, Gothenburg, Sweden and Amazon Web Services

3. UNSW Sydney, Australia and University of Oxford

4. Chalmers University of Technology, Gothenburg, Sweden

5. Australian National University, Canberra, Australia

Funder

Knut och Alice Wallenbergs Stiftelse

National Cyber Security Centre

Technology Innovation Institute

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3623759.3624544

Reference39 articles.

1. E. Alkassar , M. Hillebrand , S. Knapp , R. Rusev , and S. Tverdyshev . 2007. Formal Device and Programming Model for a Serial Interface . In International Verification Workshop . Bremen, DE, 4--20. E. Alkassar, M. Hillebrand, S. Knapp, R. Rusev, and S. Tverdyshev. 2007. Formal Device and Programming Model for a Serial Interface. In International Verification Workshop. Bremen, DE, 4--20.

2. Eyad Alkassar and Mark A . Hillebrand . 2008 . Formal Functional Verification of Device Drivers. In Verified Software: Theories, Tools and Experiments (Lecture Notes in Computer Science , Vol. 5295). Springer, Toronto, Canada, 225-- 239 . Eyad Alkassar and Mark A. Hillebrand. 2008. Formal Functional Verification of Device Drivers. In Verified Software: Theories, Tools and Experiments (Lecture Notes in Computer Science, Vol. 5295). Springer, Toronto, Canada, 225--239.

3. Cogent

4. Verified Software Toolchain

5. Andrew W. Appel , Robert Dockins , Aquinas Hobor , Lennart Beringer , Josiah Dodds , Gordon Stewart , Sandrine Blazy , and Xavier Leroy . 2014. Program Logics for Certified Compilers . Cambridge University Press , USA. Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, and Xavier Leroy. 2014. Program Logics for Certified Compilers. Cambridge University Press, USA.