Author: "Saan, Simmo" / Database: Unpaywall - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Saan, Simmo"' showing total 5 results

Start Over Author "Saan, Simmo" Database Unpaywall

5 results on '"Saan, Simmo"'

1. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces

Author: Schwarz, Michael, primary, Saan, Simmo, additional, Seidl, Helmut, additional, Erhard, Julian, additional, and Vojdani, Vesal, additional
Published: 2023
Full Text: View/download PDF

2. Goblint: Autotuning Thread-Modular Abstract Interpretation

Author: Saan, Simmo, primary, Schwarz, Michael, additional, Erhard, Julian, additional, Pietsch, Manuel, additional, Seidl, Helmut, additional, Tilscher, Sarah, additional, and Vojdani, Vesal, additional
Published: 2023
Full Text: View/download PDF

3. Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints

Author: Saan, Simmo, primary, Schwarz, Michael, additional, Apinis, Kalmer, additional, Erhard, Julian, additional, Seidl, Helmut, additional, Vogler, Ralf, additional, and Vojdani, Vesal, additional
Published: 2021
Full Text: View/download PDF

4. Improving Thread-Modular Abstract Interpretation

Author: Schwarz, Michael, primary, Saan, Simmo, additional, Seidl, Helmut, additional, Apinis, Kalmer, additional, Erhard, Julian, additional, and Vojdani, Vesal, additional
Published: 2021
Full Text: View/download PDF

5. When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C

Author: Schwarz, Michael, primary, Erhard, Julian, additional, Vojdani, Vesal, additional, Saan, Simmo, additional, and Seidl, Helmut, additional
Published: 2023
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results