Detecting critical cardiac events with 12 lead ECG data. - Ayush Bansal; Sunil Kumar; Mukesh Kr. Agrawal; Mithun M. Nayak; Ranga V. Narayanan (BIBM, 2013)

Remote health monitoring system for detecting cardiac disorders. - Sunil Kumar; Ayush Bansal; Vijay N. Tiwari; Mithun M. Nayak; Ranga V. Narayanan (BIBM, 2014)

ReDecode Framework for Iterative Improvement in Paraphrase Generation. - Milan Aggarwal; Nupur Kumari; Ayush Bansal; Balaji Krishnamurthy (CoRR, 2018)

Input Validation with Symbolic Execution. - Anay Mehrotra; Ayush Bansal; Awanish Pandey; Subhajit Roy 001 (CoRR, 2021)

A practical analysis of ROP attacks. - Ayush Bansal; Debadatta Mishra (CoRR, 2021)

Automated evaluation of comments to aid software maintenance. - Srijoni Majumdar; Ayush Bansal; Partha Pratim Das 001; Paul D. Clough; Kausik Datta; Soumya Kanti Ghosh 001 (J. Softw. Evol. Process., 2022)

Analysis of Linux-PRNG (Pseudo Random Number Generator). - Ayush Bansal; Pramod Subramanyan; Satyadev Nandakumar (CoRR, 2023)

Rex: Closing the language-verifier gap with safe and usable kernel extensions. - Jinghao Jia; Ruowen Qin; Milo Craun; Egor Lukiyanov; Ayush Bansal; Minh Phan; Michael V. Le; Hubertus Franke; Hani Jamjoom; Tianyin Xu; Dan Williams 001 (USENIX ATC, 2025)

Safe and usable kernel extensions with Rax. - Jinghao Jia; Ruowen Qin; Milo Craun; Egor Lukiyanov; Ayush Bansal; Michael V. Le; Hubertus Franke; Hani Jamjoom; Tianyin Xu; Dan Williams 001 (CoRR, 2025)