Technical report about decompilation, dcc static decompiler architecture, dynamic decompilers, actual tools and an use case with Ghidra - Language and Compilers course project - Computer Science @ FAMAF (UNC)
Technical report on CBMC (C Bounded Model Checker) - Software Engineering II course project - Computer Science @ FAMAF (UNC)
ARMv8 assembly animation running on QEMU – Computer Organization course project – Computer Science @ FAMAF (UNC)
Graph coloring program using greedy and dynamic ordering algorithms – Discrete Mathematics course project – Computer Science @ FAMAF (UNC)