Publications
You can also find my articles on my Google Scholar profile.
Conference
Registered Report: First, Fuzz the Mutants
Alex Groce, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Kush Jain, Rahul Gopinath
Proceedings of the the 1st International Fuzzing Workshop (FUZZING 2022)
Pdf
Looking for Lacunae in Bitcoin Core’s Fuzzing Efforts
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Proceedings of the 43rd International Conference on Software Engineering (ICSE 2022)
Pdf
Programming and Execution Models for Parallel Bounded Exhaustive Testing
Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric
Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2021)
Pdf Video
mCoq: Mutation Analysis for Coq Verification Projects
Kush Jain, Karl Palmskog, Ahmet Celik, Emilio Jesús Gallego Arias, Milos Gligoric
Proceedings of the 42nd International Conference on Software Engineering (ICSE DEMO 2020)
Pdf Code Video