[CakeML] FMCAD 2014 Invited talk by Xavier Leroy: Compiler verification for fun and profit

Mike Gordon Mike.Gordon at cl.cam.ac.uk
Fri Oct 24 11:50:54 UTC 2014

Previous message: [CakeML] Fwd: Multiple Postdoc Positions on Formal Methods for Cyber Security
Next message: [CakeML] GCHQ event overview talks (CakeML and L3 alluded to)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/slides/FMCAD2014-Leroy.pdf

Previous message: [CakeML] Fwd: Multiple Postdoc Positions on Formal Methods for Cyber Security
Next message: [CakeML] GCHQ event overview talks (CakeML and L3 alluded to)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Users mailing list