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]

Authors

Brian Choi

This author has not been identified. Look up 'Brian Choi' in Google

George V. Neville-Neil

This author has not been identified. Look up 'George V. Neville-Neil' in Google

Alex Yuan

This author has not been identified. Look up 'Alex Yuan' in Google

Avi Silberschatz

This author has not been identified. Look up 'Avi Silberschatz' in Google

Peter Alvaro

This author has not been identified. Look up 'Peter Alvaro' in Google

Robert Soulé

This author has not been identified. Look up 'Robert Soulé' in Google