Work
I’m a PhD student on the theoretical side of computer science, under the supervision of Graham Hutton at the Functional Programming Laboratory in the School of Computer Science, University of Nottingham.
My research topic is the formalisation of software transactional memory, though I’m also interested in leveraging dependently-typed programming languages as a vehicle for proofs.
Publications
- Compiling Concurrency Correctly: Cutting Out the Middle Man
Liyang HU and Graham Hutton, 2009. - Towards a Verified Implementation of Software Transactional Memory
Liyang HU and Graham Hutton, 2008.
![[Valid XHTML 1.0 Strict]](rsc/valid-xhtml10.png "Valid XHTML 1.0 Strict")
![[Valid CSS 3]](rsc/valid-css.png "Valid CSS 3")
![[Creative Commons License]](rsc/by-nc-sa.png "Licensed under Creative Commons Attribution-Noncommercial-Share Alike 3.0")