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.

Publications

[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]

[Oakland S&P 2019] Poster: Precise Dynamic Dataflow Tracking with Proximal Gradients. Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, and Suman Jana. [paper] [poster]

[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]

*authors contributed equally.

Awards

National Defense Science and Engineering Graduate Fellowship (NDSEG). Won NDSEG Fellowship for proposal “Proximal Gradient Analysis for Vulnerability Detection and Defense.” 2019 [proposal] [personal_statement]

NSF Graduate Research Fellowship Honorable Mention. Received honorable mention for proposal “Modeling and Simulating Adversarial User Behavior with Sequential VAEs.” 2018