Luke Geeson

According to our database, Luke Geeson authored at least 3 papers in 2024.

Collaborative distances:

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

2024

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations.

Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson

CoRR, 2024

Weak Memory Demands Model-based Compiler Testing.

Luke Geeson

CoRR, 2024

Compiler Testing with Relaxed Memory Models.

Luke Geeson, Lee Smith

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024