Gabriel Ryan

19 papers A* 6Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models.
CoRR
Pareesa Ameneh Golnari, Adarsh Kumarappan, Wen Wen, Xiaoyu Liu, Gabriel Ryan, Yuting Sun, Shengyu Fu, Elsie Nallipogu
2026 J jnl
SemRep: Generative Code Representation Learning with Code Transformations.
CoRR
Weichen Li, Jiamin Song, Bogdan Alexandru Stoica, Arav Dhoot, Gabriel Ryan, Shengyu Fu, Kexin Pei
2024 J jnl
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning.
Proc. ACM Program. Lang.
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, Suman Jana
2024 J jnl
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM.
Proc. ACM Softw. Eng.
Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray
2024 J jnl
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM.
CoRR
Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray
2023 — —
A Sparse Learning Approach for Linux Kernel Data Race Prediction
Gabriel Ryan
2023 A* conf
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.
SP
Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana
2022 A* conf
TOGA: A Neural Method for Test Oracle Generation.
ICSE
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri
2021 A* conf
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.
OSDI
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
2021 A* conf
Fine Grained Dataflow Tracking with Proximal Gradients.
USENIX Security Symposium
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
2021 J jnl
Neural Unit Test Suggestions.
CoRR
Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan
2020 A* conf
CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
ICLR
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
2020 J jnl
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks.
CoRR
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
2020 A* conf
Learning nonlinear loop invariants with gated continuous logic networks.
PLDI
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
2019 J jnl
At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity.
IEEE Trans. Vis. Comput. Graph.
Gabriel Ryan, Abigail Mosca, Remco Chang, Eugene Wu
2019 J jnl
CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
CoRR
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
2019 J jnl
Fine Grained Dataflow Tracking with Proximal Gradients.
CoRR
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
2018 J jnl
At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity.
CoRR
Gabriel Ryan, Abigail Mosca, Remco Chang, Eugene Wu
2018 — conf
Simulated User Bots: Real Time Testing of Insider Threat Detection Systems.
IEEE Symposium on Security and Privacy Workshops
Preetam Dutta, Gabriel Ryan, Aleksander Zieba, Salvatore J. Stolfo