I am a Software Engineer working at Meta’s Hermetic Infra team, where my research focus is on system call interception and deterministic record and replay. During my PhD at Imperial College London, I was working on how record and replay systems can speedup important applications like fuzzing and LLVM sanitizers. For example I developed a system that increased fuzzing performance by intercepting slow system calls and replacing them with faster ones. During my time at Meta I worked on fuzzing Thrift microservices and creating fuzzing isolation harnesses.
Fuzzing, binary rewriting, system call interception, record and replay, systematic concurrency testing