2 papers
cs.LO2026
Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
James Tobler, Graeme Smith
Abstract interpretation has been shown to be a promising technique for the thread-modular verification of concurrent programs. Central to this is the generation of interferences, i…
cs.PL2025
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
James Tobler, Hira Taqdees Syeda, Toby Murray
Neural networks are often susceptible to minor perturbations in input that cause them to misclassify. A recent solution to this problem is the use of globally-robust neural network…