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. A load-buffer semantics for total store ordering. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  2. Complexity of reachability for data-aware dynamic systems. Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, and Othmane Rezine. In Proc. 18th International Conference on Application of Concurrency to System Design, pp 11-20, IEEE Computer Society, 2018. (DOI, Fulltext).
  3. Fragment abstraction for concurrent shape analysis. Parosh Aziz Abdulla, Bengt Jonsson, and Cong Quy Trinh. In Programming Languages and Systems, volume 10801 of Lecture Notes in Computer Science, pp 442-471, Springer, 2018. (DOI, Fulltext).
  4. Mending fences with self-invalidation and self-downgrade. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, and Yunyun Zhu. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  5. Model checking parameterized systems. Parosh Aziz Abdulla, A. Prasad Sistla, and Muralidhar Talupur. In Handbook of Model Checking, pp 685-725, Springer, 2018. (DOI).
  6. Perfect timed communication is hard. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Shankara Narayanan Krishna. In Formal Modeling and Analysis of Timed Systems, volume 11022 of Lecture Notes in Computer Science, pp 91-107, Springer, 2018. (DOI).
  7. Replacing store buffers by load buffers in TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Verification and Evaluation of Computer and Communication Systems, volume 11181 of Lecture Notes in Computer Science, pp 22-28, Springer, 2018. (DOI).
  8. Trau: SMT solver for string constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi Diep Bui, Lukas Holik, Ahmed Rezine, and Philipp Rümmer. In The eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification (FMCAD 2018), 2018.
  9. Universal safety for timed Petri nets is PSPACE-complete. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, and Patrick Totzke. In 29th International Conference on Concurrency Theory, volume 118 of Leibniz International Proceedings in Informatics, pp 6:1-15, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
  10. Verification of timed asynchronous programs. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, and Shaan Vaidya. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2018, volume 122 of Leibniz International Proceedings in Informatics, pp 8:1-16, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
  11. Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, and Wang Yi. In Proc. 24th Real-Time and Embedded Technology and Applications Symposium, pp 261-270, IEEE Computer Society, 2018. (DOI).
  12. Assessment of risk in written communication: Introducing the Profile Risk Assessment Tool (PRAT). Nazar Akrami, Amendra Shrestha, Mathias Berggren, Lisa Kaati, Milan Obaidi, and Katie Cohen. EUROPOL, Belgium, 2018. (fulltext).
  13. Changing the Educational Epistemologies of Computer Science Teachers: A Case Study of the Kingdom of Saudi Arabia. Fayiq Alghamdi, Aletta Nylén, and Arnold Pears. In , IEEE, 2018. (fulltext:print).
  14. Computer science teachers perspectives on competencies: A case study in the Kingdom of Saudi Arabia. Fayiq Alghamdi, Arnold Pears, and Aletta Nylén. In Informatics in Schools. Fundamentals of Computer Science and Software Engineering, volume 11169 of Lecture Notes in Computer Science, pp 129-140, Springer, 2018. (DOI).
  15. 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 90, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  16. Dynamically Disabling Way-prediction to Reduce Instruction Replay. Ricardo Alves, Stefanos Kaxiras, and David Black-Schaffer. In Proc. 36th International Conference on Computer Design, IEEE, 2018.
  17. Sound conformance testing for cyber-physical systems: Theory and implementation. Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, and Augusto Sampaio. In Science of Computer Programming, volume 162, pp 35-54, ELSEVIER SCIENCE BV, 2018. (DOI, Fulltext, fulltext:print).
  18. Security of Internet of Things for a Reliable Internet of Services. Ahmet Aris, Sema Oktu?, and Thiemo Voigt. In Autonomous Control for a Reliable Internet of Services, Cham, 2018.
  19. Oprimal dynamic partial order reduction with observers. Stavros Aronis, Bengt Jonsson, Magnus Lång, and Konstantinos Sagonas. In Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 2018, volume 06 of Lecture Notes in Computer Science, Springer Berlin/Heidelberg, Berlin, 2018.
  20. Verification and Evaluation of Computer and Communication Systems. Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, and Bruno Monsuez (eds). Volume 11181 of Lecture Notes in Computer Science, Springer, 2018. (DOI).
  21. Verifying quantitative temporal properties of procedural programs. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. In 29th International Conference on Concurrency Theory, volume 118 of Leibniz International Proceedings in Informatics, pp 15:1-17, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
  22. Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. Peter Backeman, Philipp Rümmer, and Aleksandar Zeljic. In Formal Methods inComputer-Aided Design, pp 50-59, 2018. (External link, fulltext:postprint).
  23. Four relections on the history of ITiCSE. Lillian Cassel, Mats Daniels, Michael Goldweber, and Judy Sheard. In ACM inroads, volume 9, number 4, pp 40-46, ACM Digital Library, 2018. (DOI).
  24. Analyzing performance variation of task schedulers with TaskInsight. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Parallel Computing, volume 75, pp 11-27, 2018. (DOI).
  25. Behind the Scenes: Memory Analysis of Graphical Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson, and David Black-Schaffer. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2018, pp 1-11, IEEE Computer Society, 2018. (DOI, fulltext:preprint).
  26. Tail-PASS: Resource-based Cache Management for Tiled Graphics Rendering Hardware. Germán Ceballos, Erik Hagersten, and David Black-Schaffer. In Proc. 16th International Conference on Parallel and Distributed Processing with Applications, IEEE, 2018.
  27. Understanding Task Parallelism: Providing insight into scheduling, memory, and performance for CPUs and Graphics. Germán Ceballos. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1737, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  28. Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor Stefanov, and Yi Wang. In I.E.E.E. transactions on computers (Print), volume 67, number 4, pp 543-558, IEEE COMPUTER SOC, 2018. (DOI).
  29. Detecting Ponzi Schemes on Ethereum: Towards Healthier Blockchain Technology. Weili Chen, Zibin Zheng, Cui Jiahui, Edith Ngai, Peilin Zheng, and Yuren Zhou. In WWW '18: Proceedings of the 2018 World Wide Web Conference, pp 1409-1418, ACM Digital Library, 2018. (DOI, Fulltext, fulltext:print).
  30. My SIGCSE -> ITiCSE. Mats Daniels. In ACM inroads, volume 9, number 4, pp 101-101, ACM Digital Library, 2018. (DOI).
  31. Scaling RPL to Dense and Large Networks with Constrained Memory. Joakim Eriksson, Niclas Finne, Nicolas Tsiftes, Simon Duquennoy, and Thiemo Voigt. In , 2018. (fulltext:postprint).
  32. Avoiding an IoT  "Tragedy of the Commons". Laura Marie Feeney and Per Gunningberg. In Proc. 16th International Conference on Mobile Systems, Applications, and Services, pp 495-497, ACM Press, New York, 2018. (DOI).
  33. Preliminary Results on LoRaWAN and IEEE 802.15.4-SUN Interference. Laura Marie Feeney, Charalampos Orfanidis, Martin Jacobsson, and Per Gunningberg. In Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys, pp 430-431, ACM, 2018. (DOI, External link).
  34. Modeling global competencies for computing education. Stephen Frezza, Arnold Pears, Mats Daniels, Viggo Kann, Amanpreet Kapoor, Roger McDermott, Anne-Kathrin Peters, Charles Wallace, Mihaela Sabin, and Åsa Cajander. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 348-349, ACM Press, New York, 2018. (DOI).
  35. Connecting Battery-free IoT Tags Using LED Bulbs. Domenico Giustiniano, Ambuj Varshney, and Thiemo Voigt. In , 2018.
  36. "Participating Under the Influence”: How Role Models Affect the Computing Discipline, Profession, and Student Population. Virginia Grande, Anne-Kathrin Peters, Mats Daniels, and Matti Tedre. In , 2018. (fulltext:preprint).
  37. Lost for Words! Defining the Language Around Role Models in Engineering. Virginia Grande. In Frontiers in Education 2018. Fostering Innovation Through Diversity: 2018 Conference Proceedings, 2018. (External link, fulltext:postprint).
  38. A Platform for Experiments with Energy Storage Devices for Low-power Wireless Networks. Robert Hartung, Jan Käberich, Lars C. Wolf, Laura Marie Feeney, Christian Rohner, and Per Gunningberg. In Proceedings of the 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation & Characterization, WiNTECH, pp 68-76, ACM, 2018. (DOI, External link).
  39. Demo: Integration of a Platform for Energy Storage Experiments into a Generic Testbed Framework. Robert Hartung, Jan Käberich, Lars C. Wolf, Laura Marie Feeney, Christian Rohner, and Per Gunningberg. In Proceedings of the 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation & Characterization, WiNTECH ’18, pp 77-78, ACM, 2018. (DOI, External link).
  40. The Eldarica Horn Solver. Hossein Hojjat and Philipp Rümmer. In Formal Methods in Computer Aided Design 2018, IEEE, 2018. (fulltext:postprint).
  41. String constraints with concatenation and transducers solved efficiently. Lukas Holik, Petr Janku, Anthony W. Lin, Philipp Rümmer, and Tomas Vojnar. In Proceedings of the ACM on Programming Languages, volume 2, pp 1-32, ACM Digital Library, New York, 2018. (DOI, fulltext:print).
  42. Crowdsourcing for Mobile Networks and IoT. Xiping Hu, Zhaolong Ning, Kuan Zhang, Edith Ngai, Kun Bai, and Fei Wang. In Wireless Communications & Mobile Computing, WILEY-HINDAWI, 2018. (DOI, Fulltext, fulltext:print).
  43. Buffer State is Enough: Simplifying the Design of QoE-Aware HTTP Adaptive Video Streaming. Weiwei Huang, Yipeng Zhou, Xueyan Xie, Di Wu, Min Chen, and Edith Ngai. In IEEE transactions on broadcasting, volume 64, number 2, pp 590-601, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
  44. Security on Harvested Power: Demo Abstract. Abdullah Hylamia, Marco Spanghero, Ambuj Varshney, Thiemo Voigt, and Panagiotis Papadimitratos. In , 2018.
  45. Towards Battery-free Radio Tomographic Imaging: Demo Abstract. Abdullah Hylamia, Ambuj Varshney, Andreas Soleiman, Panagiotis Papadimitratos, Christian Rohner, and Thiemo Voigt. In , 2018.
  46. Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation. Alexandra Jimborean, Per Ekemark, Jonatan Waern, Stefanos Kaxiras, and Alberto Ros. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 527-541, IEEE COMPUTER SOC, 2018. (DOI).
  47. Non-Speculative Load Reordering in Total Store Ordering. Stefanos Kaxiras, Trevor E. Carlson, Mehdi Alipour, and Alberto Ros. In IEEE Micro, volume 38, number 3, pp 48-57, IEEE COMPUTER SOC, 2018. (DOI).
  48. 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 43, number 2, pp 201-218, 2018. (DOI).
  49. Automating regression verification of pointer programs by predicate abstraction. Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich. In Formal methods in system design, volume 52, number 3, pp 229-259, 2018. (DOI, fulltext:postprint).
  50. Power-performance tradeoffs in data center servers: DVFS, CPU pinning, horizontal, and vertical scaling. Jakub Krzywda, Ahmed Ali-Eldin, Trevor E. Carlson, Per-Olov Östberg, and Erik Elmroth. In Future generations computer systems, volume 81, pp 114-128, ELSEVIER SCIENCE BV, 2018. (DOI).
  51. A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Jonatan Lindén and Bengt Jonsson. Technical report / Department of Information Technology, Uppsala University nr 2018-003, 2018.
  52. Fine-grained local dynamic load balancing in PDES. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In Proc. 6th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 201-212, ACM Press, New York, 2018. (DOI).
  53. Synchronization Techniques in Parallel Discrete Event Simulation. Jonatan Lindén. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1634, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  54. Targeted Property-Based Testing with Applications in Sensor Networks. Andreas Löscher. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 133, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  55. Investigations into the Use of Learning Agreements to Enhance Stakeholder Engagement and Promote Self-Efficacy in Computing Education. Roger McDermott, Mats Daniels, Mark Zarb, William Ballew, and Tony Clear. In Proc. 48th Frontiers in Education Conference, 2018.
  56. Phronesis, Authentic Learning and the Solution of Open-Ended Problems in Computing and Engineering Education. Roger McDermott, Mats Daniels, Mark Zarb, William Ballew, and Ville Isomöttönen. In Proc. 48th Frontiers in Education Conference, 2018.
  57. 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 , 2018.
  58. Optimal harmonic period assignment: complexity results and approximation algorithms. Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, and Karl-Erik Årzén. In Real-time systems, volume 54, number 4, pp 830-860, Springer, 2018. (DOI, Fulltext, External link).
  59. Optimal Stateless Model Checking under the Release-Acquire Semantics. Tuan-Phong Ngo, Parosh Abdulla, Bengt Jonsson, and Mohamed Faouzi Atig. In SPLASH OOPSLA 2018, Boston, Nov 4-9, 2018, ACM Digital Library, 2018. (External link).
  60. Why are we here?: The educational value model (EVM) as a framework to investigate the role of students’ professional identity development. Aletta Nylén, Mats Daniels, Arnold Pears, Åsa Cajander, Roger McDermott, and Ville Isomöttönen. In Proc. 48th Frontiers in Education Conference, 2018.
  61. Robustness in low power wide area networks. Charalampos Orfanidis. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-004, Uppsala University, 2018. (fulltext).
  62. 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, volume 19, number 1, 2018. (DOI).
  63. The making of a computer scientist. Anne-Kathrin Peters and Judeth Oden Choi. In XRDS, volume 25, number 1, pp 7-8, 2018. (DOI).
  64. Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018: Revised Selected Papers. Ruzica Piskac and Philipp Rümmer (eds). Volume 11294 of Lecture Notes in Computer Science, Springer Publishing Company, 2018.
  65. Battery-free 802.15. 4 Receiver. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney, and Thiemo Voigt. In , 2018.
  66. Battery-free 802.15.4 receiver: demo abstract. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney, and Thiemo Voigt. In , 2018.
  67. Non-Speculative Store Coalescing in Total Store Order. Alberto Ros and Stefanos Kaxiras. In Proc.45th International Symposium on Computer Architecture, pp 221-234, IEEE, 2018. (DOI, fulltext:postprint).
  68. The Superfluous Load Queue. Alberto Ros and Stefanos Kaxiras. In Proc. 51st IEEE/ACM International Symposium on Microarchitecture, 2018. (fulltext:postprint).
  69. Learning Outcome Outcomes: An Evaluation of Quality. Daniel Sigurgeirsson, Marta Lárusdóttir, Mohammad Hamdaga, Mats Daniels, and Björn Jónsson. In Proc. 48th Frontiers in Education Conference, 2018.
  70. Uniprocessor scheduling of real-time synchronous dataflow tasks. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In Real-time systems, volume 54, 2018. (DOI). Publication status: Epub ahead of print
  71. Privacy-preserving scheme in social participatory sensing based on Secure Multi-party Cooperation. Ye Tian, Xiong Li, Arun Kumar Sangaiah, Edith Ngai, Zheng Song, Lanshan Zhang, and Wendong Wang. In Computer Communications, volume 119, pp 167-178, 2018. (DOI).
  72. SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores. Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 328-343, Association for Computing Machinery (ACM), 2018. (DOI, fulltext:print).
  73. Static instruction scheduling for high performance on energy-efficient processors. Kim-Anh Tran. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-001, Uppsala University, 2018. (fulltext).
  74. Static instruction scheduling for high performance on limited hardware. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In IEEE Transactions on Computers, volume 67, number 4, pp 513-527, 2018. (DOI).
  75. Velox VM: A safe execution environment for resource-constrained IoT applications. Nicolas Tsiftes and Thiemo Voigt. In Journal of Network and Computer Applications, volume 118, pp 61-73, 2018. (DOI).
  76. Velox VM: A safe execution environment for resource-constrained IoT applications. Nicolas Tsiftes and Thiemo Voigt. In Journal of Network and Computer Applications, 2018.
  77. Enabling Sustainable Networked Embedded Systems. Ambuj Varshney. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1648, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext).
  78. The Self-Flipped Classroom Concept: Underlying Ideas and Experiences. Anna Vasilchenko, Åsa Cajander, Mats Daniels, and Madeline Balaam. In Proc. 48th Frontiers in Education Conference, 2018.
  79. A City-Wide Real-Time Traffic Management System: Enabling Crowdsensing in Social Internet of Vehicles. Xiaojie Wang, Zhaolong Ning, Xiping Hu, Edith Ngai, Lei Wang, Bin Hu, and Ricky Kwok. In IEEE Communications Magazine, volume 56, number 9, pp 19-25, 2018. (DOI, fulltext:postprint).
  80. Lock-free Contention Adapting Search Trees. Kjell Winblad, Konstantinos Sagonas, and Bengt Jonsson. In The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, New York, NY, USA, 2018. (DOI).
  81. 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 5, number 1, pp 403-414, 2018. (DOI).
  82. ECOVIBE: On-Demand Sensing for Railway Bridge Structural Health Monitoring. Liu Ye, Thiemo Voigt, Niklas Wirström, and Joel Höglund. In IEEE Internet of Things Journal, 2018.
  83. Exploring Approximations for Floating-Point Arithmetic using UppSAT. Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, and Philipp Rümmer. In Automated Reasoning - 2018, volume 10900 of Lecture Notes in Computer Science, pp 246-262, Cham, 2018. (DOI, fulltext:postprint).
  84. Dependency- and similarity-aware caching for HTTP adaptive streaming. Cong Zhang, Jiangchuan Liu, Fei Chen, Yong Cui, Edith C.-H. Ngai, and Yuemin Hu. In Multimedia tools and applications, volume 77, number 1, pp 1453-1474, 2018. (DOI).
  85. Energy-Latency Tradeoff for Energy-Aware Offloading in Mobile Edge Computing Networks. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith Ngai, Li Zhou, Jibo Wei, Jun Cheng, and Bin Hu. In IEEE Internet of Things Journal, volume 5, number 4, pp 2633-2645, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
  86. Energy-Latency Tradeoff for Energy-Aware Offloading in Mobile Edge Computing Networks. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith Ngai, Zhou Li, Jibo Wei, Jun Cheng, and Bin Hu. In IEEE Internet of Things Journal, pp 2633-2645, 2018. (DOI).
  87. Constructing a Weak Memory Model. Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, and Arvind Mithal. In , ACM/IEEE Annual International Symposium on Computer Architecture (ISCA), pp 124-137, IEEE, New York, 2018. (DOI, fulltext:postprint).
  88. Caches, Transactions and Memories: Models, Coherence and Consistency. Yunyun Zhu. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1665, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).

Publications from previous years are archived.

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