Skip to main content
Department of Information Technology

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

  1. Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. S. Akshayl, Supratik Chakrabortyl, Amir Kafshdar Goharshady, Rajanbabu Govind, Harshit Jitendra Motwani, and Sai Teja Varanasi. 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).
  2. Accelerating Page Migrations in Operating Systems with Intel DSA. Jongho Baik, Jonghyeon Kim, Chang Hyun Park, and Jeongseob Ahn. 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
  3. AI Integration in the IT Professional Workplace: A Scoping Review and Interview Study with Implications for Education and Professional Competencies. Tony Clear, Åsa Cajander, Alison Clear, Roger McDermott, Mats Daniels, Monica Divitini, Matthew Forshaw, Niklas Humble, Maria Kasinidou, Styliani Kleanthous, Can Kultur, Ghazaleh Parvini, Mohammad Polash, and Tingting Zhu. In , pp 34-67, 2025. (DOI).
  4. Enhancing Waste Management: A study of applied machine learning frameworks in the waste sector. Adam Sundqvist. Student thesis, supervisor: Andrew Eves, examiner: Elísabet Andrésdóttir, Olle Gällmo, UPTEC STS nr 25001, 2025. (fulltext).
  5. Evaluating Synchronization Overhead for Emerging Pointer Chasing Workloads. Daniel Wang. Student thesis, examiner: Lars-Åke Nordén, Yuan Yao, UPTEC IT nr 25001, 2025. (fulltext).

Publications from previous years are archived.

Updated  2022-09-23 09:34:55 by Victor Kuismin.