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. Optimal stateless model checking for reads-from equivalence under sequential consistency. Parosh Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan-Phong Ngo, and Konstantinos Sagonas. In Proceedings of the ACM on programming languages, 2019. (DOI, External link).
  2. Chain-Free String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukas Holik, and Petr Janku. In Automated Technology for Verification and Analysis, volume 11781 of Lecture Notes in Computer Science, pp 277-293, Springer, 2019. (DOI).
  3. Reachability in database-driven systems with numerical attributes under recency bounding. Parosh Aziz Abdulla, Aiswarya Cyriac, Mohamed Faouzi Atig, and Marco Montali. In Proc. 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, pp 335-352, ACM Press, New York, 2019. (DOI).
  4. Verification of programs under the release-acquire semantics. Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, and Shankara Narayanan Krishna. In Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 1117-1132, ACM Press, New York, 2019. (DOI).
  5. Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. Jakaria Abdullah, Gaoyang Dai, and Yi Wang. In Design, Automation & Test in Europe Conference & Exhibition: DATE 2019, pp 1625-1630, IEEE, 2019. (DOI).
  6. Teachers’ Awards - an Incentive for Pedagogical Development in Saudi Arabia. Fayiq Alghamdi, Aletta Nylén, and Arnold Pears. In , IEEE, 2019. (fulltext:postprint).
  7. FIFOrder MicroArchitecture: Ready-Aware Instruction Scheduling for OoO Processors. Mehdi Alipour, Rakesh Kumar, Stefanos Kaxiras, and David Black-Schaffer. In 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 716-721, IEEE, 2019. (DOI, fulltext:postprint).
  8. Maximizing limited resources: A limit-based study and taxonomy of out-of-order commit. Mehdi Alipour, Trevor E. Carlson, David Black-Schaffer, and Stefanos Kaxiras. In Journal of Signal Processing Systems, volume 91, number 3-4, pp 379-397, 2019. (DOI, Fulltext, fulltext:print).
  9. Filter caching for free: The untapped potential of the store-buffer. Ricardo Alves, Alberto Ros, David Black-Schaffer, and Stefanos Kaxiras. In Proc. 46th International Symposium on Computer Architecture, pp 436-448, ACM Press, New York, 2019. (DOI).
  10. Leveraging Existing Microarchitectural Structures to Improve First-Level Caching Efficiency. Ricardo Alves. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1821, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext, preview image).
  11. Minimizing Replay under Way-Prediction. Ricardo Alves, Stefanos Kaxiras, and David Black-Schaffer. Technical report / Department of Information Technology, Uppsala University nr 2019-003, 2019. (fulltext).
  12. Assessment of Blood Vessel Effect on Fat-Intrabody Communication Using Numerical and Ex-Vivo Models at 2.45 GHZ. Noor Badariah Asan, Emadeldeen Hassan, Mauricio David Perez, Syaiful Redzwan Mohd Shah, Jacob Velander, Taco J. Blokhuis, Thiemo Voigt, and Robin Augustine. In IEEE Access, volume 7, pp 89886-89900, 2019. (DOI, Fulltext, fulltext:print).
  13. Quantifiers and Theories: A Lazy Approach. Peter Backeman. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 139, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext, preview image).
  14. Carrier Scheduling in IoT Networks with Interoperable Battery-free Backscatter Tags. Perez Penichet Carlos and Thiemo Voigt. In IPSN '19: Proceedings of the 2019 International Conference on Information Processing in Sensor Networks, pp 329-330, Association for Computing Machinery (ACM), 2019. (DOI).
  15. Decision procedures for path feasibility of string-manipulating programs with complex operations. Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, and Zhilin Wu. In Proceedings of the ACM on Programming Languages, volume 3, pp 49:1-49:30, New York, NY, USA, 2019. (DOI, Fulltext, External link).
  16. Exploiting blockchain data to detect smart Ponzi schemes on Ethereum. Weili Chen, Zibin Zheng, Edith Ngai, Peilin Zheng, and Yuren Zhou. In IEEE Access, volume 7, pp 37575-37586, 2019. (DOI, Fulltext).
  17. Age of Information-Aware Scheduling for Timely and Scalable Internet of Things Applications. Lorenzo Corneo, Christian Rohner, and Per Gunningberg. In IEEE Conference On Computer Communications (IEEE INFOCOM 2019), IEEE INFOCOM, pp 2476-2484, 2019. (External link).
  18. Scope-aware data cache analysis for OpenMP programs on multi-core processors. He Du, Wei Zhang, Nan Guan, and Yi Wang. In Journal of systems architecture, volume 98, pp 443-452, ELSEVIER, 2019. (DOI).
  19. Dual Priority Scheduling is Not Optimal. Pontus Ekberg. In Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2019. (DOI, Fulltext).
  20. An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, and Yi Wang. In ACM Transactions on Embedded Computing Systems, volume 17, number 6, ASSOC COMPUTING MACHINERY, 2019. (DOI).
  21. Assessing Students' IT Professional Values in a Global Project Setting. S. Frezza, Mats Daniels, and A. Wilkin. In ACM Transactions on Computing Education, volume 19, number 2, ASSOC COMPUTING MACHINERY, 2019. (DOI).
  22. Sampled Simulation of Task-Based Programs. Thomas Grass, Trevor E. Carlson, Alejandro Rico, Germán Ceballos, Eduard Ayguade, Marc Casas, and Miquel Moreto. In I.E.E.E. transactions on computers (Print), volume 68, number 2, pp 255-269, IEEE COMPUTER SOC, 2019. (DOI).
  23. On Strings in Software Model Checking. Hossein Hojjat, Philipp Rümmer, and Ali Shamakhi. In Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, pp 19-30, Cham, 2019. (DOI).
  24. Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, and Philipp Rümmer. In Computer Aided Verification. CAV 2019., pp 455-474, Cham, 2019. (DOI, Fulltext).
  25. Poster: Tiek: Two-tier Authentication and Key Distribution for Wearable Devices. Sam Hylamia, Christian Rohner, and Thiemo Voigt. In , 2019. (fulltext:postprint).
  26. Tiek: Two-tier Authentication and Key Distribution for Wearable Devices. Sam Hylamia, Wenqing Yan, Christian Rohner, and Thiemo Voigt. In 15th International Conference on Wireless and MObile Computing, Networking and Communication (WiMob), Barcelona, 21-23 October, 2019., 2019. (fulltext:postprint).
  27. Searching for global employability: Can students capitalize on enabling learning environments?. Ville Isomöttönen, Mats Daniels, Åsa Cajander, Arnold Pears, and Roger McDermott. In ACM Transactions on Computing Education, volume 19, number 2, pp 11:1-29, 2019. (DOI).
  28. Improving Sensor Network Convergecast Performance with Directional Antennas. Schandy Javier, Simon Olofsson, Thiemo Voigt, and Leonardo Steinfeld. In , 2019.
  29. JayHorn: A Java Model Checker - (Competition Contribution). Temesghen Kahsai, Philipp Rümmer, and Martin Schäf. In Tools and Algorithms for the Construction and Analysis of Systems, pp 214-218, Springer, Cham, 2019. (DOI, Fulltext).
  30. Real-time air pollution monitoring with sensors on city bus. Sami Kaivonen and Edith C.-H. Ngai. In Digital Communications and Networks, volume 5, 2019. (DOI, Fulltext). Publication status: Epub ahead of print
  31. Comparing node degrees in probabilistic networks. Amin Kaveh, Matteo Magnani, and Christian Rohner. In Journal of Complex Networks, volume 7, number 5, pp 749-763, 2019. (DOI).
  32. Defining and measuring probabilistic ego networks. Amin Kaveh, Matteo Magnani, and Christian Rohner. In Applied Network Science Journal, 2019. Publication status: Submitted
  33. Freeway: Maximizing MLP for Slice-Out-of-Order Execution. Rakesh Kumar, Mehdi Alipour, and David Black-Schaffer. In 2019 25th IEEE International Symposium On High Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture-Proceedings, pp 558-569, IEEE, 2019. (DOI, fulltext:postprint).
  34. Exposing inter-process information for efficient PDES of spatial stochastic systems on multicores. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In ACM Transactions on Modeling and Computer Simulation, volume 29, number 2, pp 11:1-25, 2019. (DOI).
  35. Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision. Yongjun Liu, Yangjie Wei, and Yi Wang. In Cluster Computing, volume 22, pp 1459-1467, SPRINGER, 2019. (DOI).
  36. IEEE 802.15. 4 TSCH in Sub-GHz: Design Considerations and Multi-band Support. Brachmann Martina, Simon Duquennoy, Nicolas Tsiftes, and Thiemo Voigt. In , 2019.
  37. The GDPR Compliance of Blockchain: A qualitative study on regulating innovative technology. Karin Melin. Student thesis, supervisor: Edith Ngai, examiner: Christian Rohner, Elísabet Andrésdóttir, UPTEC STS nr 19046, 2019. (fulltext).
  38. makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes. Luca Mottola, Gian Pietro Picco, Felix Oppermann, Joakim Eriksson, Niclas Finne, Harald Fuchs, Andrea Gaglione, Stamatis Karnouskos, Patricio Montero, Nina Oertel, Kay Römer, Patrik Spiess, Stefano Tranquillini, and Thiemo Voigt. In IEEE Transactions on Software Engineering, volume 45, number 6, pp 576-596, IEEE Computer Society, 2019. (DOI).
  39. Model Checking of Software Systems under Weak Memory Models. Tuan-Phong Ngo. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1745, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext, preview image).
  40. Efficient Memory Modeling During Simulation and Native Execution. Nikos Nikoleris. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1756, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext, preview image).
  41. Cross-technology Clear Channel Assessment for Low-Power Wide Area Networks. Charalampos Orfanidis, Laura Marie Feeney, Martin Jacobsson, and Per Gunningberg. In Proceedings of The 16th IEEE International Conference on Mobile Ad-Hoc and Smart Systems, 2019.
  42. Participation and learner trajectories in computing education. Anne-Kathrin Peters. In Bridging Research and Practice in Science Education, pp 139-152, Springer, 2019. (DOI).
  43. Efficient thread/page/parallelism autotuning for NUMA systems. Mihail Popov, Alexandra Jimborean, and David Black-Schaffer. In International Conference on Supercomputing, Association for Computing Machinery (ACM), New York, NY, USA, 2019. (DOI, Fulltext, External link, fulltext:print).
  44. Efficient invisible speculative execution through selective delay and value prediction. Christos Sakalis, Stefanos Kaxiras, Alberto Ros, Alexandra Jimborean, and Magnus Själander. In Proc. 46th International Symposium on Computer Architecture, pp 723-735, ACM Press, New York, 2019. (DOI, fulltext:postprint).
  45. Evaluating the Potential Applications of Quaternary Logic for Approximate Computing. Christos Sakalis, Alexandra Jimborean, Stefanos Kaxiras, and Magnus Själander. In ACM Journal on Emerging Technologies in Computing Systems (JETC), volume 16, number 1, New York, NY, USA, 2019. (DOI, ACM Digital Library Link).
  46. Ghost Loads: What is the cost of invisible speculation?. Christos Sakalis, Mehdi Alipour, Alberto Ros, Alexandra Jimborean, Stefanos Kaxiras, and Magnus Själander. In Proceedings of the 16th ACM International Conference on Computing Frontiers, pp 153-163, ACM Press, New York, 2019. (DOI, fulltext:postprint).
  47. Handling Inherent Delays in Virtual IoT Gateways. Hazra Saptarshi, Simon Duquennoy, Peng Wang, Thiemo Voigt, Chenguang Lu, and Daniel Cederholm. In , 2019.
  48. Techniques for analyzing digital environments from a security perspective. Amendra Shrestha. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1786, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext, preview image).
  49. Uniprocessor scheduling of real-time synchronous dataflow tasks. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In Real-time systems, volume 55, number 1, pp 1-31, 2019. (DOI).
  50. LifeSec - Don’t Hack my Body. Thiemo Voigt, Robin Augustine, Noor Badariah Asan, Mauricio D. Perez, Anders Ahlén, André Teixeira, Sam Hylamia, Christian Rohner, Wenqing Yan, Laya Joseph, and Maria Mani. In , 2019.
  51. Tumor Sensing Privacy in In-Body Networks. Thiemo Voigt, Robin Augustine, Noor Badariah Asan, Mauricio D. Perez, Anders Ahlén, André Teixeira, Sam Hylamia, Christian Rohner, Wenqing Yan, Laya Joseph, and Maria Mani. In , 2019.
  52. Machine-Learning Based Active Measurement Proxy for IoT Systems. Wenqing Yan, Christofer Flinta, and Andreas Johnsson. In 2019 IFIP/IEEE Symposium On Integrated Network And Service Management (IM), pp 198-206, IEEE, 2019.
  53. Joint Resource Allocation for Latency-Sensitive Services Over Mobile Edge Computing Networks With Caching. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith Ngai, Li Zhou, Jibo Wei, Jun Cheng, Bin Hu, and Victor C. M. Leung. In IEEE Internet of Things Journal, volume 6, number 3, pp 4283-4294, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  54. Stochastic computation offloading and trajectory scheduling for UAV-assisted mobile edge computing. Jiao Zhang, Li Zhou, Qi Tang, Edith C.-H. Ngai, Xiping Hu, Haitao Zhao, and Jibo Wei. In IEEE Internet of Things Journal, volume 6, number 2, pp 3688-3699, 2019. (DOI).

Publications from previous years are archived.

Updated  2017-07-12 12:28:43 by Kurt Otto.