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.


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.