# James Brotherston

Orcid: 0000-0002-7536-4496
According to our database

Collaborative distances:

^{1}, James Brotherston authored at least 34 papers between 2001 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations.

CoRR, 2024

2021

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof.

J. Autom. Reason., 2020

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

On the Complexity of Pointer Arithmetic in Separation Logic (an extended version).

CoRR, 2018

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

CoRR, 2017

Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi.

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

J. ACM, 2014

Proceedings of the Static Analysis - 21st International Symposium, 2014

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

A decision procedure for satisfiability in separation logic with inductive predicates.

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2012

Stud Logica, 2012

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

J. Log. Comput., 2011

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Log. Methods Comput. Sci., 2010

2009

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Proceedings of the Static Analysis, 14th International Symposium, 2007

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2005

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2003

A formalised first-order confluence proof for the -calculus using one-sorted variable names.

Inf. Comput., 2003

2002

Proceedings of the Logic for Programming, 2002

2001

The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective).

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001