Uppsala Programming for Multicore Architectures Research Center
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.
- Dissertation: 2016-01-18 at 13:00, ITC, 2446, Lägerhyddsvägen 2, Uppsala Johan Östlund: Language Constructs for Safe Parallel Programming on Multi-Cores
- Dissertation: 2016-01-15 at 13:15, ITC, 2446, Lägerhyddsvägen 2, Uppsala Pontus Ekberg: Models and Complexity Results in Real-Time Scheduling Theory
- Dissertation: 2015-12-17 kl. 13:15, ITC 2446, Lägerhyddsvägen 2, Uppsala Sofia Cassel: Learning Component Behavior from Tests -- Theory and Algorithms for Automata with Data
- Dissertation: 2015-11-18 kl. 13:00, ITC 2446, Lägerhyddsvägen 2, Uppsala Frédéric Haziza: Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape Analysis
- Best Paper Award at RTSS 2015: Pontus Ekberg and Wang Yi have received the best paper award with the paper: Uniprocessor Feasibility of Sporadic Tasks Remains coNP-complete Under Bounded Utilization at the conferencce The 36th IEEE Real-Time Systems Symposium, December 1-4 in San Antonio, Texas, USA.
- Best Paper Award at ECRTS 2015 Pontus Ekberg and Wang Yi for the paper: Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly coNP-complete. The 27th Euromicro Conference on Real-Time Systems; 7-10th July 2015; Lund, Sweden.!--
- Analysis and design of jump coefficients in discrete stochastic diffusion models. In SIAM Journal on Scientific Computing, volume 38, pp A55-A83, 2016.
- Language Constructs for Safe Parallel Programming on Multi-Cores. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1319, Acta Universitatis Upsaliensis, Uppsala, 2016.