Ali Rasim Kocal

Orcid: 0009-0004-9019-0852

According to our database¹, Ali Rasim Kocal authored at least 8 papers between 2025 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version).

[BibT_eX]

[DOI]

CoRR, February, 2026

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities.

[BibT_eX]

[DOI]

Dataset, January, 2026

Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Goblint in SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Goblint in SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Goblint in SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Goblint in SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ali Rasim Kocal

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...