Announcement_18
Just accepted: Our paper Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities will appear at TACAS 2026. Ali will be heading to Turin to present the paper. Make sure to say hello to him!
Just accepted: Our paper Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities will appear at TACAS 2026. Ali will be heading to Turin to present the paper. Make sure to say hello to him!