John Wickerson

Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social

[Alastair Donaldson @afd_icl]

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!

https://t.co/02o0QDINdo

[Alastair Donaldson @afd_icl]

Are conference reviewers harsher when they have a submission of their own? Post by @wicko3

https://t.co/951TSKT9O0

[John Wickerson @wicko3]

@ymherklotz @ymherklotz I wrote a follow-up post inspired by your comment: https://t.co/ROlZrA7MxF

[John Wickerson @wicko3]

I wrote up some thoughts about a curious alternative to Incorrectness Logic https://t.co/9xVpPFoWw8

[John Wickerson @wicko3]

@ymherklotz As readable as ever! 😂

[John Wickerson @wicko3]

@PeterOHearn12 @HerrDreyer @AzaleaRaad @alexandra8silva @PetarMax … it’s close to the sufficient incorrectness logic (SIL) of Ascari et al (aka Lisbon triples or backward underapproximate Hoare logic), in the sense that {P}c{Q} holds under SIL iff {-P}c{-Q} holds under ???. See also: https://t.co/ROlZrA7MxF

[John Wickerson @wicko3]

@PeterOHearn12 @HerrDreyer @AzaleaRaad @alexandra8silva @PetarMax I finally found time to get to the bottom of this. The ??? in my post is not quite necessary preconditions, but …

[John Wickerson @wicko3]

@GNRailUK Do you know if those restrictions changed recently? I spoke to three revenue protection officers at Cambridge yesterday who all insisted off-peak carnets had no evening restrictions. I showed them the webpage you linked to and they were quite surprised!

[John Wickerson @wicko3]

@GNRailUK What are the evening restrictions on using a carnet from KGX to CBG, please?

My ticket seller said not between 5:30pm and 6:30pm;

your website says not between 4:30pm and 7pm;

and my revenue protection officer said there are no evening restrictions!

Who is right?

[John Wickerson @wicko3]

@GNRailUK Hi Ben, it’s an off-peak carnet. (I understand that anytime carnets are not available between KGX and CBG in any case.)

[Eleonora Giunchiglia @e_giunchiglia]

Amazing initiative by @imperialeee! 💯 Had a lot of fun discussing with the students on the future possibilities of building compliant-by-design ML models! Thanks @wicko3 for organising! 🙏🏼

[John Wickerson @wicko3]

Big thank you to Eleonora Giunchiglia @e_giunchiglia for a fascinating “Meet the Profs” talk at @imperialeee about her research into compliant-by-construction ML models!

[Loris D'Antoni @lorisdanto]

PACMPL (POPL, PLDI, OOPSLA, ICFP) papers should have a limit of 10 pages.
We already write them this way (section 2 is basically the paper at this point) and all the details should go in appendix.
Writing this way would make our work accessible outside of our community.

[John Wickerson @wicko3]

A good day for folks who like runs of numbers!

[John Wickerson @wicko3]

Delighted to have our first “Meet the Profs” seminar of the term, featuring Ayush Bhandari (@AB2World) who showed us how to extract a useful signal just from the noise of quantisation! Simultaneously mind-blowing and beautifully explained. @imperialeee

[Imperial College London @imperialcollege]

Congratulations to Philippa Gardner, Professor in @ICComputing, who has received a @bcs Ada Lovelace Medal 🥇

Professor Gardner received the award in recognition of her work on language specification, software verification and bug detection ⬇️

https://t.co/9yc3OxyPqi

[Gabriel @gabelbling]

Amazing graphical representation of a neural net, never seen anything like it.

[Mike Dodds @miike]

I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: https://t.co/pEnr6noLpA

[Luke Geeson @LukeGeeson]

Lots of great engagement @splashcon after presenting our work on Mix Testing, thanks again to my co-authors Brotherston, Dijkstra, @afd_icl, Smith, @Tyler_UCSC, and @wicko3 https://t.co/RMCpcDNtnm

Talk 2:50 in https://t.co/3Tphl6vy9c

[John Wickerson @wicko3]

Did I just wake up after a 400-year nap?

[Jay Cummings @LongFormMath]

We have a new record!

The Great Internet Mersenne Prime Search verified that this massive number is indeed prime.

Which also means that a new perfect number has been discovered.

The last record held for an unusually long time—almost 6 years. We’ll see how long this stands.

[Ross Tate @rossetate]

As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)