| Toga: A neural method for test oracle generation E Dinella, G Ryan, T Mytkowicz, SK Lahiri Proceedings of the 44th International Conference on Software Engineering …, 2022 | 86 | 2022 |
| CLN2INV: learning loop invariants with continuous logic networks G Ryan, J Wong, J Yao, R Gu, S Jana arXiv preprint arXiv:1909.11542, 2019 | 55 | 2019 |
| Learning nonlinear loop invariants with gated continuous logic networks J Yao, G Ryan, J Wong, S Jana, R Gu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 51 | 2020 |
| {DistAI}:{Data-Driven} automated invariant learning for distributed protocols J Yao, R Tao, R Gu, J Nieh, S Jana, G Ryan 15th USENIX symposium on operating systems design and implementation (OSDI …, 2021 | 49 | 2021 |
| At a glance: Pixel approximate entropy as a measure of line chart complexity G Ryan, A Mosca, R Chang, E Wu IEEE transactions on visualization and computer graphics 25 (1), 872-881, 2018 | 34 | 2018 |
| Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM G Ryan, S Jain, M Shang, S Wang, X Ma, MK Ramanathan, B Ray Proceedings of the ACM on Software Engineering 1 (FSE), 951-971, 2024 | 14 | 2024 |
| Simulated user bots: Real time testing of insider threat detection systems P Dutta, G Ryan, A Zieba, S Stolfo 2018 IEEE Security and Privacy Workshops (SPW), 228-236, 2018 | 11 | 2018 |
| Simultaneous localization and mapping G Ryan, R Roelofs | 6 | 2013 |
| Simulated user bots: Real time testing of insider threat detection systems. In 2018 IEEE Security and Privacy Workshops (SPW) P Dutta, G Ryan, A Zieba, S Stolfo IEEE, 2018 | 5 | 2018 |
| Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis G Ryan, A Shah, D She, S Jana 2023 IEEE Symposium on Security and Privacy (SP), 2086-2103, 2023 | 4 | 2023 |
| Fine grained dataflow tracking with proximal gradients G Ryan, A Shah, D She, K Bhat, S Jana 30th USENIX Security Symposium (USENIX Security 21), 1611-1628, 2021 | 4 | 2021 |
| Neural Unit Test Suggestions E Dinella, SK Lahiri, T Mytkowicz, G Ryan arXiv preprint arXiv:2109.09262, 2021 | 1 | 2021 |
| Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning G Ryan, B Cetin, Y Lim, S Jana Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 810-832, 2024 | | 2024 |
| A Sparse Learning Approach for Linux Kernel Data Race Prediction G Ryan Columbia University, 2023 | | 2023 |
| EgO Report Simultaneous Localization and Mapping G Ryan, R Roelofs | | 2013 |
| Precise Dynamic Data Flow Tracking with Proximal Gradients G Ryan, A Shah, D She, K Bhat, S Jana | | |
| Poster: Precise Dynamic Dataflow Tracking with Proximal Gradients G Ryan, A Shah, D She, S Jana, K Bhat | | |
