Verified compilation on a verified processor A Lööw, R Kumar, YK Tan, MO Myreen, M Norrish, O Abrahamsson, A Fox Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 50 | 2019 |
Lutsig: A verified Verilog compiler for verified circuit development A Lööw Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 30 | 2021 |
A proof-producing translator for Verilog development in HOL A Lööw, MO Myreen 2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019 | 27 | 2019 |
Exact Separation Logic (Extended Version) P Maksimović, C Cronjäger, A Lööw, J Sutherland, P Gardner arXiv preprint arXiv:2208.07200, 2022 | 20 | 2022 |
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version) A Lööw, D Nantes-Sobrinho, SÉ Ayoun, C Cronjäger, P Maksimović, ... arXiv preprint arXiv:2407.10838, 2024 | 5 | 2024 |
A small, but important, concurrency problem in Verilog's semantics? (Work in progress) A Lööw 2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022 | 4 | 2022 |
Formal verification of correctness and information flow security for an in-order pipelined processor N Dong, R Guanciale, M Dam, A Lööw 2023 Formal Methods in Computer-Aided Design (FMCAD), 247-256, 2023 | 3 | 2023 |
Reconciling verified-circuit development and Verilog development A Lööw Formal Methods in Computer-Aided Design (FMCAD), 89-98, 2022 | 3 | 2022 |
The Simulation Semantics of Synthesisable Verilog A Lööw Proceedings of the ACM on Programming Languages 9 (OOPSLA1), 1295-1320, 2025 | 1 | 2025 |
Matching plans for frame inference in compositional reasoning A Lööw, D Nantes-Sobrinho, SÉ Ayoun, P Maksimović, P Gardner 38th European Conference on Object-Oriented Programming (ECOOP 2024), 26: 1 …, 2024 | 1 | 2024 |
Building Verified Hardware and Verified Stacks in HOL A Lööw PQDT-Global, 2019 | | 2019 |
They’re the same picture: a software-verification flow adapted for hardware verification A Lööw, MO Myreen | | |
Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning A Lööw, DN Sobrinho, SÉ Ayoun, N Karmios, SH Park, P Maksimović, ... | | |