Magnus Lång
Magnus Lång
PhD student in Computer Science, Uppsala University
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8