• Sign in
  • Sign up
conf.researchr.org / Julian Sutherland
  • ECOOP and ISSTA 2018 profile
  • ECOOP and ISSTA 2023 profile
  • POPL 2022 profile
No Photo

Registered user since Thu 11 Jul 2019

Name:Julian Sutherland
Affiliation:Imperial College London

Contributions

2023

ECOOP

  • Author of Exact Separation Logic within the Research Papers-track

2022

POPL

  • Author of TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs within the POPL-track

2018

ECOOP

  • Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track
Share
xSun 11 May 04:04
using conf.researchr.org (v1.69.0)
Support page
Sign Up