HERE Publications - Department of Information Technology - Uppsala University
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. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. Parosh Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, and Ahmed Rezine. In International Journal on Software Tools for Technology Transfer (STTT), volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI).
  2. Comparing source sets and persistent sets for partial order reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. In Models, Algorithms, Logics and Tools: Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday, volume 10460 of Lecture Notes in Computer Science, pp 516-536, Springer, 2017. (DOI).
  3. Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI).
  4. Context-bounded analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI).
  5. Stateless model checking for TSO and PSO. Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, and Konstantinos Sagonas. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI).
  6. Synthesis of Ada code from graph-based task models. Jakaria Abdullah, Morteza Mohaqeqi, and Wang Yi. In Proc. 32nd ACM Symposium on Applied Computing, pp 1467-1472, ACM Press, New York, 2017. (DOI).
  7. Exploring the performance limits of out-of-order commit. Mehdi Alipour, Trevor E. Carlson, and Stefanos Kaxiras. In Proc. 14th Computing Frontiers Conference, pp 211-220, ACM Press, New York, 2017. (DOI, attachment:print).
  8. An Ontology-based Context-aware System for Smart Homes: E-care@ home. Marjan Alirezaie, Jennifer Renoux, Uwe Köckemann, Annica Kristoffersson, Lars Karlsson, Eva Blomqvist, Nicolas Tsiftes, Thiemo Voigt, and Amy Loutfi. In Sensors, volume 17, number 7, 2017.
  9. Addressing Energy Challenges in Filter Caches. Ricardo Alves, Nikos Nikoleris, Stefanos Kaxiras, and David Black-Schaffer. In 29th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Campinas, Brazil. October 17-20. 2017., pp 49-56, 2017. (DOI).
  10. Data Packet Transmission through Fat Tissue for Wireless Intra-Body Networks. Noor Badariah Asan, Pérez Penichet Carlos, Syaiful Redzwan, Daniel Noreland, Emadeldeen Hassan, Anders Rydberg, Taco Blokhuis, Thiemo Voigt, and Robin Augustine. In IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology, 2017. (DOI, fulltext:postprint). Publication status: Epub ahead of print
  11. Intra-body microwave communication through adipose tissue. Noor Badariah Asan, Daniel Noreland, Emadeldeen Hassan, Syaiful Redzwan, Anders Rydberg, Taco J. Blokhuis, Per-Ola Carlsson, Thiemo Voigt, and Robin Augustine. In , volume 4, number 4, pp 115-121HEALTHCARE TECHNOLOGY LETTERS, volume 4, number 4, pp 115-121, INST ENGINEERING TECHNOLOGY-IET, 2017. (DOI, Fulltext, fulltext:print).
  12. Preparing tomorrow's software engineers for work in a global environment. Sarah Beecham, Tony Clear, John Barr, Mats Daniels, Michael Oudshoorn, and John Noll. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI).
  13. Adaptive cache warming for faster simulations. Gustaf Borgström, Andreas Sembrant, and David Black-Schaffer. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI, Fulltext, fulltext:print).
  14. Analyzing Graphics Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson, and David Black-Schaffer. In Proc. 20th International Symposium on Workload Characterization, IEEE, 2017.
  15. Exploring scheduling effects on task performance with TaskInsight. Germán Ceballos, Andra Hugo, Erik Hagersten, and David Black-Schaffer. In Supercomputing frontiers and innovations, volume 4, number 3, pp 91-98, 2017. (DOI, Fulltext).
  16. How to make tasks faster: Revealing the complex interactions of tasks in the memory system. Germán Ceballos. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 1-3, ACM Press, New York, 2017. (DOI).
  17. Modeling the interactions between tasks and the memory system. Germán Ceballos. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-002, Uppsala University, 2017.
  18. TaskInsight: Understanding task schedules effects on memory and performance. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI, Fulltext).
  19. Understanding the interplay between task scheduling, memory and performance. Germán Ceballos, Erik Hagersten, and David Black-Schaffer. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 21-23, ACM Press, New York, 2017. (DOI).
  20. A dedicated private-shared cache design for scalable multiprocessors. Juan M. Cebrián, Ricardo Fernández-Pascual, Alexandra Jimborean, Manuel E. Acacio, and Alberto Ros. In Concurrency and Computation, volume 29, number 2, 2017. (DOI).
  21. Advances Towards Data-Race-Free Cache Coherence Through Data Classification. Mahdad Davari. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1521, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  22. Scope-Aware Classification: Taking the hierarchical private/shared data classification to the next level. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. Technical report / Department of Information Technology, Uppsala University nr 2017-008, 2017. (External link).
  23. The best of both works: A hybrid data-race-free cache coherence scheme. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. 2017.
  24. Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm. Domenico De Guglielmo, Beshr Al Nahas, Simon Duquennoy, Thiemo Voigt, and Giuseppe Anastasi. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1573-1588, 2017. (DOI).
  25. Making batteries a first class element in the design and evaluation of embedded wireless systems. Laura Marie Feeney, Christian Rohner, and Per Gunningberg. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 242-243, ACM Digital Library, 2017.
  26. A diversity lens on the last decade of the FIE conference: Role models for the engineering community. Virginia Grande and Mats Daniels. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  27. Experiences of teachers in computing as role models: a phenomenographic study. Virginia Grande, Anders Berglund, and Mats Daniels. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI).
  28. Protecting Glossy-based Wireless Networks from Packet Injection Attacks. Kasun Hewage, Shahid Raza, and Thiemo Voigt. In 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE, Orlando, FL, USA, USA, 2017. (DOI).
  29. Poster: Resource-Efficient Detection of Elephant Rumbles. Namal Jayasuriya, Tharindu Ranathunga, Kasun Gunawardana, Chamath Silva, Kumarasinghe Kumarasinghe, Asanka Sayakkara, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In , 2017.
  30. Automatic detection of extended data-race-free regions. Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, and Alberto Ros. In CGO'17: Proceedings Of The 2017 International Symposium On Code Generation And Optimization, International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper, fulltext:postprint).
  31. Understanding initial undergraduate expectations and identity in computing studies. Päivi Kinnunen, Matthew Butler, Michael Morgan, Aletta Nylén, Anne-Kathrin Peters, Jane Sinclair, Sara Kalvala, and Erkki Pesonen. In European Journal of Engineering Education, volume 42, 2017. (DOI). Publication status: Epub ahead of print
  32. Subtask scheduling for distributed robots in cloud manufacturing. Wenxiang Li, Chunsheng Zhu, Laurence T. Yang, Lei Shu, Edith C.-H. Ngai, and Yajie Ma. In IEEE Systems Journal, volume 11, number 2, pp 941-950, 2017. (DOI).
  33. Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI).
  34. Cloud-Based Data Fusion in Green IoT for Smart Cities. Xiuming Liu, Abdul Rahman Khankan, Mohamad Alsioufi, Zhitao He, and Edith C.-H. Ngai. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 216-217, ACM Digital Library, 2017.
  35. Path planning for aerial sensor networks with connectivity constraints. Xiuming Liu, Teng Xi, Edith Ngai, and Wendong Wang. In Proc. International Conference on Communications: ICC 2017, IEEE, 2017. (DOI).
  36. First year computing students' perceptions of authenticity in assessment. Roger McDermott, Mark Zarb, Mats Daniels, and Ville Isomöttönen. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI).
  37. The authenticity of 'authentic' assessment: Some faculty perceptions. Roger McDermott, Mark Zarb, Mats Daniels, Aletta Nylén, Arnold Pears, Ville Isomöttönen, and Michael Caspersen. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  38. SADHealth: A personal mobile sensing system for seasonal health monitoring. Liam McNamara and Edith Ngai. In IEEE Systems Journal, volume 11, 2017. (DOI). Publication status: Epub ahead of print
  39. Run-Time Assurance for the E-care@home System. Uddin Ahmed Mobyen, Hossein Fotouhi, Uwe Köckemann, Maria Linden, Ivan Tomasic, Nicolas Tsiftes, and Thiemo Voigt. In , 2017.
  40. An executable semantics for synchronous task graphs: From SDRT to Ada. Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI).
  41. Refinement of workload models for engine controllers by state space partitioning. Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg, and Wang Yi. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI, Fulltext).
  42. Can we make a cake and eat it too?: A discussion of ICN security and privacy. Edith Ngai, Börje Ohlman, Gene Tsudik, Ersin Uzun, Matthias Wählisch, and Christopher A. Wood. In Computer communication review, volume 47, number 1, pp 49-54, 2017. (DOI).
  43. Open-Ended Projects Opened Up – Aspects of Openness. Aletta Nylén, Mats Daniels, Ville Isomöttönen, and Roger McDermott. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  44. Why are we here?: Student perspectives on the goal of higher education. Aletta Nylén, Åsa Cajander, Mats Daniels, Arnold Pears, and Roger McDermott. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  45. Investigating interference between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, Martin Jacobsson, and Per Gunningberg. In Proc. 13th International Conference on Wireless and Mobile Computing, Networking and Communications, IEEE, 2017. (DOI).
  46. Measuring PHY layer interactions between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, and Martin Jacobsson. In Proc. 16th IFIP TC6 Networking Conference, International Federation for Information Processing, 2017.
  47. Learning Computing at University: Participation and Identity: A Longitudinal Study. Anne-Kathrin Peters. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1577, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  48. Student experience of participation in computer science and IT engineering: a longitudinal study. Anne-Kathrin Peters. In Proc. 12th Conference of the European Science Education Research Association, ESERA, 2017.
  49. Students' experience of participation in a discipline: A longitudinal study of computer science and IT engineering students. Anne-Kathrin Peters. In ACM Transactions on Computing Education, 2017. Publication status: Accepted
  50. On Limits of Constructive Interference in Backscatter Systems. Carlos Pérez-Penichet, Frederik Hermans, and Thiemo Voigt. In Proceedings of 2017 Global IoT Summit, 2017.
  51. Poster: Augmenting WSNs with Interoperable 802.15.4 Sensor Tags. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney, and Thiemo Voigt. In Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems, 2017.
  52. Building the Internet of Things with bluetooth smart. Shahid Raza, Prasant Misra, Zhitao He, and Voigt Thiemo. In Ad hoc networks, volume 57, pp 19-31, 2017. (DOI).
  53. SecureSense: End-to-End Secure Communication Architecture for the Cloud-connected Internet of Things. Shahid Raza, Tomas Helgason, Panos Papadimitratos, and Thiemo Voigt. In Future generations computer systems, volume 77, pp 40-51, 2017.
  54. Non-speculative load-load reordering in TSO. Alberto Ros, Trevor E. Carlson, Mehdi Alipour, and Stefanos Kaxiras. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI).
  55. Profiling energy efficiency and data communications for mobile Internet of Things. Peramanathan Sathyamoorthy, Edith C.-H. Ngai, Xiping Hu, and Victor C. M. Leung. In Wireless Communications & Mobile Computing, volume 17, pp 6562915:1-15, 2017. (DOI).
  56. Eloc: Locating Wild Elephants using Low-cost Infrasonic Detectors. Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In , 2017.
  57. Poster: A Low-cost Elephant Localization System. Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In , 2017.
  58. A Split Cache Hierarchy for Enabling Data-oriented Optimizations. Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In , International Symposium on High-Performance Computer Architecture-Proceedings, pp 133-144, IEEE, 2017. (DOI).
  59. <em>Intrusion Detection in the RPL-connected 6LoWPAN Networks</em>. Dharmini Shreenivas, Shahid Raza, and Thiemo Voigt. In , 2017.
  60. Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In , 2017. (DOI, Fulltext).
  61. <em>Demo: Battery-free Visible Light Sensing</em>. Andreas Soleiman, Ambuj Varshney, Luca Mottola, and Thiemo Voigt. In Proceedings of the 4th ACM Workshop on Visible Light Communication Systems, 2017. (External link).
  62. Enabling Ambient Backscatter Using a Low-Cost Software Defined Radio. Maximilian Stiefel, Elmar van Rijnswou, Carlos Pérez-Penichet, Ambuj Varshney, Christian Rohner, and Thiemo Voigt. In , 2017.
  63. Privacy-preserving social tie discovery based on cloaked human trajectories. Ye Tian, Wendong Wang, Jie Wu, Qinli Kou, Zheng Song, and Edith C.-H. Ngai. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI).
  64. Clairvoyance: Look-ahead compile-time scheduling. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint).
  65. How do first year students learn C programming in Bhutan?. Phurpa Tshering, Dekar Lhamo, Lu Yu, and Anders Berglund. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, pp 25-29, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
  66. Software Architectural Metrics for the Scania Internet of Things Platform: From a Microservice Perspectiv. David Ulander. Student thesis, supervisor: Jakob Palmheden, examiner: Tomas Nyberg, Christian Rohner, UPTEC F nr 17033, 2017. (fulltext).
  67. <em>Demo: LoRea: A Backscatter architecture that achieves a long communication range</em>. Ambuj Varshney, Carlos-Perez Penichet, Christian Rohner, and Thiemo Voigt. In The 15th ACM Conference on Embedded Networked Sensor Systems (ACM SENSYS 2017), 2017. (External link).
  68. <em>Poster: Battery-free Visible Light Sensing</em>. Ambuj Varshney, Andreas Soleiman, and Thiemo Voigt. In 23rd Annual International Conference on Mobile Computing and Networking (ACM MOBICOM 2017), 2017. (DOI).
  69. Battery-free Visible Light Sensing. Ambuj Varshney, Andreas Soleiman, Luca Mottola, and Thiemo Voigt. In Proceedings of the 4th ACM Workshop on Visible Light Communication Systems, 2017. (DOI, External link).
  70. LoRea: A Backscatter architecture that achieves a long communication range. Ambuj Varshney, Oliver Harms, Perez Penichet Carlos, Christian Rohner, Frederik Hermans, and Thiemo Voigt. In The 15th ACM Conference on Embedded Networked Sensing Systems (ACM SENSYS 2017), ACM Digital Library, Delft, 2017. (External link, fulltext:print).
  71. Towards Wide-area Backscatter Networks. Ambuj Varshney, Carlos-Perez Penichet, Christian Rohner, and Thiemo Voigt. In Proceedings of the 4th ACM Workshop on Hot Topics in Wireless, 2017. (DOI, External link).
  72. A perspective from Vietnamese students on teaching of soft skills. Huu-Phuc Vo, Anders Berglund, and Mats Daniels. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
  73. Mitigating Inter-network Interference in LoRa Networks. Thiemo Voigt, Martin Bor, Utz Roedig, and Juan Alonso. In , 2017. (fulltext:postprint).
  74. Decoupled Access-Execute on ARM big.LITTLE. Anton Weber, Kim-Anh Tran, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link).
  75. Ubiquitous transmission of multimedia sensor data in Internet-of-Things. Gang Xu, Edith C.-H. Ngai, and Jiangchuan Liu. In IEEE Internet of Things Journal, volume 4, 2017. (DOI). Publication status: Epub ahead of print
  76. An approximation framework for solvers and decision procedures. Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rümmer. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI, Fulltext).
  77. On energy-efficient offloading in mobile cloud for real-time video applications. Lei Zhang, Di Fu, Jiangchuan Liu, Edith C.-H. Ngai, and Wenwu Zhu. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI).

Publications from previous years are archived.

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