is to develop the insights that enable new tools and approaches to make parallel programming easier, and to demonstrate their effectiveness through prototype implementations on real problems.
- Assessing uncertainties in x-ray single-particle three-dimensional reconstruction. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 98, pp 013303:1-12, 2018.
- Fine-grained local dynamic load balancing in PDES. In Proc. 6th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 201-212, ACM Press, New York, 2018.
- Towards Bayesian parametrization of national scale epidemics. In MATHMOD 2018 Extended Abstracts, pp 65-66, ARGESIM Publisher, Vienna, Austria, 2018.
- Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, and Huu-Phuc Vo have received the best paper award at COORDINATION 2018 conference for their paper "Forward to a Promising Future."
- Björn Victor, was awarded the Uppsala University Pedagogical Award for 2018 in the area of mathematics, natural sciences, and technology.
- Stefanos Kaxiras, has been inducted in the ISCA Hall of Fame.
- The paper Optimal Dynamic Partial Order Reduction with Observers won one of the TACAS'18 distinguished artifact awards at ETAPS 2018 in April 2018.
Theses, Dissertations 2018
Yunyun Zhu: Caches, Transactions and Memories: Models, Coherence and Consistency. Ph.D. thesis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1651-6214 nr 1665. Acta Universitatis Upsaliensis, 2018.
Jonatan Lindén: Synchronization Techniques in Parallel Discrete Event Simulation. Ph.D. thesis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1651-6214 nr 1634. Acta Universitatis Upsaliensis, 2018.
Afshin Zafari: Advances in Task-Based Parallel Programming for Distributed Memory Architectures
Opponent: Doctor George Bosilca,University of Tennessee.
Elias Castegren: Capability-Based Type Systems for Concurrency Control
Opponent: Professor Alan Mycroft, Cambridge University.
Static Instruction Scheduling for High Performance on Energy-Efficient Processors. Kim-Anh Tran. Licentiate thesis.
Othmane Rezine: Verification of networks of communicating processes: Reachability problems and decidability issues
Opponent: Professor Doctor Barbara König, University of Duisburg-Essen, Germany.