Gabriel Ryan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SP | Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. | Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana |
| 2022 | ICSE | TOGA: A Neural Method for Test Oracle Generation. | Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri |
| 2021 | OSDI | DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan |
| 2020 | ICLR | CLN2INV: Learning Loop Invariants with Continuous Logic Networks. | Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana |
| 2020 | PLDI | Learning nonlinear loop invariants with gated continuous logic networks. | Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu |
| 2018 | SP | Simulated User Bots: Real Time Testing of Insider Threat Detection Systems. | Preetam Dutta, Gabriel Ryan, Aleksander Zieba, Salvatore J. Stolfo |