Luke Geeson

Current: engineer @nvidia. Prev: CS Phd @ucl, compilers @Arm, @UniOfOxford, @UniofNottingham, @oxfordhackathon @HackSocNotts, and @HackNotts. Views are my own.

[Luke Geeson @LukeGeeson]

I am pleased to announce my PhD thesis has been published by @ucl! @ucl_pplv https://t.co/5ij41eFjO6

[Luke Geeson @LukeGeeson]

@AnneMarieMooree Thanks!

[Luke Geeson @LukeGeeson]

Pleased to announce I have passed my PhD viva with minor corrections! Thanks James Brotherston, Lee Smith, and many others for your support throughout.

[Luke Geeson @LukeGeeson]

@h_poncedeleon Thanks Hernan!

[Luke Geeson @LukeGeeson]

Lots of great engagement @splashcon after presenting our work on Mix Testing, thanks again to my co-authors Brotherston, Dijkstra, @afd_icl, Smith, @Tyler_UCSC, and @wicko3 https://t.co/RMCpcDNtnm

Talk 2:50 in https://t.co/3Tphl6vy9c

[Luke Geeson @LukeGeeson]

I'm pleased that our paper "Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations" will appear at OOPSLA2024 (@splashcon)! Big thanks to auths Brotherston, Dijkstra, @afd_icl, Smith, @Tyler_UCSC, and @wicko3. Paper here: https://t.co/3DZhnS17L7

[Tyler Sorensen @Tyler_UCSC]

Huge congrats to @LukeGeeson for leading this work! Just when you think you understand memory models, try mixing compilers 🤯🤯

Check out John's blog for a great summary! It was really fun working with these folks!

[John Wickerson @wicko3]

I'm delighted that @LukeGeeson's work on "mix testing" of compilers will appear at #OOPSLA2024 (joint with Brotherston, Dijkstra, @afd_icl, Smith, @Tyler_UCSC, and myself). Here's a blog post that gives a short introduction to the project: https://t.co/q8lafLsnrh

[Luke Geeson @LukeGeeson]

@HerrDreyer @natefoster @djg98115 @lorisdanto but that would be a good way for us to acquire knowledge!

[Hernan Ponce De Leon @h_poncedeleon]

Really cool work from @LukeGeeson and Lee Smith

[Luke Geeson @LukeGeeson]

@h_poncedeleon @reeselevine Yes indeed the question is whether this has acceptable perf for all the CPUs/GPUs under test. It's all early stages but I'm hopeful :)

[Luke Geeson @LukeGeeson]

For those in my twittersphere, I am starting a PhD in Computer Science at @ucl 🙂 It's an Arm funded PhD focusing on Compiler Verification/Formal Memory Models. I'll be working remotely at Arm in Cambridge as 2/3 of my supervisors are there

[Luke Geeson @LukeGeeson]

@johnregehr Using a for loop construct? https://t.co/oXbmLh1XNj

[Luke Geeson @LukeGeeson]

Great to see the amazing arm projects @OxHack2019 ! #lifeatarm #empoweredbyarm #wearearm

[Luke Geeson @LukeGeeson]

@pedsm @aaronosher @jna_sh @tfogo @rwdrich That's awesome congrats! We had something similar for our year but that is a record :) @RedRoxProjects may know the numbers for the two years of WiT which is definitely a contender

[Luke Geeson @LukeGeeson]

Finally finished my very own mechanical keyboard and wrote a blog about my experience! thank you to @laserboost @alastair_d_reid Yiangos Yiangou,
and others for their help and advice along the way!
https://t.co/ZQ5BhvqORp

[Luke Geeson @LukeGeeson]

My key switches for my custom mech build have arrived, thanks @ZealPC!

[Luke Geeson @LukeGeeson]

My custom switch plates have arrived for my mech build, thanks @LaserBoost!

[Luke Geeson @LukeGeeson]

Thanks to @aaronosher and @hacksocnotts I finally have a committee hoody for my old society!

[Luke Geeson @LukeGeeson]

@MrAndrew @jesslynnrose @MrChaz Super late on this sorry but yeah happy to chat in a PM if you want :)