The head of the laboratory Sergei Kuznetsov presented an invited talk at the conference on Technologies of Machine Learning 2018
The head of the laboratory Sergei Kuznetsov presented an invited talk at the conference on Technologies of Machine Learning 2018
At the ISSA laboratory seminar Steve Zdancewic gave a talk entitled: "Vellvm - Verifying the LLVM"
Prof. Steve Zdancewic, University of Pennsylvania