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
-
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, pp 1-4, Institute of Electrical and Electronics Engineers (IEEE), 2025. (DOI
, fulltext:postprint
). Publication status: Epub ahead of print
-
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
).
-
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
).