Azalea Raad

Looking for a postdoctoral position in formal methods? Love good food, free museums & a diverse community? Come & join my research team @ICComputing in London as a postdoc. Starting date flexible within 2022. 💬 Ping me for an informal chat. 👉More info: jobs.ac.uk/job/CON572/res…

Congratulations to Stephen Brookes and Peter O’Hearn @PeterOHearn12 for bagging the Test-of-Time Award at CONCUR’24 for their invention of Concurrent Separation Logic 20 years ago #concur-test-of-time-award-2024" target="_blank" rel="nofollow noopener">concurrency-theory.org/events/tot-awa… 👏👏👏

I am happy to share that our paper “Non Termination Proving At Scale” was accepted at OOPSLA’24. Always a pleasure to collaborate with @AzaleaRaad and @PeterOHearn12 :) See you in Pasadena for @splashcon in October!

At CONCUR 2023, @imperialcollege's @AzaleaRaad is presenting "A General Approach to Under-approximate Reasoning about Concurrent Programs," a paper written w/ our CTO Office's @jvanegue, @skiplabs's Josh Berdine & @ucl's @PeterOHearn12 bloom.bg/3rmiSQr #ConcurrentPrograms

I'm excited to be organizing a workshop on incorrectness reasoning with @AzaleaRaad at POPL this year. If you work on incorrectness, consider submitting a talk! popl24.sigplan.org/home/incorrect…

Amazing tutorial by Dr. Andrei Popescu on understanding induction and co-induction with proofs in Isabelle/HOL at the #VeTSS summer school.

A wonderful session on neural network verification at the #VeTSS summer school using the Vehicle tool presented by Prof. Ekaterina Komendantskaya, Dr. Luca Arnaboldi and Dr. Matthew Daggitt (joining us online from Japan!).

Jules Villard showed us how verification at scale works at #Meta in the second session "Build your Own Scalable Static Analysis with the Infer Platform" of the #VeTSS summer school.

How exciting! The second VeTSS summer school #VeTSS lecture from Jules Villard on "Build your Own Scalable Static Analysis with the Infer Platform"

We had a great start to the #VeTSS 2023 summer school with Prof. Georg Struth on "Algebraic Semantics and Verification" with implementations in Isabelle/HOL.

Our paper "A General Approach to Under-approximate Reasoning about Concurrent Programs" has been accepted to be presented at CONCUR 2023! Work with @AzaleaRaad @PeterOHearn12 and Josh Berdine.

Congratulations to Drs. Dongal and @AzaleaRaad, and other investigators on successfully securing Cybersecurity Research Institutes projects: gow.epsrc.ukri.org/NGBOViewPanelR…. These projects are funded by EPSRC and aligned with #VeTSS.

one of my favorite genres of tweet is “extremely angry at a mathematical object”

The final talk of the VeTSS inaugural conference is given by the exceptionally talented @_graymalkin about on Porting Rust to Morello. #vetss

The penultimate talk of the VeTSS inaugural conference is given by the amazingly talented @KarineEvenMend1 on CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively. #vetss

We're back with our final sessions of talks at the VeTSS inaugural conference, and we're treated to a fantastic talk by Vincent Rahli on Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems. #vetss

Next in our lineup of fantastic speakers at the VeTSS inaugural conference is a talk by the preeminent Prof. Chris Hankin on Cyber Security and Critical Infrastructure Systems. #vetss

The second afternoon talk of the VeTSS inaugural conference is given by the inimitable Jules Villard on Formal Verification and Bug Finding at Meta. #vetss

We resume our afternoon session of the VeTSS inaugural conference with an excellent talk by Petros Wallden on Benchmarking and Verifying Quantum Computers. #vetss

The last morning session talk of the inaugural VeTSS conference is given by the incomparable @ParkyMatthew on Security and Legacy at Microsoft. #vetss

We kicked off our second session of the VeTSS inaugural conference with an exciting talk by the magnificent @MarkDRyan on verifying transparency protocols. #vetss