Announcement_17
Just accepted: Our paper Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities will appear at TACAS next year. 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 next year. Ali will be heading to Turin to present the paper. Make sure to say hello to him!