Steve Revilak's Homepage

My name is Steve Revilak. I earned my PhD in Computer Science from UMass Boston in the Fall of 2011. My research advisor was Prof. Pat O'Neil. My dissertation, Precisely Serializable Snapshot Isolation is available below.

• Dissertation: pdf (src)
• Defense: pdf (src)
• Research Code: src (a modified InnoDB storage engine from MySQL 5.1.31)
• LaTeX templates.

Personal Info

• My personal web site.
• My resume.
• My contact info.

Notebooks

• Algorithmic Aspects of Molecular Biology (cs697, Fall 2006). pdf tgz
• Logical Foundations of Computer Science (cs720, Spring 2007). pdf tgz
• Distributed and Concurrent Systems (cs697b, Fall 2007). pdf tgz
• Data Mining (cs738, Spring 2008). pdf tgz
• Topics in Algorithm Theory and Design (cs724, Spring 2009). pdf tgz

Fun stuff

• Pool Table Viterbi algorithm.
• Table of html entity references.

Practical Stuff

• Emacs manual, reference card, FAQ.
• VI command mode, options, reference card, FAQ.
• GDB reference card. GDB is your friend. :)
• GNU manuals on-line, and on paper.
• BSD tutorials, including some good examples of IPC and socket programming.

Other Stuff

• A quick-and-dirty introduction to cvs.
• Cron in a large-scale build environment.