Ben Lloyd-Roberts

According to our database, Ben Lloyd-Roberts authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Effective Candidate Invariant Generation Using GPGPUs and Optimisations.

Ben Lloyd-Roberts, Filippos Pantekis, Phillip James, Liam O'Reilly, Michael Edwards

Proceedings of the Twelfth International Symposium on Computing and Networking, 2024

2023

Improving Railway Safety: Human-in-the-loop Invariant Finding.

Ben Lloyd-Roberts, Phillip James, Michael Edwards, Simon Robinson, Thomas Werner

Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023