Gallery#
Here you can find selected presentations made with Elsie, along with their source codes. If you want to add your own presentation to the gallery, send us a PR!
Elsie demo slides#
In this presentation you can find an overview of all the features that Elsie offers.
Rust#
Presentation about basic Rust features. Contains a lot of code snippets, syntax highlighting and code line stepping.
CPU architecture effects#
Presentation about CPU (micro)-architecture effects. Contains advanced animations and source code snippets.
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI#
Presentation about detecting deadlocks in MPI programs. Contains advanced diagrams.