Ben Lloyd-Roberts

Orcid: 0000-0002-4628-8295

According to our database¹, Ben Lloyd-Roberts authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Scaling Invariant Generation Using State Space Embeddings and GPU Streaming.

[DOI]

Concurr. Comput. Pract. Exp., 2025

2024

Effective Candidate Invariant Generation Using GPGPUs and Optimisations.

[DOI]

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

2023

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

[DOI]

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