Gabriel Ryan

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 16

Top Topics

Cumulative Residual Entropy

Data Provenance

Test Generation

Top Venues

Proc. ACM Program. Lang.

USENIX Security Symposium

Publications

Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM. CoRR (2024)
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, Suman Jana
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. SP (2023)
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri
TOGA: A Neural Method for Test Oracle Generation. ICSE (2022)
Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan
Neural Unit Test Suggestions. CoRR (2021)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. OSDI (2021)
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
Fine Grained Dataflow Tracking with Proximal Gradients. USENIX Security Symposium (2021)
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks. CoRR (2020)
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
Learning nonlinear loop invariants with gated continuous logic networks. PLDI (2020)
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
CLN2INV: Learning Loop Invariants with Continuous Logic Networks. ICLR (2020)
Gabriel Ryan, Abigail Mosca, Remco Chang, Eugene Wu
At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity. IEEE Trans. Vis. Comput. Graph. 25 (1) (2019)
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
CLN2INV: Learning Loop Invariants with Continuous Logic Networks. CoRR (2019)
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
Fine Grained Dataflow Tracking with Proximal Gradients. CoRR (2019)
Gabriel Ryan, Abigail Mosca, Remco Chang, Eugene Wu
At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity. CoRR (2018)
Preetam Dutta, Gabriel Ryan, Aleksander Zieba, Salvatore J. Stolfo
Simulated User Bots: Real Time Testing of Insider Threat Detection Systems. IEEE Symposium on Security and Privacy Workshops (2018)