Third S-REPLS meeting a success

The third S-REPLS meeting at the University of Kent at Canterbury was a success!  We thank Scott and Mark for organising the event, and the invited and contributed speakers for giving very interesting talks.

We look forward to the next S-REPLS meeting to be held in mid-late 2016 at Imperial College, organised by Ally Donaldson.

Second S-REPLS meeting a success

The second S-REPLS meeting at Middlesex University was a success!  We thank Andrei, Jaap, and Raja, for organising, the invited and contributed speakers for giving very interesting talks, and the OCamlLabs initiative for agreeing to sponsor the event once more.

We look forward to the next S-REPLS meeting to be held in early 2016 at the University of Kent at Canterbury, organised by Mark Batty and Scott Owens.

New paper

“An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors”, joint work with Kathryn Gray, Gabriel Kerneis, Christopher Pulte, Susmit Sarkar and Peter Sewell.

To appear at the 48th Annual IEEE/ACM International Symposium on Microarchitecture, 2015 (MICRO 48).

First S-REPLS meeting a success!

Yesterday’s inaugural S-REPLS meeting seems to have been a complete success.  Many thanks to all of our speakers, both invited and volunteered, and to everybody else who attended and made the day what it was!

If you wish to sign up to the S-REPLS mailing list, where all information about future events will be posted, please click HERE.