| Authors: |
Watson, Robert N.M.1, robert.watson@cl.cam.ac.uk, Baldwin, John2, john@araratriver.co, Chisnall, David1, David.Chisnall@cl.cam.ac.uk, Chen, Tony3, tonychen@microsoft.com, Clarke, Jessica4, jessica.clarke@cl.cam.ac.uk, Davis, Brooks5, brooks.davis@sri.com, Filardo, Nathaniel1, nwf20@cam.ac.uk, Gutstein, Brett1, brett@gutste.in, Jenkinson, Graeme6, graeme@capabilitieslimited.co.uk, Laurie, Ben7, benl@google.com, Mazzinghi, Alfredo4, am2419@cam.ac.uk, Moore, Simon4, Simon.Moore@cl.cam.ac.uk, Neumann, Peter G.5, neumann@csl.sri.com, Okhravi, Hamed8, hamed.okhravi@ll.mit.edu, Richardson, Alex7, alexrichardson@google.com, Rebert, Alex7, arebert@google.com, Sewell, Peter4, Peter.Sewell@cl.cam.ac.uk, Tratt, Laurence9, laurie@tratt.net, Vijayaraghavan, Murali7, muralivi@google.com, Vincent, Hugo10, hugo.vincent@arm.com |
