Static Analysis Symposium Artifact Badges

This repository contains the Validated, Extensible and Available badges for the Static Analysis Symposium (SAS) Artifact Evaluation. Please include the badges awarded to you in your artifact review. Refer to the SAS Call for Artifacts page for additional details on the badges.

Latex code for adding the badges

You should add the badges immediately after the abstract. Please use the snippet below (you will need the graphicx package), with appropriate edits to add the badges awarded to you.

\begin{abstract}
Your abstract
\end{abstract}
%
%
% Snippet for adding SAS badges
\begin{center}
  \includegraphics[scale=0.16]{sas-artifact-badges/ValidatedBadge.png} \includegraphics[scale=0.16]{sas-artifact-badges/ExtensibleBadge.png} \includegraphics[scale=0.16]{sas-artifact-badges/AvailableBadge.png}%
\end{center}

Badges

The SAS Artifact Evaluation badges were designed by Arpita Biswas and Suvam Mukherjee.