Magnus Lång

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Temporal Properties

Pspace Complete

Partial Order Reduction

Top Venues

Proc. ACM Program. Lang.

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. CoRR (2023)
Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. FMCAD (2022)
Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. CoRR (2022)
Magnus Lång, Konstantinos Sagonas
Parallel Graph-Based Stateless Model Checking. ATVA (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
Optimal stateless model checking for reads-from equivalence under sequential consistency. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Optimal Dynamic Partial Order Reduction with Observers. TACAS (2) (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo
Precise and Sound Automatic Fence Insertion Procedure under PSO. NETYS (2015)