Archives

July 2016

• Welcome!

February 2015

• Steps of learning Monad

March 2014

• Anticipating Invariant

June 2013

• DEF CON CTF Qualifier 2013 OMGACM 4 Writeup
• Memory Barriers: a Hardware View for Software Hackers

May 2013

• Scalable Event Multiplexing: epoll vs. kqueue
• Pitfalls of Object Oriented Programming
• Fast and accurate long-read alignment with Burrows–Wheeler transform @ BIOINFORMATICS Vol. 26 no. 5 2010
• Production-Run Software Failure Diagnosis via Hardware Performance Counters @ ASPLOS'13
• All about Eve: Execute-Verify Replication for Multi-Core Servers @ OSDI'12
• Myth: Eric Brewer on Why Banks are BASE Not ACID - Availability Is Revenue

April 2013

• Consistency Models Explained Briefly
• Parallel Merge Sort
• Start Blogging Now