Luke Geeson
319 posts
Luke Geeson
@LukeGeeson
Current: engineer @nvidia. Prev: CS Phd @ucl, compilers @Arm, @UniOfOxford, @UniofNottingham, @oxfordhackathon @HackSocNotts, and @HackNotts. Views are my own.
Cambridge, England Katılım Nisan 2014
261 Takip Edilen235 Takipçiler
Pleased to announce I have passed my PhD viva with minor corrections! Thanks James Brotherston, Lee Smith, and many others for your support throughout.
English
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 dl.acm.org/doi/10.1145/36…
Talk 2:50 in youtube.com/live/LTXQdRu2S…
YouTube
English
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: arxiv.org/abs/2409.01161
English
Luke Geeson retweetledi
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: johnwickerson.wordpress.com/2024/06/28/mix…
English
Luke Geeson retweetledi
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: johnwickerson.wordpress.com/2024/06/28/mix…
English
@HerrDreyer @natefoster @djg98115 @lorisdanto but that would be a good way for us to acquire knowledge!
English
@natefoster @djg98115 @lorisdanto I prefer not to speculate on such matters, lest I be asked to conjure a keynote out of thin air.
English
Be sure to get there at the beginning of the day to hear the program chair's concluding remarks!
John Wickerson@wicko3
I'm very much looking forward to the "Future of Weak Memory" workshop on Monday at #POPL2024. Speakers will be asking (and maybe even answering) questions like: Has our community done a good enough job at making memory model formalisations available and reusable? ↩️
English
@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 :)
English
@reeselevine @LukeGeeson The question of what the GPU folks would think was mentioned here
discourse.llvm.org/t/rfc-strength…
English
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
English
@johnregehr Using a for loop construct? stackoverflow.com/a/18647755
English
English
@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
English
@aaronosher @jna_sh @tfogo @LukeGeeson @rwdrich Maybe Wit when we use to run it could have been a little bigger but not sure
English
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!
lukegeeson.com/blog/2019-07-1…
English
Thanks to @aaronosher and @hacksocnotts I finally have a committee hoody for my old society!
English
@MrAndrew @jesslynnrose @MrChaz Super late on this sorry but yeah happy to chat in a PM if you want :)
English
English