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

The empty set.

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!

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

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

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!

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

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.

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