Posts tagged with "Debian"
- Debian Meltdown
- Summary of My Google Summer of Code 2016 Project
- First Debile Plugin for KLEE Done!
- Learning sbuild and Extracting LLVM IR Files
- Modifying sbuild
- Started integrating KLEE into Debile
- First Debian Bug Fixed!
- Almost There with Firehosing KLEE, First Debian Bug Reported
- Writing Tests and LLVM-interpreting Hundreds of Programs
- Firehosing KLEE
- KLEE: It Ain't Gonna Do Much Without Libraries
- Putting KLEE to Test
- Accepted to GSoC 2016!
- An Email Self-Defense Guide by the FSF
- Necessity of packaging research artifacts for reuse
- Research Paper Artifact Evaluation
- Reproducible Research in Computer Science