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