Towards Automatically Extracting the Relational Model of an Operating System

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.