github (27)
- CodeWars - October, 2011
- Azure VM - December, 2012
- Battlefleet - August, 2013
- Brainfuck JIT - July, 2014
- Pint - October, 2014
- SchemDBG - October, 2014
- Reverse Game Of Life - April, 2015
- Indika - January, 2016
- Pwgen - March, 2016
- RDBG - March, 2016
- SMT Solver Workshop - August, 2016
- Loaded Dice - February, 2017
- Interval Tree - May, 2017
- kAFL - August, 2017
- Syntia - December, 2017
- Nautilus - Fuzzing with Grammars - December, 2018
- Redqueen - December, 2018
- HexTD - January, 2019
- gdb_probe.rs - February, 2019
- Grimoire - July, 2019
- Hexslides: Death to Death by Powerpoint! - August, 2019
- Fast Cov - November, 2019
- Nautilus 2.0 - April, 2020
- Aurora - July, 2020
- EthBMC - July, 2020
- Ijon - July, 2020
- Getting Started with DDlog - October, 2020
fuzzing (12)
- kAFL - August, 2017
- Nautilus - Fuzzing with Grammars - December, 2018
- Redqueen - December, 2018
- Antifuzz - July, 2019
- Grimoire - July, 2019
- HotFuzz - December, 2019
- Nautilus 2.0 - April, 2020
- Incorrectness Logic by Example - April, 2020
- Aurora - July, 2020
- EthBMC - July, 2020
- Ijon - July, 2020
- On Measuring and Visualizing Fuzzer Performance - August, 2020
ruby (7)
- CodeWars - October, 2011
- Brainfuck JIT - July, 2014
- SchemDBG - October, 2014
- Reverse Game Of Life - April, 2015
- Pwgen - March, 2016
- RDBG - March, 2016
- Hexslides: Death to Death by Powerpoint! - August, 2019
rust (6)
- Loaded Dice - February, 2017
- Interval Tree - May, 2017
- Nautilus - Fuzzing with Grammars - December, 2018
- HexTD - January, 2019
- gdb_probe.rs - February, 2019
- Nautilus 2.0 - April, 2020
talk (4)
- SMT Solver Workshop - August, 2016
- Nautilus - Fuzzing with Grammars - December, 2018
- Redqueen - December, 2018
- HotFuzz - December, 2019
article (2)
- Incorrectness Logic by Example - April, 2020
- Getting Started with DDlog - October, 2020
verification (2)
- Incorrectness Logic by Example - April, 2020
- Getting Started with DDlog - October, 2020
beamer (1)
- Hexslides: Death to Death by Powerpoint! - August, 2019
brainfuck (1)
- Brainfuck JIT - July, 2014
compiler (1)
- Brainfuck JIT - July, 2014
inkscape (1)
- Hexslides: Death to Death by Powerpoint! - August, 2019
llvm (1)
- Brainfuck JIT - July, 2014
password (1)
- Pwgen - March, 2016
smt (1)
- SMT Solver Workshop - August, 2016
svg (1)
- Hexslides: Death to Death by Powerpoint! - August, 2019
triage (1)
- Aurora - July, 2020
web (1)
- Battlefleet - August, 2013
