Blogs / Personal blogs

Peter Sewell

cl.cam.ac.uk/~pes20

This is in collaboration with many academic colleagues in Cambridge, Edinburgh, Aarhus, and elsewhere, and industry colleagues in Arm, Google, IBM, RISC-V International, and elsewhere. REMS (Rigorous Engineering for Mainstream Systems) was originally funded by the eponymous EPSRC REMS Programme Grant , with Imperial…

Popular posts

1

Total points

192

HN comments

106

Rank

#13,185 personal

Visit cl.cam.ac.uk/~pes20 → On Hacker News Jun 2015 – Jun 2015

Software Engineering 1