I am delighted to have received an award from Amazon Science to investigate novel techniques for randomized testing of compilers for verified programming languages, and Dafny in particular!

amazon.science/research-awards

Excited that Jack's work received a Best Paper Award at EuroSys 2024! Thanks to the committee for appreciating the work. dl.acm.org/doi/pdf/10.114…

Come and join us for #POPL2024 , in January, in the heart of London! Registration is now open, and you can claim an early-registration discount for the next month (until 14 Dec 2023). popl24.sigplan.org/attending/regi…

Our reply to Michelle Donelan MP's letter to UK Research and Innovation. This risks creating a chilling effect on freedom of speech and academic freedom

The Department of Computing at Imperial College London is hiring for new faculty (Assistant Professor level, but we use different words in the UK) - excellent applicants in all areas sought! imperial.ac.uk/jobs/descripti…

Reminder: the POPL 2024 Tutorial Fest submission deadline is coming up: 15 October.

Please send us your proposals for exciting tutorials!

popl24.sigplan.org/track/POPL-202…

Kotliners: what d'you think this prog should print when passed empty args?

fun getText(arg: Int): String {
return if (arg == 0) {
'A'
} else if (arg == 1) {
'B'
} else {
'C'
} + '\n'
}

fun main(args: Array<String>) {
println(getText(args.size) + '!!!')
}

BAM: just shaved a line by changing 'such as' to 'e.g.' - folks who gave up on Twitter do not know what they are missing.

Phrases you can pleasingly slash when shortening a paper or proposal: 'In particular', 'Note that', 'It is important to note that'. Slash, bang, shaved off a line, bumped section up a page - getting closer! Made a high speed video of this for my inaugural but my wife vetoed it.

A reminder that end of September is the deadline for nominations for the 2024 Dahl-Nygaard junior and senior prizes!

docs.google.com/forms/d/e/1FAI…

CXL: What's all the fuss about? Enlightening blog post from John Wickerson johnwickerson.wordpress.com/2023/08/24/cxl/

Planning to submit a paper to #AAAI for the first time. Does anyone know what the right approach is for making large data sets available anonymously for this venue? The submission system allows supplementary material, but files cannot be very large.

Nominations for the 2024 Dahl-Nygaard junior and senior prizes are open! Deadline: 30 Sept. Named after OO pioneers Ole-Johan Dahl & Kristen Nygaard, the prizes recognise significant achievements in the field. More details and nomination form: sites.google.com/aito.org/home/…

Please RT!

POPL 2014 is looking for exciting proposals for tutorials! Tutorialfest deadline is 15 October - see here for details, and please spread the word! popl24.sigplan.org/track/POPL-202…

Is a C compiler obliged to produce an error if given syntactically invalid code? Say, a `break` that isn’t inside a loop/switch. Can a standard-compliant compiler choose to produce arbitrary output when given that code as input, just like it can when given code with UB?

Really delighted that our paper on GrayC, a tool for greybox fuzzing of C compilers and analysers, received a distinguished paper award at #ISSTA ! Come to G01 now if you wanna see Arindam Sharma's talk! Joint work with Karine Even-Mendoza Cristian Cadar.

dl.acm.org/doi/pdf/10.114…

Our own Arindam Sharma is testing his presentation setup for his #ISSTA distinguished paper 'GrayC: Greybox Fuzzing of Compilers and Analysers for C'. Join us in G01 at 14:30 to hear about his joint work with Karine Even-Mendoza, Alastair Donaldson and Cristian Cadar!

Could preregistration fix the fuzzing research publication process? Yes, according to Marcel Böhme👨‍🔬 ISSTA Conference

Ally ⁦Alastair Donaldson⁩ presenting at the FUZZING workshop our work on fuzzing using mutated grammars.
(First author Bachir ⁦Bachir Bendrissou⁩ could unfortunately not attend due to visa issues…)

The FUZZING workshop is about to kick off at ISSTA Conference! Excited about first keynote by my esteemed colleague Cristian Cadar. It's great to be back in Seattle!