First version

Author: federeghe

_config.yml

@@ -1,9 +1,13 @@
 title: ASPIS
-description: LLVM-based Software-Implemented Hardware Fault Tolernace 
+description: LLVM-based Software-Implemented Hardware Fault Tolerance 
 
 show_downloads: true
 
 remote_theme: pages-themes/cayman@v0.2.0
 
 plugins:
 - jekyll-remote-theme # add this line to the plugins list if you already have one
+
+github:
+  zip_url: https://github.com/HEAPLab/ASPIS/zipball/master
+  tar_url: https://github.com/HEAPLab/ASPIS/tarball/master

index.md

@@ -1,3 +1,19 @@
 ## ASPIS
 
-WIP
+ASPIS (from the ancient Greek Ἀσπίς Aspís, shield) is a set of LLVM passes that
+harden the code against Single-Event Upsets (SEUs) by introducing fault
+detection mechanisms.
+
+This document is still a Work-in-Progress.
+
+
+### Scientific papers
+The main reference paper for the ASPIS tool is:
+- Davide Baroffio, Federico Reghenzani, and William Fornaciari. 2024. Enhanced Compiler Technology for Software-based Hardware Fault Detection. ACM Trans. Des. Autom. Electron. Syst. Just Accepted (April 2024). (https://doi.org/10.1145/3660524)[doi:10.1145/3660524]
+
+
+Other articles:
+- Davide Baroffio and Federico Reghenzani. 2023. Compiler-Injected SIHFT for Embedded Operating Systems. In Proceedings of the 20th ACM International Conference on Computing Frontiers (CF '23). Association for Computing Machinery, New York, NY, USA, 337–343. (https://doi.org/10.1145/3587135.3589944)[doi:10.1145/3587135.3589944].
+
+
+### Acknowlegments