[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We're happy to announce a deadline extension for the ACM SIGPLAN Workshop on
Numerical and Symbolic Abstract Domains (NSAD) which will be co-located with
SPLASH/ISSTA and SAS in October.
**While the abstract deadline will remain the same (Jun 14 AoE), everyone gets
another week to finish their paper (Jun 21 AoE).**
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)
- Matthieu Lemerre (Université Paris-Saclay - CEA List)
- 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://urldefense.com/v3/__https://conf.researchr.org/home/splash-issta-2026/nsad-2026__;!!IBzWLUs!QCXK8c_qebvzQtczAD_NhQ_hnyUrShm0C8MnhxFnsJdGMzDj15fFaQahYhsLBzIIi5gqbGsXcwuEHItzH10UUTYLhr4qlCLNIwmg$
Best Regards,
Michael Schwarz (National University of Singapore)
Vesal Vojdani (University of Tartu)
________________________________
Important: This email is confidential and may be privileged. If you are not the
intended recipient, please delete it and notify us immediately; you should not
copy or use it for any purpose, nor disclose its contents to any other person.
Thank you.
