iiinova — where your digital self keeps evolving

afd-icl.bsky.social @afd-icl.bsky.social · 20/12/2025

ACM TOPLAS has four new paper tracks: - PL Squibs (Guest Editor: Colin Gordon) - PL Experiments (Guest Editor: @wicko3) - Tools, Systems and Practitioner Reports - Surveys and Tutorials Check out my editorial on these tracks in the latest issue! dl.acm.org/doi/10.1145/...

Screenshot of Alastair Donaldson's editorial for TOPLAS 47(4).

010

afd-icl.bsky.social @afd-icl.bsky.social · 15/10/2025

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

imperial.ac.uk

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

21111

afd-icl.bsky.social @afd-icl.bsky.social · 06/10/2025

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

280

afd-icl.bsky.social @afd-icl.bsky.social · 01/10/2025

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

040

afd-icl.bsky.social @afd-icl.bsky.social · 24/09/2025

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

020

afd-icl.bsky.social @afd-icl.bsky.social · 02/07/2025

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

050

afd-icl.bsky.social @afd-icl.bsky.social · 02/07/2025

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

050

afd-icl.bsky.social @afd-icl.bsky.social · 17/06/2025

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

020

afd-icl.bsky.social @afd-icl.bsky.social · 05/06/2025

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

010

Reposted by @afd-icl.bsky.social

gckeller.bsky.social @gckeller.bsky.social · 14/04/2025

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

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

075

Reposted by @afd-icl.bsky.social

Gregory Gay @greggay.bsky.social · 15/04/2025

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

chalmers.se

Vacancies

044

afd-icl.bsky.social @afd-icl.bsky.social · 03/04/2025

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

120

afd-icl.bsky.social @afd-icl.bsky.social · 02/04/2025

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

000

Reposted by @afd-icl.bsky.social

srgimperial.bsky.social @srgimperial.bsky.social · 02/04/2025

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/

042

afd-icl.bsky.social @afd-icl.bsky.social · 02/04/2025

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

153

afd-icl.bsky.social @afd-icl.bsky.social · 01/04/2025

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

020

afd-icl.bsky.social @afd-icl.bsky.social · 01/04/2025

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

081

afd-icl.bsky.social @afd-icl.bsky.social · 01/04/2025

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!

031

afd-icl.bsky.social @afd-icl.bsky.social · 26/03/2025

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

0133

afd-icl.bsky.social @afd-icl.bsky.social · 26/03/2025

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

071

afd-icl.bsky.social @afd-icl.bsky.social · 18/03/2025

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

doc.ic.ac.uk

076

Reposted by @afd-icl.bsky.social

Manuel Rigger @mrigger.bsky.social · 02/03/2025

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

0114

afd-icl.bsky.social @afd-icl.bsky.social · 29/01/2025

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

forms.office.com

Microsoft Forms

010

afd-icl.bsky.social @afd-icl.bsky.social · 27/01/2025

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.

031

Reposted by @afd-icl.bsky.social

George A. Constantinides @gconstantinides.bsky.social · 24/01/2025

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!

073

afd-icl.bsky.social @afd-icl.bsky.social · 23/01/2025

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!

030

Reposted by @afd-icl.bsky.social

Laurence Tratt @ltratt.bsky.social · 06/01/2025

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/

02519

Reposted by @afd-icl.bsky.social

Manuel Rigger @mrigger.bsky.social · 21/01/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

1149

Reposted by @afd-icl.bsky.social

Johannes Kinder @jkinder.bsky.social · 21/01/2025

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!

171

afd-icl.bsky.social @afd-icl.bsky.social · 20/01/2025

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

122

afd-icl.bsky.social @afd-icl.bsky.social · 20/01/2025

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

080

afd-icl.bsky.social @afd-icl.bsky.social · 14/01/2025

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

doc.ic.ac.uk

1146

afd-icl.bsky.social @afd-icl.bsky.social · 11/01/2025

Why is the British Airways website so bad??!

120

afd-icl.bsky.social @afd-icl.bsky.social · 10/01/2025

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.

1122

Reposted by @afd-icl.bsky.social

CAV @confcav.bsky.social · 09/01/2025

🚨 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

forms.gle

CAV'25 Artifact Evaluation Committee - Nomination Form

064

afd-icl.bsky.social @afd-icl.bsky.social · 08/01/2025

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" }

110

afd-icl.bsky.social @afd-icl.bsky.social · 08/01/2025

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

063

afd-icl.bsky.social @afd-icl.bsky.social · 26/11/2024

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

imperial.ac.uk

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

063