Verified Compilation on a Verified Processor
Paper in proceeding, 2019
hardware verification
program verification
verified stack
compiler verification
Author
Andreas Lööw
University of Gothenburg
Ramana Kumar
DeepMind
Yong Kiam Tan
Carnegie Mellon University (CMU)
Magnus O. Myreen
University of Gothenburg
Michael Norrish
Australian National University
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Oskar Abrahamsson
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Anthony Fox
ARM Limited
PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19)
1041-1053
978-1-4503-6712-7 (ISBN)
Phoenix, AZ, USA,
Subject Categories
Computer and Information Science
Software Engineering
DOI
10.1145/3314221.3314622