Gabriel Ryan

According to our database, Gabriel Ryan authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proc. ACM Softw. Eng., 2024

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

2023

Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.

Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

TOGA: A Neural Method for Test Oracle Generation.

Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Neural Unit Test Suggestions.

Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan

CoRR, 2021

Fine Grained Dataflow Tracking with Proximal Gradients.

Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana

Proceedings of the 30th USENIX Security Symposium, 2021

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.

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

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2020

Learning nonlinear loop invariants with gated continuous logic networks.

Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

CLN2INV: Learning Loop Invariants with Continuous Logic Networks.

Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity.

Gabriel Ryan, Abigail Mosca, Remco Chang, Eugene Wu

IEEE Trans. Vis. Comput. Graph., 2019

2018

Simulated User Bots: Real Time Testing of Insider Threat Detection Systems.

Preetam Dutta, Gabriel Ryan, Aleksander Zieba, Salvatore J. Stolfo

Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018