Simmo Saan

Orcid: 0000-0003-4553-1350

According to our database1, Simmo Saan authored at least 21 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2021
2022
2023
2024
2025
0
5
10
3
1
1
4
3
2
7

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.
Int. J. Softw. Tools Technol. Transf., December, 2024

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C.
Int. J. Softw. Tools Technol. Transf., October, 2024

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR, 2024

Correctness Witness Validation by Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Abstract Debugging with GobPie.
Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024

2023
Goblint at SV-COMP 2024.
Dataset, November, 2023

Goblint at SV-COMP 2024.
Dataset, November, 2023





Correctness Witness Validation by Abstract Interpretation.
Dataset, August, 2023

Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
Proceedings of the Programming Languages and Systems, 2023

2022
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.
CoRR, 2022

2021
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Improving Thread-Modular Abstract Interpretation.
Proceedings of the Static Analysis - 28th International Symposium, 2021


  Loading...