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.
Internships
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.
Publications
[ICSE 2022] TOGA: A Neural Method for Test Oracle Generation. Elizabeth Dinella*, Gabriel Ryan*, Todd Mytokowitz, Shuvendu Lahiri. [paper] [code] (ACM Sigsoft Distinguished Paper Award)
[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)
[USENIX Security 2021] Fine Grained Dataflow Tracking with Proximal Gradients. Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, and Suman Jana. [paper] [code]
[PLDI 2020] Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks. Jianan Yao*, Gabriel Ryan*, Justin Wong*, Suman Jana, and Ronghui Gu. [paper] [code]
[ICLR 2020] CLN2INV: Learning Loop Invariants with Continuous Logic Networks. Gabriel Ryan*, Justin Wong*, Jianan Yao*, Ronghui Gu, and Suman Jana. [paper] [code]
[Infovis 2018] At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity. Gabriel Ryan, Abigail Mosca, Remco Chang, and Eugene Wu. [paper] [code]
[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]
Awards
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