OLIVER ILIFFE

Computer Science Student @ Imperial

Me, on a boat!
Ferris the crab, the Rust mascot

I am currently a student at Imperial College London completing an MSc in "Advanced Computer Science". Previously, I graduated from King's College London with a BSc in Computer Science.

I am particularly interested in the tools we use to build systems that are resilient, secure and fast. I like quite a lot of things. Computer architecture, compilers, operating systems and programming languages (not necessarily in that order). This means, for example, I would be interested in both formalising an ISA and designing hardware to execute it.

If you want a more comprehensive list of skills + experience, consult my CV.

BLOG

I am always trying to get better at technical writing and hopefully share some interesting stuff while I do it. Each blog entry has a corresponding `.md` file in the same directory, if you prefer reading plaintext.

Oli's Little Guide to Ruby HDL

March 2, 2025

A swift and easy guide to Ruby, an old relational HDL for proving the correctness of circuits.

Really Fast Decision Trees

February 10, 2025

I describe my experience making a machine learning classifier for acute kidney injury (AKI) in pure C. It's interesting because I use a cool technique to compress the data.

Oli's Little Guide to CXL

February 10, 2025

How CXL 1.0 and related concepts work.

Making a Hashtable: Testing

July 18, 2024

I work through various known hashtable designs, and also a new one, hoping to see some performance increase.

Making a Hashtable: Hashtable Math

June 25, 2024

I work through a derivation for the average number of probes in a hashtable, then try and verify it through real data.

Making a Hashtable: SIMD Probing

June 19, 2024

I make a hashtable with SIMD probing for a drag race.

Enumerating Arbitrary Tree Types in Logarithmic Time

June 1, 2024

Some of the work I did for a summer research project with one of my very favourite professors. It's quite rare that you get to do 'algorithms research'. I was looking at how we can quickly associate an integer with a specific tree in a nice, ordered way. WARNING: this is one of my first articles I wrote on this website and hence, it's a pretty tough read. Proceed with caution.

Item-scoped Unsafe Code

November 9, 2023

I discuss a new idea for safety that I call "item-scoped unsafe code". The idea is to try and get as few things as possible be 'unsafe' and hopefully have everything that is be verifiably safe at runtime.

CONTACT

Email (prefer) oli.iliffe at gmail.com
Another Email oli_iliffe at hotmail.com