Toggle navigation
Sign in
Sign up
conf.researchr.org
/
James Brotherston
conf.researchr.org general profile
ASE 2021 profile
POPL 2016 profile
SPLASH 2024 profile
Not registered as user yet
Name:
James Brotherston
Contributions
2024
SPLASH
Author of Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations within the OOPSLA 2024-track
2021
ASE
Author of A Compositional Deadlock Detector for Android Java within the Research Papers-track
2016
POPL
Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track
Share
x
Mon 18 Nov 08:20