UPMARC Posters
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.
2019-02-15 Nikos Nikoleris : Efficient Memory Modeling During Simulation and Native Execution . Location: Sal VIII, Universitetshuset, Time: 9:15 2019-01-23 Stephan Brandauer : Structured Data at 13:15, Room 2446, Institutionen för informationsteknologi, Polacksbacken, Lägerhyddsvägen 2, Uppsala 2019-01-21 Tuan-Phong Ngo : Model Checking of Software Systems under Weak Memory Models at 13:15, Room 2446, Department of Information Technology, Polacksbacken (Lägerhyddsvägen 2), Uppsala