Simmo Saan
Orcid: 0000-0003-4553-1350
According to our database1,
Simmo Saan
authored at least 21 papers
between 2021 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
2025
0
5
10
3
1
1
4
3
2
7
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
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
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
Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024
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
Proceedings of the Programming Languages and Systems, 2023
2022
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
Proceedings of the Static Analysis - 28th International Symposium, 2021