CFP
SAS 2020 Artifacts: 27th Static Analysis Symposium Renaissance Chicago Downtown Hotel Chicago, IL, United States, November 18-20, 2020 |
Conference website | https://conf.researchr.org/home/sas-2020#Call-for-Artifacts |
Submission deadline | April 30, 2020 |
Topics: static analysis
Welcome to the SAS Artifact Evaluation 2020 submissions site.
Submission Guidelines
The artifact should come with a virtual machine (VM) image and step-by-step instructions:
- Virtual machine image: The VM image must be bootable and contain all the necessary libraries installed. Please ensure that the VM image can be processed with VirtualBox. When preparing your artifact, please make it light as possible.
- Step-by-step instructions: It should clearly explain how to reproduce the results that support your paper’s conclusions. We encourage the authors to have easy-to-run scripts. Also, you should explain how to interpret the output of the artifact. Please provide an estimated execution time for each instruction.
Committees
Program Committee
- Jyothi Vedurada
Organizing committee
- David Pichardie
- Mihaela Sighireanu
Contact
All questions about submissions should be emailed to vjyothi@cse.iitm.ac.in, david.pichardie@inria.fr, mihaela.sighireanu@irif.fr.