VizAPI: Visualizing Interactions between Java Libraries and Clients. - Sruthi Venkatanarayanan; Jens Dietrich 001; Craig Anslow; Patrick Lam 001 (VISSOFT, 2022)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM. - Shahram Esmaeilsabzali; Arayi Khalatyan; Zhijun Mo; Sruthi Venkatanarayanan; Shengjie Xu (CoRR, 2025)