Follow
Magnus Lång
Magnus Lång
PhD student in Computer Science, Uppsala University
Verified email at it.uu.se - Homepage
Title
Cited by
Cited by
Year
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
552019
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
542018
Precise and sound automatic fence insertion procedure under PSO
PA Abdulla, MF Atig, M Lång, TP Ngo
Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015
262015
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
72015
Parallel graph-based stateless model checking
M Lång, K Sagonas
International Symposium on Automated Technology for Verification and …, 2020
62020
Awaiting for Godot: Stateless model checking that avoids executions where nothing happens
B Jonsson, M Lång, K Sagonas
2022 Formal Methods in Computer-Aided Design (FMCAD), 284-293, 2022
52022
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
PA Abdulla, MF Atig, FM Bønneland, S Das, B Jonsson, M Lång, ...
International Symposium on Automated Technology for Verification and …, 2023
22023
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
P Aziz Abdulla, M Faouzi Atig, F Meyer Bønneland, S Das, B Jonsson, ...
arXiv e-prints, arXiv: 2307.15930, 2023
2023
Erlang on Adapteva's Parallella
M Lång
2016
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
2015
Sound and Complete Reachability Analysis under PSO
M Lång
2013
The system can't perform the operation now. Try again later.
Articles 1–11