Institute’s Poster, 2014

Download the Poster – Research Institute presented at the third ACE-CSR/RI Conference, December 16th 2014

JSCert Project at POPL14

Imperial College London presented their paper “A Trusted Mechanised JavaSript Specification” on the JSCert project at the 41st Principles of Programming Languages Conference in San Diego. The full version of the paper and the source code of the project are available from the JSCert website. A video of the talk given at the conference will be… Read more »

Delicious Twitter Digg this StumbleUpon Facebook