Luke Geeson

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Optimal Solution

Statistical Model

Top Venues

Publications

Luke Geeson, Lee Smith
Compiler Testing with Relaxed Memory Models. CGO (2024)
Luke Geeson
Weak Memory Demands Model-based Compiler Testing. CoRR (2024)
Luke Geeson, Lee Smith
Compiler Testing With Relaxed Memory Models. CoRR (2023)