Publications

ICML · 2026

SemRep: Generative Code Representation Learning with Code Transformations

W. Li, J. Song, B. A. Stoica, A. Dhoot, Gabriel Ryan, S. Fu, K. Pei

Generative learning of code representations using semantics-preserving code transformations as a self-supervised signal.

paper

NeurIPS DL4C Workshop · 2025

DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models

P. Ameneh Golnari, A. Kumarappan, W. Wen, X. Liu, Gabriel Ryan, Y. Sun, S. Fu, et al.

A realistic, developer-informed benchmark for evaluating code generation models on tasks that reflect real-world software development.

paper

OOPSLA · 2024

Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning

Gabriel Ryan, Burcu Cetin, Yonghwan Lim, Suman Jana

paper code

FSE · 2024

Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM

Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray

Static-analysis-guided prompting that drives LLMs to reason symbolically about execution paths, doubling coverage of generated regression tests.

paper

Oakland S&P · 2023

Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis

Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana

paper

ICSE · 2022 (ACM Sigsoft Distinguished Paper Award)

TOGA: A Neural Method for Test Oracle Generation

Elizabeth Dinella*, Gabriel Ryan*, Todd Mytokowitz, Shuvendu Lahiri

A neural transformer paired with a test-oracle grammar that automatically generates bug-finding assertions, with a 170% improvement in bug detection over prior systems.

paper code

OSDI · 2021 (OSDI Jay Lepreau Best Paper Award)

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan

Data-driven inference of inductive invariants for verifying safety properties of distributed protocols.

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

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