Welcome to ALFRED's documentation!
===================================

.. |ScEpTIC| raw:: html

    <a href="http://hdl.handle.net/10589/147444" target="_blank">here</a>

.. |ScEpTIC-REPO| raw:: html

        <a href="https://bitbucket.org/neslabpolimi/sceptic" target="_blank">https://bitbucket.org/neslabpolimi/sceptic</a>

.. |ScEpTIC-REF| raw:: html

        <a href="http://sceptic.neslab.it" target="_blank">ScEpTIC</a>


.. |ScEpTIC-DOC| raw:: html

        <a href="http://sceptic.neslab.it" target="_blank">here</a>

.. |ALFRED| raw:: html

    <a href="https://dl.acm.org/doi/10.1145/3485730.3485949" target="_blank">here</a>

.. |ALFRED-TECHREP| raw:: html

    <a href="https://arxiv.org/abs/2110.07542" target="_blank">here</a>

.. |ALFRED-REPO| raw:: html

        <a href="https://bitbucket.org/neslabpolimi/sceptic/src/ALFRED/" target="_blank">https://bitbucket.org/neslabpolimi/sceptic/src/ALFRED/</a>

.. image:: alfred/alfred.png
   :alt: ALFRED
   :height: 300px
   :align: center

**ALFRED** (\ **A**\ utomatic a\ **L**\ location o\ **F** non-volatile memo\ **R**\ y for transi\ **E**\ ntly-powered **D**\ evices) is a virtual memory abstraction that resolves the dichotomy between volatile and non-volatile memory in intermittent computing.

You can find a complete description of ALFRED |ALFRED|, as well as a detailed technical report |ALFRED-TECHREP|.

.. toctree::
   :hidden:
   :caption: ALFRED Documentation

   alfred/overview
   alfred/extension
   alfred/installation
   alfred/usage

.. toctree::
   :hidden:
   :caption: ScEpTIC Documentation

   guide/installation
   guide/compile
   guide/configuration
   guide/analysis-configuration
   guide/run
   guide/run-examples

.. toctree::
   :hidden:
   :caption: ScEpTIC API Documentation

   guide/sceptic
   sources/modules

Cite ALFRED
=============
You can cite ALFRED and/or our program transformation techniques as:

.. code-block:: text

    Andrea Maioli, Luca Mottola. 2021. ALFRED: Virtual Memory for Intermittent Computing.
    In Proceedings of the the 19th ACM Conference on Embedded Networked Sensor Systems (SenSys '21).


**Bibtex**:

.. code-block:: latex

    @inproceedings{ALFRED,
        author = {Andrea Maioli and Luca Mottola},
        title  = {ALFRED: Virtual Memory for Intermittent Computing},
        year = {2021},
        series = {SenSys '21},
        booktitle = {Proceedings of the the 19th ACM Conference on Embedded Networked Sensor Systems}
    }

**Bibtex - Technical Report**:

.. code-block:: latex

    @misc{techrep,
        author = {Andrea Maioli and Luca Mottola},
        year = {2021},
        title = {ALFRED: Virtual Memory for Intermittent Computing},
        eprint = {2110.07542},
        archivePrefix = {arXiv},
        howpublished = {https://arxiv.org/abs/2110.07542}
    }

ALFRED Repo
=============
We implement a prototype of ALFRED pipeline as an extension of |ScEpTIC-REF|.

ALFRED components are availabe as a separate branch in ScEpTIC repo at |ALFRED-REPO|