Takip et
Andreas Lööw
Andreas Lööw
imperial.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
502019
Lutsig: A verified Verilog compiler for verified circuit development
A Lööw
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
302021
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
272019
Exact Separation Logic (Extended Version)
P Maksimović, C Cronjäger, A Lööw, J Sutherland, P Gardner
arXiv preprint arXiv:2208.07200, 2022
202022
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
52024
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
42022
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
32023
Reconciling verified-circuit development and Verilog development
A Lööw
Formal Methods in Computer-Aided Design (FMCAD), 89-98, 2022
32022
The Simulation Semantics of Synthesisable Verilog
A Lööw
Proceedings of the ACM on Programming Languages 9 (OOPSLA1), 1295-1320, 2025
12025
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
12024
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ć, ...
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–13
OSZAR »