Seminars

Abstract not available

Abstract to be confirmed

Link to join virtually: https://cam-ac-uk.zoom.us/j/87421957265

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.

NOTE THE UNUSUAL TIME FOR THIS SEMINAR

Abstract not available

Abstract not available

=== Hybrid talk ===

Join Zoom Meeting
https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8HbY.1

Meeting ID: 898 5609 1954
Passcode: ITPtalk

Abstract not available