Dear all,
We’re happy to announce that the 11th edition of the ACM SIGPLAN Workshop on Numerical and Symbolic Abstract Domains (NSAD) will be co-located with SPLASH/ISSTA and SAS in October.
The goal of the NSAD workshop is to discuss work in progress, recent advances, novel ideas, and experiences in the theory, practice, application, implementation, and experimentation connected to Abstract Domains, including their application in incremental, partial and modular program analysis. The workshop particularly welcomes contributions to emerging application areas, such as neural networks, dynamic/hybrid systems, distributed systems, quantum software, and blockchain software (e.g., smart contracts).
NSAD 2026 will feature a keynote by Laura Titolo (Code Metal) and presentations of full and short papers. Submissions can cover any aspect of the theory and practice of Abstract Domains, as well as empirical evaluations and reports of their adoption in industry. We invite submissions on topics including, but not limited to:
- numerical Abstract Domains
- symbolic Abstract Domains
- extrapolations and accelerations on Abstract Domains
- new operators on Abstract Domains
- compositions and operations on Abstract Domains
- data structures and algorithms for Abstract Domains
- novel applications of Abstract Domains
- empirical evaluation of Abstract Domains implementations
- practical experiments and comparisons concerning Abstract Domains
- implementation aspects/challenges in Abstract Domains development
- reports of Abstract Domains adoption in industry
- applications of Abstract Domains in program verification and validation
- applications of Abstract Domains in quantum software
- applications of Abstract Domains in blockchain software (e.g., smart contracts)
- applications of Abstract Domains in artificial intelligence and machine learning
- theory and practice of Abstract Domains in distributed systems
- case studies or problem statements about Abstract Domains or closely related concepts
PC Members:
- Anna Becchi (Fondazione Bruno Kessler, Trento, Italy)
- Greta Dolcetti (Ca’ Foscari University of Venice, Italy)
- Jerome Feret (INRIA Paris, France)
- Roberto Giacobazzi (University of Arizona, United States)
- Tobias Grosser (University of Cambridge, United Kingdom)
- Minseok Jeon (DGIST, South Korea)
- Jacob Laurel (Georgia Institute of Technology, United States)
- Isabella Mastroeni (University of Verona, Italy)
- David Pichardie (Meta, France)
- Elena Sherman (Boise State University, United States)
We are looking forward to receiving your submissions, for details on the format and deadlines please see: https://conf.researchr.org/home/splash-issta-2026/nsad-2026
Best Regards,
Michael Schwarz (National University of Singapore)
Vesal Vojdani (University of Tartu)