Evaluating quality of security testing of the JDK. - Padmanabhan Krishnan; Jerome Loh; Rebecca O'Donoghue; Larissa Meinicke (A-TEST@ESEC/SIGSOFT FSE, 2017)

Commit-time incremental analysis. - Padmanabhan Krishnan; Rebecca O'Donoghue; Nicholas Allen; Yi Lu 003 (SOAP@PLDI, 2019)

Synthesis of Java Deserialisation Filters from Examples. - Kostyantyn Vorobyov; François Gauthier 001; Sora Bae; Padmanabhan Krishnan; Rebecca O'Donoghue (COMPSAC, 2022)