equal
deleted
inserted
replaced
969 10:20 -- 11:10 (chair: J.~Urban)\smallskip\\ |
969 10:20 -- 11:10 (chair: J.~Urban)\smallskip\\ |
970 S.~Blazy, D.~Demange, D.~Pichardie\\ |
970 S.~Blazy, D.~Demange, D.~Pichardie\\ |
971 Validating Dominator Trees for a Fast, Verified Dominance |
971 Validating Dominator Trees for a Fast, Verified Dominance |
972 Test\smallskip\\ |
972 Test\smallskip\\ |
973 A.~Lochbihler, A.~Maximova\\ |
973 A.~Lochbihler, A.~Maximova\\ |
974 Stream Fusion for Isabelle’s Code Generator (Rough |
974 Stream Fusion for Isabelle'{}s Code Generator (Rough |
975 Diamond)\\ |
975 Diamond)\\ |
976 \hline |
976 \hline |
977 \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\ |
977 \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\ |
978 \hline |
978 \hline |
979 11:30 -- 12:30 (chair: X.~Zhang)\smallskip\\ |
979 11:30 -- 12:30 (chair: X.~Zhang)\smallskip\\ |