• Sign in
  • Sign up
conf.researchr.org / Rini Banerjee
  • POPL 2024 profile
  • POPL 2025 profile
  • POPL 2026 profile
Rini Banerjee

Registered user since Wed 18 Oct 2023

Name:Rini Banerjee
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://www.cst.cam.ac.uk/people/rb2018

Contributions

2026

TPSA

  • Author of Gradually Retrofitting Assurance into Systems Software: A Separation-Logic Approach within the TPSA 2026-track

2025

POPL

  • Author of Fulminate: Testing CN Separation-Logic Specifications in C within the POPL-track

2024

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
xThu 11 Dec 09:31
using conf.researchr.org (v1.72.1)
Support page
Sign Up