Magnus Lång

Assistant with doctoral duties at Department of Information Technology; Division of Computer Systems

E-mail:: magnus.lang@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Magnus Lång at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

All publications

Articles in journal

Awaiting for Godot: stateless model checking that avoids executions where nothing happens

Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of Formal methods in system design, p. 71-105, 2025
- DOI for Awaiting for Godot: stateless model checking that avoids executions where nothing happens
- Download full text (pdf) of Awaiting for Godot: stateless model checking that avoids executions where nothing happens
Optimal stateless model checking for reads-from equivalence under sequential consistency

Abdulla, Parosh; Atig, Mohamed Faouzi; Jonsson, Bengt; Lång, Magnus et al.

Part of Proceedings of the ACM on Programming Languages, p. 1-29, 2019
- DOI for Optimal stateless model checking for reads-from equivalence under sequential consistency
- Download full text (pdf) of Optimal stateless model checking for reads-from equivalence under sequential consistency

Conference papers

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs

Abdulla, Parosh; Atig, Mohamed Faouzi; Meyer Bønneland, Frederik; Das, Sarbojit et al.

Part of Automated Technology for Verification and Analysis, p. 176-198, 2023
- DOI for Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
- Download full text (pdf) of Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens

Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of 2022 Formal Methods in Computer-Aided Design (FMCAD), p. 284-293, 2022
- DOI for Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens
- Download full text (pdf) of Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens
Parallel Graph-Based Stateless Model Checking

Lång, Magnus; Sagonas, Konstantinos

Part of Automated Technology for Verification and Analysis, p. 377-393, 2020
- DOI for Parallel Graph-Based Stateless Model Checking
Optimal dynamic partial order reduction with observers

Aronis, Stavros; Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 229-248, 2018
- DOI for Optimal dynamic partial order reduction with observers
- Download full text (pdf) of Optimal dynamic partial order reduction with observers
Experiences From A Field Test Using Icn For Live Video Streaming

Malik, Adeel Mohammad; Ahlgren, Bengt; Ohlman, Börje; Lindgren, Anders et al.

Part of 2015 IEEE International Conference on Multimedia & Expo Workshops (ICMEW), 2015