Azalea Raad (@azalearaad) 's Twitter Profile
Azalea Raad

@azalearaad

Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.

ID: 24955918

linkhttp://www.soundandcomplete.org calendar_today17-03-2009 21:12:45

2,2K Tweet

1,1K Followers

273 Following

VeTSS (@vetss_ri) 's Twitter Profile Photo

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

We kicked off our second session of the VeTSS inaugural conference with an exciting talk by the magnificent <a href="/MarkDRyan/">Mark Ryan</a> on verifying transparency protocols. #vetss
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

The last morning session talk of the inaugural VeTSS conference is given by the incomparable <a href="/ParkyMatthew/">Matthew Parkinson</a> on Security and Legacy at Microsoft. 
#vetss
VeTSS (@vetss_ri) 's Twitter Profile Photo

We resume our afternoon session of the VeTSS inaugural conference with an excellent talk by Petros Wallden on Benchmarking and Verifying Quantum Computers. #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
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

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
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

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
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

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
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

The penultimate talk of the VeTSS inaugural conference is given by the amazingly talented <a href="/KarineEvenMend1/">Karine Even-Mendoza</a> on CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively. #vetss
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

The final talk of the VeTSS inaugural conference is given by the exceptionally talented @_graymalkin about on Porting Rust to Morello. #vetss
VeTSS (@vetss_ri) 's Twitter Profile Photo

Congratulations to Drs. Dongal and Azalea Raad, 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.

Julien Vanegue (@jvanegue) 's Twitter Profile Photo

Our paper "A General Approach to Under-approximate Reasoning about Concurrent Programs" has been accepted to be presented at CONCUR 2023! Work with Azalea Raad Peter O'Hearn and Josh Berdine.

VeTSS (@vetss_ri) 's Twitter Profile Photo

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.

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.
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

How exciting!  The second VeTSS summer school #VeTSS lecture from Jules Villard on "Build your Own Scalable Static Analysis with the Infer Platform"
VeTSS (@vetss_ri) 's Twitter Profile Photo

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.

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.
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

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!).
VeTSS (@vetss_ri) 's Twitter Profile Photo

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

Amazing tutorial by Dr. Andrei Popescu on understanding induction and co-induction with proofs in Isabelle/HOL at the #VeTSS summer school.
Noam Zilberstein (@nzcomplete) 's Twitter Profile Photo

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

Tech At Bloomberg (@techatbloomberg) 's Twitter Profile Photo

At CONCUR 2023, Imperial College London's Azalea Raad is presenting "A General Approach to Under-approximate Reasoning about Concurrent Programs," a paper written w/ our CTO Office's Julien Vanegue, Skiplabs's Josh Berdine & UCL's Peter O'Hearn bloom.bg/3rmiSQr #ConcurrentPrograms

Julien Vanegue (@jvanegue) 's Twitter Profile Photo

I am happy to share that our paper “Non Termination Proving At Scale” was accepted at OOPSLA’24. Always a pleasure to collaborate with Azalea Raad and Peter O'Hearn :) See you in Pasadena for SPLASH Conference in October!

Julien Vanegue (@jvanegue) 's Twitter Profile Photo

Congratulations to Stephen Brookes and Peter O’Hearn Peter O'Hearn for bagging the Test-of-Time Award at CONCUR’24 for their invention of Concurrent Separation Logic 20 years ago concurrency-theory.org/events/tot-awa… 👏👏👏