The list of accepted papers for NSAD 2024 is now online! 🚀. A big thank you to all the authors for your contributions and to our PC for their hard work! See you in Pasadena! ☀️.

RT @splashcon: SPLASH and ICFP will be co-located in 2025!. 📆 Mark your calendars: the ICFP'25 submission deadline will be Feb 27, 2025. ht….

That's a wrap for the 10th edition of NSAD at @splashcon! A huge thank you to @caterinaurban for her insightful talk, and to all the participants, speakers, and paper authors! ❤️

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

Link to the full paper:

The last talk of NSAD is given by Nicola Assolini on Abstract Entanglement!

The first talk of the last section is presented by Matthieu Lemerre, discussing Labeled Union-Find for Constraint Factorization

Link to the full paper:

The last talk of this track is delivered by Luca Negrini, presenting Stability: An Abstract Domain for the Trend of Variation of Numerical Variables

Link to the full paper:

Link to the full paper:

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

The second track begins with Anthony Dario's talk titled "A Step-Function Abstract Domain for Granular Floating-Point Error Analysis"

Link to the full paper:

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

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

Proceedings of NSAD 2024 are out! 🥳🏁. 🔗 A nice reading for your trip to Pasadena! 🙃.

RT @splashcon: 🚨 Today is the final day for early registration for #SPLASH2024! 🏃‍♂️ Don’t miss out on discounted rates. Join us in sunny S….

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

The NSAD 2024 program is now online! 🚀. Don't miss the early registration deadline for SPLASH @splashcon - it's September 20! 🗓️.