Simulated User Bots: Real Time Testing of Insider Threat Detection Systems. - Preetam Dutta; Gabriel Ryan; Aleksander Zieba; Salvatore J. Stolfo (IEEE Symposium on Security and Privacy Workshops, 2018)

At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity. - Gabriel Ryan; Abigail Mosca; Remco Chang; Eugene Wu 002 (IEEE Trans. Vis. Comput. Graph., 2019)

CLN2INV: Learning Loop Invariants with Continuous Logic Networks. - Gabriel Ryan; Justin Wong; Jianan Yao; Ronghui Gu; Suman Jana (ICLR, 2020)

Learning nonlinear loop invariants with gated continuous logic networks. - Jianan Yao; Gabriel Ryan; Justin Wong; Suman Jana; Ronghui Gu (PLDI, 2020)

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. - Jianan Yao; Runzhou Tao; Ronghui Gu; Jason Nieh; Suman Jana; Gabriel Ryan (OSDI, 2021)

Fine Grained Dataflow Tracking with Proximal Gradients. - Gabriel Ryan; Abhishek Shah; Dongdong She; Koustubha Bhat; Suman Jana (USENIX Security Symposium, 2021)

Neural Unit Test Suggestions. - Elizabeth Dinella; Shuvendu K. Lahiri; Todd Mytkowicz; Gabriel Ryan (CoRR, 2021)

TOGA: A Neural Method for Test Oracle Generation. - Elizabeth Dinella; Gabriel Ryan; Todd Mytkowicz; Shuvendu K. Lahiri (ICSE, 2022)

Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. - Gabriel Ryan; Abhishek Shah; Dongdong She; Suman Jana (SP, 2023)

A Sparse Learning Approach for Linux Kernel Data Race Prediction - Gabriel Ryan (2023)

Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning. - Gabriel Ryan; Burcu Cetin; Yongwhan Lim; Suman Jana (Proc. ACM Program. Lang., 2024)

Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM. - Gabriel Ryan; Siddhartha Jain 001; Mingyue Shang; Shiqi Wang 002; Xiaofei Ma 001; Murali Krishna Ramanathan; Baishakhi Ray (Proc. ACM Softw. Eng., 2024)