-
software
This archive contains the material required to reproduce the results for the PhD thesis "Development Of A Performance-Portable Framework For Atomistic Simulations".
-
software
This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper.
The...
-
software
This tarball includes the final supporting materials of the paper titled "Safecracker: Leaking Secrets through Compressed Caches" published in ASPLOS 2020.
-
software
The simulation code associated with the paper titled "Emergence of diverse life cycles and life histories at the origin of multicellularity".
For details on how...