• Sign in
  • Sign up
conf.researchr.org / Andreas Lööw
  • ECOOP and ISSTA 2023 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
No Photo

Registered user since Wed 17 May 2023

Name:Andreas Lööw
Affiliation:Imperial College London
Personal website: https://www.doc.ic.ac.uk/~aloow/
X (Twitter): https://x.com/watislaw

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
Share
xFri 23 May 04:45
using conf.researchr.org (v1.69.0)
Support page
Sign Up