@afd-icl.bsky.social
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
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-...
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
Description
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...
www.imperial.ac.uk
October 15, 2025 at 6:16 AM
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-...
- 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...
October 6, 2025 at 10:00 PM
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/...
www.doc.ic.ac.uk/~afd/papers/...
October 1, 2025 at 10:22 AM
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/...
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
arxiv.org/pdf/2509.07225
September 24, 2025 at 12:21 PM
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
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...
drops.dagstuhl.de/storage/00li...
drops.dagstuhl.de
July 2, 2025 at 12:15 PM
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...
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...
drops.dagstuhl.de
July 2, 2025 at 12:15 PM
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!!!
June 17, 2025 at 9:25 AM
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
lu.ma/8vdqg90s
Frontier AI Summit · Luma
✨ Frontier AI Summit - London's Premier AI Intelligence Showcase
Experience the Future, Today
Prepare to be captivated by a day where cutting-edge innovation…
lu.ma
June 5, 2025 at 5:35 PM
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
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...
vetss.org.uk/annual-confe...
Annual Conference 2025
Friday, 6 June 2025
Time:
9:00 am - 5:30 pm
Venue:
RAEng, Prince Philip House
Registration
Cost: Free
VeTSS Annual Conference 2025
The VeTSS Annual Conference is a key event for professionals fro...
vetss.org.uk
June 5, 2025 at 5:33 PM
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...
vetss.org.uk/annual-confe...
Reposted
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...
conf.researchr.org/home/icfp-sp...
FProPer 2025 - ICFP/SPLASH 2025
FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...
conf.researchr.org
April 14, 2025 at 12:39 PM
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...
conf.researchr.org/home/icfp-sp...
Reposted
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...
Apply at: www.chalmers.se/en/about-cha...
Vacancies
www.chalmers.se
April 15, 2025 at 6:34 AM
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...
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/...
doc.ic.ac.uk/~afd/papers/...
April 3, 2025 at 8:39 AM
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/...
doc.ic.ac.uk/~afd/papers/...
Bua presenting our work on compiler fuzzing in continuous integration at ICST!
April 2, 2025 at 12:52 PM
Bua presenting our work on compiler fuzzing in continuous integration at ICST!
Reposted
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/
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
April 2, 2025 at 10:21 AM
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/
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
April 2, 2025 at 8:56 AM
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/...
Amazon Research Award. Check out the paper!
doc.ic.ac.uk/~afd/papers/...
April 1, 2025 at 1:17 PM
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/...
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/...
April 1, 2025 at 1:11 PM
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!
April 1, 2025 at 1:07 PM
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/...
www.doc.ic.ac.uk/~afd/papers/...
March 26, 2025 at 10:02 AM
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/...
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/...
www.doc.ic.ac.uk/~afd/papers/...
March 26, 2025 at 9:56 AM
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/...
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...
www.doc.ic.ac.uk
March 18, 2025 at 6:50 PM
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...
www.imperial.ac.uk/events/18912...
S-REPLS 16
The South of England Regional Programming Language Seminar (S-REPLS) is a regular and informal meeting open to everyone with a professional interest.
www.imperial.ac.uk
March 4, 2025 at 5:02 PM
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...
www.imperial.ac.uk/events/18912...
Reposted
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...
March 2, 2025 at 9:48 AM
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...