Matthew Naylor
I'm a part-time teacher and researcher of computer science at the
University of York.
| CGO |
A module on Code Generation and Optimisation |
| LSA |
A module on Lexical and Syntax Analysis |
| SYAC |
I currently teach Systems Software and Compilers |
| The
Reduceron |
A graph-reduction processor implemented on FPGA |
| SmallCheck |
Haskell libraries for exhaustive testing of program properties |
| Multicore
FreeRTOS |
An extension of FreeRTOS to support multiple processors |
Contact: matthew.naylor@york.ac.uk;
CSE/214 YO10 5GH; 01904 325668.
|