Alive2 is a practical oracle for determining whether a transformation on LLVM IR is a refinement -- that is, whether it is valid under the rules for LLVM optimizations.
-
05Jun
-
06Jun
NOTE THE UNUSUAL TIME FOR THIS SEMINAR
-
13Jun
Abstract not available
-
17Jun
Abstract not available
-
19Jun
=== Hybrid talk ===
Join Zoom Meeting
https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8HbY.1Meeting ID: 898 5609 1954
Passcode: ITPtalk -
20Jun
Abstract not available
