Research Scientist at Microsoft CoreAI

Posts by Collection

portfolio

Portfolio item number 1  

Short description of portfolio item number 1
Read more

Portfolio item number 2  

Short description of portfolio item number 2
Read more

publications

[Oceans 2012] Oversampling MAVS for Reduction of Vortex-Shedding Velocity Sensing Noise. Albert J. Williams, Gabriel Ryan, and Fredrik Thwaites. [paper]

[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]

[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]

[ICLR 2020] CLN2INV: Learning Loop Invariants with Continuous Logic Networks. Gabriel Ryan*, Justin Wong*, Jianan Yao*, Ronghui Gu, 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]

[USENIX Security 2021] Fine Grained Dataflow Tracking with Proximal Gradients. Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, and Suman Jana. [paper] [code]

[OSDI 2021] DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan. [paper] [code] (OSDI Jay Lepreau Best Paper Award)

[ICSE 2022] TOGA: A Neural Method for Test Oracle Generation. Elizabeth Dinella*, Gabriel Ryan*, Todd Mytokowitz, Shuvendu Lahiri. [paper] [code] (ACM Sigsoft Distinguished Paper Award)

[Oakland S&P 2023] Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana. [paper]

[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. [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]

talks

Talk 1 on Relevant Topic in Your Field  

This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown! Read more

Conference Proceeding talk 3 on Relevant Topic in Your Field  

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field. Read more

teaching

Teaching experience 1  

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post. Read more

Teaching experience 2  

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post. Read more