Toggle navigation
Sign in
Sign up
conf.researchr.org
/
James Brotherston
conf.researchr.org general profile
POPL 2017 profile
POPL 2020 profile
POPL 2024 profile
Not registered as user yet
Name:
James Brotherston
Contributions
2024
O'Hearn Fest
Author of Strong vs. weak separating conjunction in CSL within the O'Hearn Fest-track
2020
ADSL
Committee Member in Program Committee within the ADSL 2020-track
2017
CPP
Author of Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic within the CPP-track
Share
x
Thu 21 Nov 13:11