Andreas Lööw -

Registered user since Tue 25 Jun 2019

Name:Andreas Lööw

Country:United Kingdom

Affiliation:Imperial College London

Personal website: https://www.doc.ic.ac.uk/~aloow/

Contributions

2025

TPSA

Author of Data Structure Abstraction and Incorrectness Separation Logic within the TPSA 2025-track

2024

ECOOP

Author of Matching Plans for Frame Inference in Compositional Reasoning within the Technical Papers-track
Author of Compositional Symbolic Execution for Correctness and Incorrectness Reasoning within the Technical Papers-track

Formal Methods for Incorrectness

Author of Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning within the Incorrectness-track

2023

ECOOP

Author of Exact Separation Logic within the Research Papers-track

PLARCH

Author of They're the same picture: a software-verification flow adapted for hardware verification within the PLARCH 2023-track

2021

CPP

Author of Lutsig: A Verified Verilog Compiler for Verified Circuit Development within the CPP 2021-track

2019

PLDI

Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track

FormaliSE

Author of A Proof-Producing Translator for Verilog Development in HOL within the FormaliSE 2019-track