Andrei Popescu, Jaap Boender and Raja Nagarajan have now announced the second S-REPLS meeting to be held on Friday 20th November at Middlesex University, London. Proposals for contributed talks are currently being solicited. See here for more details.
The second meeting follows on from the very successful first S-REPLS meeting held in Cambridge earlier this year.
This Autumn I will be serving on the Programme Committee of the 5th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2016.
“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).
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.
The first South of England Regional Programming Languages Seminar (S-REPLS) will be held tomorrow in the Lee Hall at Wolfson College, Cambridge. Click here to read more.
Many thanks to Jaap Boender for inviting me to talk about Lem at Middlesex University on Friday 24th April.
“Lem: reusable engineering of real world semantics”, joint work with Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge and Peter Sewell”.
To appear at the International Conference on Functional Programming (ICFP) 2014.
“Certified complexity (CerCo)”, joint work with Roberto Amadio, Nicolas Ayache, Francois Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic Mulligan, Mauro Piccolo, Randy Pollack, Yann Regis-Gianas, Claudio Sacerdoti Coen, Ian Stark and Paolo Tranquilli.
To appear in the postproceedings of the third international workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2013.
“On the correctness of an optimising assembler”, joint work with Claudio Sacerdoti Coen, describing a formalisation and proof of correctness in Matita of an optimising assembler for the Intel MCS-51 8-bit microprocessor, part of the CerCo project.
To be presented at Certified Proof and Programs (CPP) 2012.