emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

llvm verification symbolic-execution instrumentation slice program-verification software-verification klee slicing llvm-ir verification-toolchain program-slicing

synthesis invariants program-verification loop-invariants sygus syntax-guided-synthesis sygus-solver invariant-generation cegis

program-verification graph-neural- loop-invariant-generation

fpv functional-programming tum ocaml wp technical-university munich program-verification eidi2-revision-course eidi eidi2 eidi-2 revision-course big-step

python reverse-engineering bap program-analysis program-verification

llvm static-analysis openmp clang program-verification polly race-detection flang data-race race-detector openmp-verification dataracebench-fortran

refactoring c cplusplus static-analysis program-verification

x86-64 formal-semantics instruction-semantics program-verification isa-specification

fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels

programming-language verification proof-assistant type-theory quantum-computing theory program-verification quantum-programming-language typesystem theroy-reports language-verification

fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels

openmp shared-memory program-verification sword archer race-detection parallel-programming shared-memory-parallel helgrind data-race-detection llov romp valgrind-drd

algorithms efficiency sorting-algorithms algorithm-analysis program-verification