Magnus Lång
Magnus Lång
PhD student in Computer Science, Uppsala University
Verified email at - Homepage
Cited by
Cited by
Optimal dynamic partial order reduction with observers
S Aronis, B Jonsson, M Lång, K Sagonas
International Conference on Tools and Algorithms for the Construction and …, 2018
Precise and sound automatic fence insertion procedure under PSO
PA Abdulla, MF Atig, M Lång, TP Ngo
International Conference on Networked Systems, 32-47, 2015
Optimal stateless model checking for reads-from equivalence under sequential consistency
PA Abdulla, MF Atig, B Jonsson, M Lång, TP Ngo, K Sagonas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
Experiences from a field test using ICN for live video streaming
AM Malik, B Ahlgren, B Ohlman, A Lindgren, E Ngai, L Klingsbo, M Lång
2015 IEEE International Conference on Multimedia & Expo Workshops (ICMEW), 1-6, 2015
Parallel Graph-Based Stateless Model Checking
M Lång, K Sagonas
International Symposium on Automated Technology for Verification and …, 2020
Erlang on Adapteva's Parallella
M Lång
NetInf Live Video Streaming at the 2015 Nordic World Ski Championship
AM Malik, B Ahlgren, L Klingsbo, A Lindgren, M Lång, ECH Ngai, ...
11th Swedish National Computer Networking Workshop (SNCNW 2015), May 28-29 …, 2015
Sound and Complete Reachability Analysis under PSO
M Lång
The system can't perform the operation now. Try again later.
Articles 1–8