Lists (3)
Stars
7
stars
written in TeX
Clear filter
📄 Awesome CV is LaTeX template for your outstanding job application
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
The book "Performance Analysis and Tuning on Modern CPU"
clean CV LaTex template with GitHub Actions that compile and publish new changes
A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
Materials for my BSc thesis: "Hybrid Fuzzing of the PyTorch Framework"