I am 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

CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, and Suman Jana. (ICLR 2019) [paper]

Fine Grained Dataflow Tracking with Proximal Gradients
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, and Suman Jana. (Arxiv Preprint 2019) [paper]

Poster: Precise Dynamic Dataflow Tracking with Proximal Gradients
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, and Suman Jana. (IEEE Oakland Security and Privacy 2019) [paper] [poster]

At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity
Gabriel Ryan, Abigail Mosca, Remco Chang, and Eugene Wu. (IEEE Infovis 2018) [paper] [code]

Simulated User Bots: Real Time Testing of Insider Threat Detection Systems
Preetam Dutta, Gabriel Ryan, Aleksander Zeiba, and Salvatore Stolfo. (IEEE Oakland Security and Privacy Workshops 2018) [paper]

Oversampling MAVS for Reduction of Vortex-Shedding Velocity Sensing Noise
Albert J. Williams, Gabriel Ryan, and Fredrik Thwaites. (Oceans 2012) [paper]

Awards

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

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