# HG changeset patch # User Christian Urban # Date 1463568659 -3600 # Node ID e53441994412fdda5dbf8307b35945393b338d8b # Parent 7aff28d7d3e3b0d2c1915d3dfd27b0603abf90e5 added posix diff -r 7aff28d7d3e3 -r e53441994412 Publications/posix.pdf Binary file Publications/posix.pdf has changed diff -r 7aff28d7d3e3 -r e53441994412 msc-projects-15.html --- a/msc-projects-15.html Mon May 09 11:45:12 2016 +0100 +++ b/msc-projects-15.html Wed May 18 11:50:59 2016 +0100 @@ -601,6 +601,8 @@ Mirage OS
  • Any kind of applied hacking, for example the Arduino-based keylogger described here +
  • Anything related to code books, like this + one

    @@ -620,7 +622,7 @@

    - Last modified: Sat Apr 16 12:48:58 BST 2016 + Last modified: Mon May 16 11:27:14 BST 2016 [Validate this page.] diff -r 7aff28d7d3e3 -r e53441994412 publications.html --- a/publications.html Mon May 09 11:45:12 2016 +0100 +++ b/publications.html Wed May 18 11:50:59 2016 +0100 @@ -90,6 +90,7 @@

    POSIX Lexing with Derivatives of Regular Expressions (with Ausaf and Dyckhoff) Accepted at ITP 2016. + [pdf] @@ -518,7 +519,7 @@

    - Last modified: Mon May 9 11:43:46 BST 2016 + Last modified: Wed May 18 11:50:47 BST 2016 [Validate this page.]