I am a PhD Candidate at Columbia University, where I work in the Security Group under Professors Suman Jana and Salvatore Stolfo. I am generally interested in Deep Learning based approaches to Program Analysis and Synthesis.
Microsoft Research 2021. Internship with Microsoft Research RiSE group advised by Todd Mytkowitz and Shuvendu Lahiri. Developed TOGA: A Neural Method for Test Oracle Generation using neural transformers and a specialized grammar to automatically generate unit tests that are highly effective at finding bugs (170% improvement over any other evaluated system). Published in ICSE 2022 and awarded ACM Sigsoft Distinguished Paper Award: paper.
[OSDI 2021] DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan. [paper] [code] (OSDI Jay Lepreau Best Paper Award)
[Oakland S&P Workshops 2018] Simulated User Bots: Real Time Testing of Insider Threat Detection Systems. Preetam Dutta, Gabriel Ryan, Aleksander Zeiba, and Salvatore Stolfo. [paper]
[Oceans 2012] Oversampling MAVS for Reduction of Vortex-Shedding Velocity Sensing Noise. Albert J. Williams, Gabriel Ryan, and Fredrik Thwaites. [paper]
National Defense Science and Engineering Graduate Fellowship (NDSEG). Won NDSEG Fellowship for proposal “Proximal Gradient Analysis for Vulnerability Detection and Defense.” 2019 [proposal]
NSF Graduate Research Fellowship Honorable Mention. Received honorable mention for proposal “Modeling and Simulating Adversarial User Behavior with Sequential VAEs.” 2018