1. Profiling relational data: a survey
2. John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Luckow, Neha Rungta, Oksana Tkachuk, and Carsten Varming. 2018. Semantic-based automated reasoning for AWS access policies using SMT. In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, Austin, Texas, USA. 1–9.
3. Ryan Beckett and Aarti Gupta. 2022. Katra: Realtime Verification for Multilayer Networks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). USENIX Association, Renton, WA. 617–634. isbn:978-1-939133-27-4 https://www.usenix.org/conference/nsdi22/presentation/beckett
4. A General Approach to Network Configuration Verification
5. Control plane compression