NSAD at SPLASH 2024
@NSAD_Workshop
Followers
21
Following
151
Media
10
Statuses
29
The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD), co-located with @splashcon
Pasadena, California
Joined February 2024
The list of accepted papers for NSAD 2024 is now online! 🚀 https://t.co/OWwm4Wnrq1 A big thank you to all the authors for your contributions and to our PC for their hard work! See you in Pasadena! ☀️
0
4
9
SPLASH and ICFP will be co-located in 2025! 📆 Mark your calendars: the ICFP'25 submission deadline will be Feb 27, 2025 https://t.co/4w6SXqqCXm
0
11
44
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! ❤️
0
2
10
SPLASH also has something for Data Scientists: Towards a High Level Linter for Data Science by Greta Dolcetti, NSAD
0
4
15
The last talk of NSAD is given by Nicola Assolini on Abstract Entanglement!
1
3
9
The first talk of the last section is presented by Matthieu Lemerre, discussing Labeled Union-Find for Constraint Factorization
0
1
4
The last talk of this track is delivered by Luca Negrini, presenting Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
1
3
5
The second talk in this track is given by Michael Schwarz, presenting C-2PO: A Weakly Relational Pointer Domain!
3
3
8
The second track begins with Anthony Dario's talk titled "A Step-Function Abstract Domain for Granular Floating-Point Error Analysis"
1
2
8
The first full paper talk is given by Greta Dolcetti on static analysis of data science software!
4
3
16
Proceedings of NSAD 2024 are out! 🥳🏁 🔗 https://t.co/yVHmt2RiqS A nice reading for your trip to Pasadena! 🙃
dl.acm.org
0
4
8
🚨 Today is the final day for early registration for #SPLASH2024! 🏃♂️ Don’t miss out on discounted rates. Join us in sunny Southern California for an amazing program filled with groundbreaking papers, insightful talks, and networking! https://t.co/FW9yntowjb
0
5
8
Our master's student Rebecca Ghidini and I are gonna be around to present "C-2PO: A Weakly Relational Pointer Domain" (joint work also w/ Julian Erhard and Helmut Seidl) -- and make more bad Star Wars puns. Looking forward to seeing everyone in Pasadena!
The list of accepted papers for NSAD 2024 is now online! 🚀 https://t.co/OWwm4Wnrq1 A big thank you to all the authors for your contributions and to our PC for their hard work! See you in Pasadena! ☀️
1
2
5
The NSAD 2024 program is now online! 🚀 https://t.co/g80EpKYPeb Don't miss the early registration deadline for SPLASH @splashcon - it's September 20! 🗓️
0
3
3