Aditya Kanade
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- → DeepFix: Fixing Common C Language Errors by Deep Learning(2017)420 cited
- → Learning and Evaluating Contextual Embedding of Source Code(2019)156 cited
- → Race detection for Android applications(2014)55 cited
- → Deep Reinforcement Learning for Syntactic Error Repair in Student Programs(2019)52 cited
- Pre-trained Contextual Embedding of Source Code(2019)
- → Ranking Automata and Games for Prioritized Requirements(2008)31 cited
- → Rely/Guarantee Reasoning for Asynchronous Programs(2015)14 cited
- → Grace: Language Models Meet Code Edits(2023)13 cited
- → Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels(2013)11 cited
- → Asynchrony-aware static analysis of Android applications(2016)7 cited