Publications
Publications produced by research conducted at the Division of Computer Systems during the current year are listed below.
Publications from previous years are archived.
Publications from the Division of Computer Systems
-
When GNNs Met a Word Equations Solver: Learning to Rank Equations
. 2025. -
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. In Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I, volume 14933 of Lecture Notes in Computer Science, pp 111-130, Springer, Cham, 2025. (DOI, Fulltext, fulltext:print
). -
Accelerating Page Migrations in Operating Systems with Intel DSA. In IEEE Computer Architecture Letters, volume 24, number 1, pp 37-40, Institute of Electrical and Electronics Engineers (IEEE), 2025. (DOI).
-
AI Integration in the IT Professional Workplace: A Scoping Review and Interview Study with Implications for Education and Professional Competencies. In , pp 34-67, 2025. (DOI).
-
Generative AI in the Professional IT Landscape and its Implications for Higher Education. In Teknisk-naturvetenskapliga fakultetens universitetspedagogiska konferens (TUK 2025), Uppsala universitet, Uppsala, 2025.
-
Enhancing Waste Management: A study of applied machine learning frameworks in the waste sector. Student thesis, supervisor: Andrew Eves, examiner: Elísabet Andrésdóttir, Olle Gällmo, UPTEC STS nr 25001, 2025. (fulltext).
-
Evaluating Synchronization Overhead for Emerging Pointer Chasing Workloads. Student thesis, examiner: Lars-Åke Nordén, Yuan Yao, UPTEC IT nr 25001, 2025. (fulltext).