Sarbojit Das

According to our database, Sarbojit Das authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Trading Space for Simplicity in Stateless Model Checking.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the Real Time and Such, 2025

2024

Artifact: Trading Space for Simplicity in Stateless Model Checking.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Dataset, August, 2024

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Dataset, April, 2024

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Dataset, April, 2024

Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

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

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas

Proceedings of the Automated Technology for Verification and Analysis, 2023