Sotabase

Career

· Senior Research Scientist, Microsoft2024–
· Research Intern, Amazon Web Services (AWS)2023–2023
· Research Intern, Microsoft2021–2021
· Software Engineer, Allure Security Technology, Inc.2018–2018
· PHD Candidate, Columbia University in the City of New York2018–2023
· Research Assistant, Columbia Engineering2016–2017
· Robotics Software Consultant, 3D Data Ltd.2015–2015
· Software Engineer, Allure Security Technology, Inc.2015–2018
· Radar Software Engineer, Raytheon2013–2015

Publications (12)

TOGA: A Neural Method for Test Oracle Generation
International Conference on Software Engineering · 2021
143
cited
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM
Proc. ACM Softw. Eng. · 2024
132
cited
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
International Conference on Learning Representations · 2019
68
cited
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
USENIX Symposium on Operating Systems Design and Implementation · 2021
68
cited
Learning nonlinear loop invariants with gated continuous logic networks
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020
62
cited
At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity
IEEE Transactions on Visualization and Computer Graphics · 2018
35
cited
Simulated User Bots: Real Time Testing of Insider Threat Detection Systems
2018 IEEE Security and Privacy Workshops (SPW) · 2018
13
cited
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis
IEEE Symposium on Security and Privacy · 2023
7
cited
Fine Grained Dataflow Tracking with Proximal Gradients
USENIX Security Symposium · 2019
3
cited
Neural Unit Test Suggestions
arXiv.org · 2021
3
cited
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Proc. ACM Program. Lang. · 2024
1
cited
Poster: Precise Dynamic Dataflow Tracking with Proximal Gradients
2019
Sotabase
Gabriel Ryan | Researcher Profile | Sotabase | Sotabase