Search

People
Projects
Publications
Research Support
IndiCS 2026

Light Dark Automatic

Ali Rasim Koçal

Latest

Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution)
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite