Xiao Jia

The best way to contact me is via email. As of 2020/01/20, I no longer use Gmail actively. Please run the following command to get my most recent email:

echo 'eGppYUBmYXN0bWFpbC5jb20K' | base64 --decode

You can also find me on DBLP, GitHub, and LinkedIn.

As of 2020/01/20, I'm no longer interested in maintaing a good-looking homepage. This page has mostly became a kitchen sink of links that are interesting to me. I recently randomly checked the list of links and removed the ones that are no longer available or not interesting to me anymore.

Links

Plan to throw one away

Mike Gordon's Hoare Logic lecture notes

kernel/timer.c design

Scalability! But at what COST?

I am an advocate of System Prevalence and I thought this page explains the idea very well.

C Preprocessor tricks, tips, and idioms

NIST/SEMATECH e-Handbook of Statistical Methods

The Lost Art of C Structure Packing

Systems Benchmarking Crimes

Scaling in the Linux Networking Stack

A talk in Chinese on scientific research in China

What's New in CPUs Since the 80s and How Does It Affect Programmers?

StackExchange Performance

Garbage collection and purity

Gerrit is still my favorite choice for code review

Queueing in the Linux Network Stack

Static Linking Considered Harmful

What Does Haskell Have to Do with C++?

The Case for Formal Verification (2013)

Modern Microprocessors - A 90 Minute Guide!

Sally Floyd: Questions

The Mezzo programming language

Ideas for a new Erlang

Conflict-free replicated data types

HOWTOs

Research

Programming

Software

Miscellaneous

Remove watermarks (e.g. DRAFT) in PDF files:

pdftk draft.pdf output uncompressed.pdf uncompress
less uncompressed.pdf          # check general structure
grep -a DRAFT uncompressed.pdf # check specific lines
cat uncompressed.pdf | sed 's/DRAFT//g' > without-draft.pdf