James Tobler

According to our database, James Tobler authored at least 4 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Data Structure Analysis for Binaries.

Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Generating Rely-Guarantee Conditions with the Conditional-Writes Domain.

James Tobler, Graeme Smith

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

A Formally Verified Robustness Certifier for Neural Networks (Extended Version).

James Tobler, Hira Taqdees Syeda, Toby Murray

CoRR, May, 2025

A Formally Verified Robustness Certifier for Neural Networks.

James Tobler, Hira Taqdees Syeda, Toby Murray

Proceedings of the Computer Aided Verification - 37th International Conference, 2025