Nandor Licker

I am a second year PhD student in the Computer Architecture group, under the supervision of Dr. Timothy M. Jones. I research optimisations applied to low-level IRs. My work is centred around Duplo, a framework for OCaml post-link optimisations. Duplo introduces a low-level intermediate representation (LLIR) to represent, analyse and transform programs originating from C and OCaml sources. I am interested in formally specifying the semantics of LLIR and building points-to analyses to automatically reduce the FFI overhead.

Published Stuff

Academic Stuff

Industry Stuff

Talk Stuff

Supervision Stuff

  • IA Digital Electronics 1 2 3
  • IB Computer Design 1 2 3 4 5
  • IB Semantics 1 2 3
  • IB Compiler Construction 1 2 3 4
  • IB Programming in C and C++ 1 2 3
  • IB Concepts in Programming Languages 1 2

Contact Stuff, where the CRSID can be found here.

Free Time Stuff

I like building computers, playing around with graphics, and listening to old records. I do not like, nor use, social media.