I am a graduate student at the University of British Colombia. I completed my undergraduate from the Netaji Subhas University of Technology (NSUT), India, with my degree in the field of Electronics and Communication Engineering (ECE). I have a keen interest in Operating systems, Program Analysis, and compilers.
1. Delay Injection:Objective: To come up with delay fuzzing algorithms that efficiently explores the interleaving space of concurrent programs to find data races, atomicity/order violations and deadlock bugs.
Motivation: For testing multi-threaded programs, we can either do stress testing (run a multi-threaded application with large number of worker threads and then hope for the bugs to manifest themselves) or systematic testing/model checking (systematically explore the thread interleaving space). One big implementation hurdle with systematic testing is that it requires complete control over the concurrency, synchronization primitives and all blocking system calls/3rd party APIs. So, as an alternative to SCT, we are trying to use delay fuzzing for exploring the interleaving space of the programs. However, delay fuzzing with randomly injecting delays doesn’t work well and so we need to come up with other smarter algorithms.