• Sign in
  • Sign up
conf.researchr.org / Raquel Fernandes da Silva
  • POPL 2026 profile
Raquel Fernandes da Silva

Registered user since Wed 3 Dec 2025

Name:Raquel Fernandes da Silva
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://rasofema.github.io/
X (Twitter): https://x.com/rasofema
GitHub: https://github.com/rasofema

Contributions

2026

POPL

  • Author of Specialisation: Context-Dependent Reasoning in Incorrectness Separation Logic within the Student Research Competition-track

TPSA

  • Author of Specialisation: Context-Dependent Reasoning in Incorrectness Separation Logic within the TPSA 2026-track
Share
xSun 10 May 09:47
using conf.researchr.org (v1.73.2)
Support page
Sign Up