School of Computing

Jun 15
16:00 - 17:00
PLAS: Radu Grigore
PLAS Group Seminar
Fast Runtime Verification via Machine Learning

In this talk, I will explain why runtime verification is cool, why it should be fast(er), and why I believe machine learning can make it so. Then I'll talk about first steps towards this goal.

[This talk is based on an EPSRC First Grant (Fast Runtime Verification via Machine Learning) and a CONCUR2018 paper (Selective Monitoring). It's also a rehearsal for talks I'll give elsewhere, so feedback will be most welcome.]

Location

SW101,
Cornwallis South West,
University of Kent,
Canterbury,
Kent,
CT2 7NF
United Kingdom
Map

Details

Contact: O.Chitil
E: oc@kent.ac.uk
School of Computing

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015