@inproceedings {273755, author = {Jianan Yao and Runzhou Tao and Ronghui Gu and Jason Nieh and Suman Jana and Gabriel Ryan}, title = {{DistAI}: {Data-Driven} Automated Invariant Learning for Distributed Protocols}, booktitle = {15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)}, year = {2021}, isbn = {978-1-939133-22-9}, pages = {405--421}, url = {https://www.usenix.org/conference/osdi21/presentation/yao}, publisher = {USENIX Association}, month = jul } @inproceedings {272163, author = {Gabriel Ryan and Abhishek Shah and Dongdong She and Koustubha Bhat and Suman Jana}, title = {Fine Grained Dataflow Tracking with Proximal Gradients}, booktitle = {30th USENIX Security Symposium (USENIX Security 21)}, year = {2021}, isbn = {978-1-939133-24-3}, pages = {1611--1628}, url = {https://www.usenix.org/conference/usenixsecurity21/presentation/ryan}, publisher = {USENIX Association}, month = aug }