Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas: - PL - Systems - Security - Software Eng. - Computer Architecture - Theoretical Computer Science Applications from individuals from underrepresented groups especially welcome! www.imperial.ac.uk/jobs/search-...

It is an honour to have taken on the role of Editor-in-Chief of ACM Transactions on Programming Languages and Systems. Huge thanks to outgoing EiC Colin Gordon for a brilliant job at the helm of the journal. Checkout Colin's editorial in the latest issue: dl.acm.org/doi/pdf/10.1...

Excited to be giving an invited talk at Reachability Problems in Madrid today. Entitled "When You Have a Fuzzer, Everything Looks Like a Reachability Problem", it's on unconventional applications of coverage-guided fuzzing. Check out the invited paper! www.doc.ic.ac.uk/~afd/papers/...

Interested in practical tips for using agentic LLMs for vulnerability detection? Check out this tech report from the Fuzzing Brain team, who reached the finals of AIxCC. It was a pleasure to be involved in this effort! arxiv.org/pdf/2509.07225

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/00li...

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/00li...

Delighted to have arrived in Seoul for PLDI 2025!!!

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

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-confe...

The empty set.

If you're working on (high)performance for declarative languages - consider submitting your paper or abstract to FProPer (formerly FHPNC) this year! conf.researchr.org/home/icfp-sp...

I'm seeking 1-2 Ph.D. students, who will conduct research on how LLMs can extend and augment the software tests created by humans. Please apply, share, and get in touch if you have questions! Apply at: www.chalmers.se/en/about-cha...

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/...

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

Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. @ccadar.bsky.social @afd-icl.bsky.social Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/

Today at ASPLOS Chengsong Tan will present our work with @wicko3.bsky.social on mechanical formalisation of CXL.cache - check out the paper! www.doc.ic.ac.uk/~afd/papers/... #CXL

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 Research Award. Check out the paper! doc.ic.ac.uk/~afd/papers/...

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

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!

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

Check out our work on Formalising CXL Cache Coherence, which Chengsong Tan will present at @ASPLOSConf next week (joint with @wicko3.bsky.social) www.doc.ic.ac.uk/~afd/papers/...

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: www.doc.ic.ac.uk/~afd/PhD-Adv...

Schedule for S-REPLS - 1st April at Imperial - now live! Please register ASAP if you'd like to attend. www.imperial.ac.uk/events/18912...

SQLancer will be part of the Google Summer of Code (GSoC) program again this year! We are looking for motivated contributors as well as database development teams who would like to have their systems tested. summerofcode.withgoogle.com/programs/202...

My cousin Lola Young is nominated for a Brit Award! Please vote for her www.brits.co.uk/vote/

Please register here if you would like to attend S-REPLS on 1st April at Imperial College London forms.office.com/e/sWvG4Z1JSR

I am organising the next edition of S-REPLS at Imperial College London on 1st April (no joke) - email me if you're interested in giving a talk! Web page and registration coming soon.

Huge congratulations to my PhD student Sam Coward of Intel (jointly advised by Theo Drane). Sam has produced an amazing body of work on e-graphs in hardware design - see my blog for accessible summaries. Thanks to Tom Melham (@ox.ac.uk) and @afd-icl.bsky.social for examining!

Check out Turbulence - our new work on systematically evaluating robustness of LLMs with respect to code generation. To appear at ICST, led by Shahin Honarvar www.doc.ic.ac.uk/~afd/papers/... Rather than using LLMs in testing, this work is about applying software testing techniques to assess LLMs!

It's 2025, which means PLISS is this year... May to be specific! If you're interested in studying programming language implementations, please make sure to express your interest in time pliss.org/2025/

We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social

Learned about Futexes while teaching operating systems this year, so it‘s cool to see this work, and of course to see model checking going strong!

Futex is an under-appreciated Linux system call that backs almost everything you do that involves concurrency behind the scenes. HuguesEvrard and I wrote a paper on using model checking to analyse futex-based concurrency primitives. Check it out! doc.ic.ac.uk/~afd/papers/...

Excited that our paper on compiler fuzzing in continuous integration will appear at the ICST industry track. Lead author Bua presented on this work at Dafny workshop at #POPL. Joint with Stefan Zetzsche at AWS, supported by Amazon Research Award. Check it out doc.ic.ac.uk/~afd/papers/...

Delighted that our paper on "Grammar mutation for testing input parsers" - led by Bachir Bendrissou and joint with @ccadar.bsky.social - is now published in ACM TOSEM! This came from a registered report at FUZZING. Check it out! doc.ic.ac.uk/~afd/papers/...

Why is the British Airways website so bad??!

It was a a delight to hang out with these fine friends during the Computer Science Research Week at NUS. My first trip to Singapore - what a city! I'm delighted that #OOPSLA / #SPLASH and #ICFP will take place there in October.

🚨 The CAV 2025 Artifact Evaluation Committee is seeking nominations! Submit your (self) nomination using this form: 👉 forms.gle/PCAShznCZL9T... 📅 Deadline: January 16th, 2025 37th International Conference on Computer Aided Verification: 🌐 conferences.i-cav.org/2025/ #CAV2025 #ArtifactEvaluation

Is this a Kotlin compiler bug? Compiler accepts: fun foo(a: Any, s: String): String = when (a) { is String -> a else -> "hello" } but rejects: fun foo(a: Any, s: String): String = when (a) { s -> a // Compiler says 'a' has type Any else -> "hello" }

It's a pleasure to be visiting Singapore for the first time, to speak at NUS CS research week researchweek.comp.nus.edu.sg

We are hiring! The Dept of Computing at Imperial are looking to appoint *six* new faculty members. Focus areas: - AI+ML - Computer Graphics +Computer Vision - Quantum Computing + Quantum Information - Software Engineering Please spread the word! www.imperial.ac.uk/jobs/search-...