SAC-SVT 2024
Symposium on Applied Computing, Software Verification and Testing Track, 2024
Navigation: Accepted Papers, Accepted Posters, Call For Papers, Submission Guidelines, Important Dates, Track Chairs, Program Committee, Previous Editions
Accepted Papers
- “Verification of Concurrent Machine Code Running on a Single-Core Machine” by Narges Khakpour (Newcastle University, United Kingdom)
- “(Nearest) Neighbors You Can Rely On: Formally Verified K-D Tree Construction and Search in Coq” by Nadeem Abdul Hamid (Berry College, United States)
- “Resource Constrained Test Case Prioritization with Simulated Annealing in an Industrial Context” by Eric Felding (Linköping University, Sweden), Per Erik Strandberg (Westermo Network Technologies AB, Sweden), Nils-Hassan Quttineh (Linköping University, Sweden), Wasif Afzal (Mälardalen University, Sweden)
- “Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis”, Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl (all at Karlsruhe Institute of Technology, Germany)
- “A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems” by Susmoy Das, Arpit Sharma (both at Indian Institute of Science Education and Research Bhopal, India)
- “Concurrent NetKAT with Ports” by Hui Feng, Marcello M. Bonsangue (both at LIACS - Leiden University, Netherlands)
Accepted Posters
- “Isabelle-Verified Correctness of Datalog Programs for Program Analysis”, by Anders Schlichtkrull (Aalborg University, Denmark), René Rydhof Hansen (Aalborg University, Denmark), Flemming Nielson (Technical University of Denmark, Denmark)
Call For Papers
The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing for over thirty years. The forum gives participants an opportunity to interact with different communities sharing an interest in applied computing.
The 39th ACM Symposium on Applied Computing (SAC 2024) is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place on April 8 - April 12, 2024, in Avila, Spain.
The Software Verification and Testing track aims to contribute to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. We also welcome detailed descriptions of applications of mechanical verification to large scale software.
Possible topics include, but are not limited to:
- model checking
- theorem proving
- correct by construction development
- model-based testing
- software testing
- symbolic execution
- static and dynamic analysis
- abstract interpretation
- analysis methods for dependable systems
- software certification and proof carrying code
- fault diagnosis and debugging
- verification and validation of large scale software systems
- real world applications and case studies applying software testing and verification
- benchmarks and data sets for software testing and verification
Submission Guidelines
Paper submissions must report on original, unpublished work. Submitted papers will undergo a double-blind review process. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. We welcome research papers and posters. Research papers should have at most 8 two-column pages in ACM format (further two pages, to a total of 10 pages, may be available at a charge). The length of a poster is limited to 2 pages (one extra page may be available at a charge). Please comply to this page limit already at submission time.
Furthermore, in the context of the Student Research Competition (SRC) program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest, graduate students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2024 website. Last year’s example can be found here. Submission of the same abstract to multiple tracks is not allowed.
Accepted papers will be published in the ACM SAC 2024 proceedings in the ACM digital library. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library.
New Poster Page Limit in 2024
We would like to draw your attention to the fact that the page limit for posters has changed from last year. It is now 2 pages with a possibility of one more for an extra charge.
Author kit with formatting guidelines for all submission types: https://www.sigapp.org/sac/sac2024/authorkit.php
The submission system for regular papers: https://softconf.com/n/sac2024/
The submission system for SRC (Student Research Competition) abstracts: https://softconf.com/n/sac-src2024/
Important Dates
Paper and SRC abstract submission: September 15th, 2023 September 29th, 2023 October 13th, 2023
Notification: October 30th, 2023 November 17, 2023
Camera-ready and author registration: November 30th, 2023 December 15, 2023 January 5th, 2024
Track Chairs
Georgiana Caltais, University of Twente, The Netherlands
Justyna Petke, University College London, United Kingdom
Program Committee
- Angelo Gargantini, University of Bergamo, Italy
- Antoine Rollet, Bordeaux INP, LaBRI, France
- Anton Wijs, Technische Universiteit Eindhoven, the Netherlands
- Burkhart Wolff, Université Paris-Saclay, LRI, France
- Cathérine Dubois, ENSIIE, France
- Christian Colombo, University of Malta, Malta
- Crystal Chang Din, University of Bergen, Norway
- Eduard Kamburjan University of Oslo, Norway
- Ernst Moritz Hahn, University of Twente, the Netherlands
- Fatiha Zaidi, University of Paris-Saclay, France
- Ferhat Khendek, Concordia, Canada
- Frédéric Loulergue, University of Orléans, France
- Gwen Salaün, University Grenoble Alpes, Inria, France
- Hüsnü Yenigun, Sabanci University, Turkey
- João Pascoal Faria, INESC TEC and University of Porto, Portugal
- Julien Signoles, CEA List, France
- Jun Pang, University of Luxembourg, Luxembourg
- Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA
- Mahsa Varshosaz, Copenhagen, IT University of Copenhagen, Denmark
- Marcus Gerhold, University of Twente, The Netherlands
- Maria del Mar Gallardo, University of Malaga, Spain
- Mark Utting, The University of Queensland, Australia
- Martin Leucker, University of Lübeck, Germany
- Matthias Güdemann, UAS Münich, Germany
- Maurizio Leotta, University of Genoa, Italy
- Mercedes Merayo, Universidad Complutense de Madrid, Spain
- Michael Foster, University of Sheffield, UK
- Michele Chiari, Politecnico di Milano, Italy
- Nikolai Kosmatov, Thales, France
- Peter Csaba Ölveczky, University of Oslo, Norway
- Peter Lammich, University of Twente, the Netherlands
- Renzo Gaston Degiovanni, University of Luxembourg, Luxembourg
- Sylvain Hallé, Université du Québec à Chicoutimi, Canada
- Thierry Jéron, Inria, France
- Tom van Dijk, University of Twente, the Netherlands
- Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
- Xupeng Li, Columbia University, USA
Previous Editions
The SVT track has been held annually at SAC since 2009. Links to the previous editions can be found on the following website: https://www.sigapp.org/sac/.