All articles

Early Detection of Configuration Errors to Reduce Failure Damage Jan 19, 2024
Efficient Scalable Thread-Safety-Violation Detection Jan 19, 2024
kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels Jan 19, 2024
Rx: Treating Bugs As Allergies— A Safe Method to Survive Software Failures Jan 19, 2024
My development setup Jan 19, 2024