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

Duplo: A Framework for OCaml Post-Link Optimisation, N. Licker and T. M. Jones, IFCP 2020, to appear
Detecting Incorrect Build Rules, N. Licker and A. Rice, ICSE 2019, ACM SIGSOFT Distinguished Paper Award

Academic Stuff

2018-TBD: University of Cambridge, PhD
2017-2018: University of Cambridge, MPhil ACS, Distinction
2013-2016: Imperial College London, BEng Computing, First

Industry Stuff

2020: Jane Street, UK
2019: Apple, Cupertino, USA
2018: OCaml Labs, University of Cambridge, UK
2017: Palantir, London, UK
2017: Stripe, San Francisco, USA
2016: Facebook, Seattle, USA
2015: Facebook, New York, USA
2014: Google, Zurich, Switzerland

Talk Stuff

The new clang constant interpreter, 2019 LLVM Dev Meeting, San Jose

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

CRSID@cl.cam.ac.uk, 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.