Brian Choi, George V. Neville-Neil, Alex Yuan, Avi Silberschatz, Peter Alvaro, Robert Soulé. Towards Automatically Extracting the Relational Model of an Operating System. In Proceedings of the 19th International Symposium on Database Programming Languages, DBPL 2025, Berlin, Germany, June 22-27, 2025. ACM, 2025. [doi]