Recent Releases of selfie
selfie - Automated Testing of Atomic Instructions (LR/SC) Implementations in Selfie
This release references the last commit involving the bachelor thesis titled "Automated Testing of Atomic Instructions (LR/SC) Implementations in Selfie" by Luis Thiele.
- Jupyter Notebook
Published by CAS-ual-TY over 3 years ago
selfie - RISC-U Binary Optimization for Selfie
Code release for "RISC-U Binary Optimization for Selfie" bachelor's thesis by David Pape.
- Jupyter Notebook
Published by ariez-xyz over 4 years ago
selfie - Linear-Time Static Analysis of RISC-V Binary Code
This release is referenced in the bachelor thesis titled "Linear-Time Static Analysis of RISC-V Binary Code" by Thomas Wulz.
- Jupyter Notebook
Published by thomaswulz over 4 years ago
selfie - RISC-V Bare-Metal Library Operating System for Selfie
This release references the commit that the bachelor's thesis "RISC-V Bare-Metal Library Operating System for Selfie" by Marcell Haritopoulos has been based on.
- Jupyter Notebook
Published by Blazefrost over 5 years ago
selfie - RISC-V S-Mode-Hosted Bare-Metal Selfie
This release is referenced in the bachelor thesis titled "RISC-V S-Mode-Hosted Bare-Metal Selfie" by Martin Fischer.
- Jupyter Notebook
Published by fischer-martin over 5 years ago
selfie - Conservative Garbage Collection in Kernel and Mutator Space
This release is referenced in the bachelor thesis titled "Conservative Garbage Collection in Kernel and Mutator Space" by Gregor Bachinger.
- Jupyter Notebook
Published by Schlachtschiff over 5 years ago
selfie - Generating Path Conditions for Bounded Model Checking of RISC-V Code in Selfie
This release is referenced in the bachelor thesis titled "Generating Path Conditions for Bounded Model Checking of RISC-V Code in Selfie" by Sebastian Landl.
- Jupyter Notebook
Published by Sebastian-Landl over 5 years ago
selfie - Implementation and Application of a Parser for Boolector's Witness Format
This release is referenced in the bachelor thesis titled "Implementation and Application of a Parser for Boolector's Witness Format" by Christoph Swiller.
- Jupyter Notebook
Published by ckirsch almost 6 years ago
selfie - RISC-V to x86-64 Binary Translation
This release is referenced in the bachelor thesis titled "Selfie - RISC-V to x86-64 Binary Translation" by Alexander Kollert.
- Jupyter Notebook
Published by ckirsch about 6 years ago
selfie - Hybrid Symbolic Execution and Bounded Model Checking Engine
This release is referenced in the bachelor thesis titled "A Hybrid Symbolic Execution and Bounded Model Checking Engine in Selfie" by Christian Edelmayer.
- Jupyter Notebook
Published by ChrisEdel about 6 years ago
selfie - Edward A. Lee Festschrift 2017 Release
This release is referenced in the Edward A. Lee Festschrift 2017 paper titled "You can program what you want but you cannot compute what you want" by Alireza S. Abyaneh and Christoph M. Kirsch.
- Jupyter Notebook
Published by ckirsch over 8 years ago
selfie - Onward! 2017 Release
This release is referenced in the Onward! 2017 paper titled "Selfie and the Basics" by Christoph M. Kirsch.
- Jupyter Notebook
Published by ckirsch almost 9 years ago