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 | 55 | 2019 |
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 | 54 | 2018 |
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 | 26 | 2015 |
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 | 7 | 2015 |
Parallel graph-based stateless model checking M Lång, K Sagonas International Symposium on Automated Technology for Verification and …, 2020 | 6 | 2020 |
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 | 5 | 2022 |
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 | 2 | 2023 |
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 |