lavoro duro affinché i miei gatti possano avere una vita migliore

It was a pleasure to host Luca Di Stefano from TU Wien (@1306lou) today at @unipr for his talk on software verification using model checking! A big thank you to Luca for sharing his expertise with us! 🚀💻

RT @NSAD_Workshop: That's a wrap for the 10th edition of NSAD at @splashcon! A huge thank you to @caterinaurban for her insightful talk, an…

RT @splashcon: SPLASH also has something for Data Scientists: Towards a High Level Linter for Data Science by Greta Dolcetti, NSAD https://…

RT @NSAD_Workshop: The last talk of NSAD is given by Nicola Assolini on Abstract Entanglement!

RT @NSAD_Workshop: The last talk of this track is delivered by Luca Negrini, presenting Stability: An Abstract Domain for the Trend of Vari…

RT @NSAD_Workshop: The second talk in this track is given by Michael Schwarz, presenting C-2PO: A Weakly Relational Pointer Domain! https:/…

RT @NSAD_Workshop: The second track begins with Anthony Dario's talk titled "A Step-Function Abstract Domain for Granular Floating-Point Er…

RT @NSAD_Workshop: The first full paper talk is given by Greta Dolcetti on static analysis of data science software!

RT @NSAD_Workshop: NSAD 2024 is kicking off with the keynote talk by @caterinaurban! 🚀

Radhia Cousot Award 2024! Congratulations Denis! 👏 @symposiumSAS

SAS 2024 has kicked off! @symposiumSAS 🚀

RT @NSAD_Workshop: Proceedings of NSAD 2024 are out! 🥳🏁 🔗 A nice reading for your trip to Pasadena! 🙃

RT @SachaAyoun: If you are a student in PL, apply to become a Student Volunteer for @poplconf ! It’s a great occasion to take part in our g…

RT @unipr: Dal #1ottobre a #unipr ciclo di seminari per il Mese Europeo della Cybersecurity ▶️nell'Aula B del Plesso di Matematica (Campus…

RT @ICSEconf: The 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineerin…

Mattia Merenda (@merendamattiaa ) just presented our work on sound construction of EVM bytecode CFG at FTfJP 2024! 📄 Paper: 💻 Code:

RT @AndreasZeller: “The Devil's Guide to Doing your PhD - 10 tips for despair, dismay, and disappointment” - this was the eynote I gave tod…

RT @93mSchwarz: Our master's student Rebecca Ghidini and I are gonna be around to present "C-2PO: A Weakly Relational Pointer Domain" (join…

@izycheva @ECOOPconf He's Olaf! (I guess)

RT @NSAD_Workshop: The NSAD 2024 program is now online! 🚀 Don't miss the early registration deadline for SPLASH @…