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]
@inproceedings{ChoiNYSAS25,
title = {Towards Automatically Extracting the Relational Model of an Operating System},
author = {Brian Choi and George V. Neville-Neil and Alex Yuan and Avi Silberschatz and Peter Alvaro and Robert Soulé},
year = {2025},
doi = {10.1145/3735106.3736534},
url = {https://doi.org/10.1145/3735106.3736534},
researchr = {https://researchr.org/publication/ChoiNYSAS25},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 19th International Symposium on Database Programming Languages, DBPL 2025, Berlin, Germany, June 22-27, 2025},
publisher = {ACM},
isbn = {979-8-4007-1919-6},
}