Registered user since Tue 23 May 2017
Name:Luke Geeson
Bio:
PhD Computer Science on Compiler Testing with Relaxed Memory Models, EPSRC iCase Arm-funded award (my opinions are my own).
Country:United Kingdom
Affiliation:University College London (UCL)
Personal website: https://lukegeeson.com
X (Twitter): https://x.com/LukeGeeson
GitHub: https://github.com/lukeg101
Research interests:Programming Languages, Relaxed Memory Concurrency, Compilers
Contributions
2024
The Future of Weak Memory
POPL 2024-profile
View general profile
View general profile