🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: doc.ic.ac.uk/~afd/PhD-Adver…

Check out our work on Formalising CXL Cache Coherence, which Chengsong Tan will present at ASPLOS next week (joint with John Wickerson) doc.ic.ac.uk/~afd/papers/20…

Check out or work on automated testing of MLIR compilers, which Jacob Yu will present at ASPLOS next week (joint work with Nick Wu) doc.ic.ac.uk/~afd/papers/20…

Okay, maybe we've raised the bar too high in PL.

It is a pleasure to be hosting S-REPLS at Imperial College London today - the 16th edition of the South of England Regional Programming Languages Seminar. Thanks to all the speakers and attendees for a great event so far!

Tomorrow Manuel Carrasco will present our work on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST, joint with Cristian Cadar - check out the paper, which builds on our prior work on JFS (Just Fuzz It Solver)! doc.ic.ac.uk/~afd/papers/20…

Tomorrow at ICST Karnbongkot Boonriong will present our joint work with Stefan Zetsche at AWS on integrating compiler fuzzing into the CI of the Dafny project! Supported by an Amazon Science research award. Check out the paper! doc.ic.ac.uk/~afd/papers/20…

Today at ASPLOS Chengsong Tan will present our work with John Wickerson on mechanical formalisation of CXL.cache - check out the paper! doc.ic.ac.uk/~afd/papers/20… #CXL

Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. Manuel Carrasco Cristian Cadar Alastair Donaldson Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/

Bua presenting our work on compiler testing in continuous integration at ICST!

Shahin Honarvar is about to present our work on benchmarking the codegen capabilities of LLMs at ICST, via our Turbulence project. Check out the paper! doc.ic.ac.uk/~afd/papers/20…

The Bristol contingent at S-REPLS 16. Thank you to all the speakers, Alastair Donaldson / Imperial for hosting, and VeTSS for funding the lovely food! We had a wonderful day! What a great way to catch up with what people are working on and old friends

I am excited to deliver the keynote at the VeTTS annual conference tomorrow, where I'll talk about the Oracle Problem, through case studies in testing GPU compilers, testing hardware/software equivalence checkers, and testing agentic LLMs! vetss.org.uk/annual-confere…

I am looking forward to speaking at the Frontier AI Summit tomorrow as part of London Tech Week, on bleeding edge work on testing agentic LLMs! lu.ma/8vdqg90s

Frustrated to be prevented from getting to Luxembourg to attend Dagstuhl (that I'm co-organizing!) due to overbooking by Luxair Luxembourg Airlines - not at all impressed by their treatment! Bring on British Airways with whom I'll make it out there tomorrow.

This week I look forward to welcoming three Year 12 students from Imperial College London Mathematics School, who will be spending a week of work experience with me. Today, we will be attending the presentations of final-year MEng EEE students together.

Helpful

Excited to be presenting our work on randomised testing of decompilers at ECOOP in a few mins! Check out the paper about our FuzzFlesh tool - work led by Amber Gorzynski drops.dagstuhl.de/storage/00lipi…

WebGlitch - our tool for fuzzing implementations of the WebGPU API - is about to be presented by Matthew Wong in the dynamic analysis / testing session at ECOOP! Check out the paper drops.dagstuhl.de/storage/00lipi…