Page not found. Your pixels are in another canvas. Read more
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Personal website of Gabriel Ryan, PhD Candidate at Columbia University studying applications of Deep Learning to Cybersecurity. Read more
Personal website of Gabriel Ryan, PhD Candidate at Columbia University studying applications of Deep Learning to Cybersecurity. Read more
This is a page not in th emain menu Read more
Posts
(Medium Post) I attended the IEEE Oakland Security and Privacy Conference last week and thought I would share a few thoughts on the major trends I observed in the papers at the conference. These are heavily biased towards my interests in Machine Learning and by no means intended to be comprehensive. Read more
(Medium Post) When designing visualizations, making charts that are straightforward to read and interpret is usually desirable. This becomes especially important in settings where users may have to make fast judgements based on the visualizations, such as in emergency rooms or on financial trading floors. In our recent paper in IEEE INFOVIS 2018, we introduce a new method for quantifying visual complexity, Pixel Approximate Entropy, that can be used to develop better visualizations in these types of settings. Read more
portfolio
Short description of portfolio item number 1
Read more
Short description of portfolio item number 2 Read more
publications
[Oceans 2012] Oversampling MAVS for Reduction of Vortex-Shedding Velocity Sensing Noise. Albert J. Williams, Gabriel Ryan, and Fredrik Thwaites. [paper]
[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]
[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]
[ICLR 2020] CLN2INV: Learning Loop Invariants with Continuous Logic Networks. Gabriel Ryan*, Justin Wong*, Jianan Yao*, Ronghui Gu, 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]
[USENIX Security 2021] Fine Grained Dataflow Tracking with Proximal Gradients. Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, and Suman Jana. [paper] [code]
[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)
[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)
[Oakland S&P 2023] Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana. [paper]
talks
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown! Read more
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field. Read more
teaching
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post. Read more
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post. Read more