Blog

• Feb 20, 2020

  TLS in Linux/x86

  Tags: linux tls fsgs
  Various notes on TLS in Linux
• Feb 20, 2020

  Stack protection in GCC/Linux

  Tags: linux gcc stack security
  Canaries and stack smashing detection in GCC/Linux
• Feb 20, 2020

  Linux ld library search order

  Tags: linux ld linking library
  Library search order for static linking
• Jun 4, 2019

  Setting up Jekyll

  Tags: jekyll liquid tags
  Notes on setting up a Jekyll-based website, etc.
• Nov 19, 2018

  Libdmtcp initialization

  Tags: dmtcp libdmtcp
  Regarding the initialization sequence in libdmtcp
• Jun 20, 2018

  Notes on the Lustre architecture

  Tags: lustre
  Dev notes on the architecture of Lustre and its software components
• May 10, 2018

  Setting up Lustre in a virtual cluster

  Tags: lustre
  Notes on building, configuring, and setting up a virtual cluster for Lustre.
• Jul 14, 2017

  DMTCP File handling background

  Tags: dmtcp checkpointing
  DMTCP File handling background
• Jul 14, 2017

  General tips for debugging/profiling/benchmarking

  Tags: debugging profiling benchmarking
  General tips for debugging/profiling/benchmarking
• Jul 14, 2017

  Verifying DMTCP's Jalloc Implemenation

  Tags: dmtcp formal tla+
  Verifying DMTCP's Jalloc Implemenation
• Dec 22, 2013

  Notes on OpenGL

  Tags: opengl dmtcp
  Some dev notes on OpenGL
• Dec 18, 2013

  Quake-3 game engine

  Tags: quake3 opengl ioquake
  Some dev notes on configuration, architecture, etc. of the Quake3 engine
• Dec 13, 2013

  Apache configurations

  Tags: notes apache bash
  Some standard Apache FAQs
• May 14, 2013

  Tap/Tun Drivers

  Tags: virtualization tunneling tap/tun
  About the tap/tun drivers
• Apr 18, 2013

  Introduction to Logic

  Tags: logic formal
  Notes on formal logic
• Apr 16, 2013

  Polygon Triangulation

  Tags: computational geometry polygon triangulation
  Notes on polygon triangulation
• Apr 10, 2013

  Gnome Terminal Colors

  Tags: gnome terminal color tab
  Making gnome-terminal more easy on the eye
• Apr 6, 2013

  Graphviz

  Tags: tools graph draw
  Graph drawing, etc.
• Apr 6, 2013

  Wsclock

  Tags: readings memory management 1981 sigops carr hennessey
  Review of the paper
• Apr 6, 2013

  Software-managed address translation

  Tags: readings memory management 1997 hpca jacob
  
• Apr 6, 2013

  Mondrian memory protection

  Tags: readings memory management 2002 asplos mit
  
• Apr 6, 2013

  MIVirtMem

  Tags: readings memory management 1987 sigarch rashid
  Review of the paper
• Apr 6, 2013

  SSH

  Tags: notes ssh public key bash keygen
  Copy your ssh public key to a server
• Apr 6, 2013

  KVM

  Tags: notes virtualization kvm qemu dmtcp
  Checkpointing KVM
• Mar 23, 2013

  Theory of Computation

  Tags: logic formal complexity computation
  Notes on theory of computation
• Mar 1, 2013

  Systems readings

  Tags: readings systems
  List of readings
• Mar 1, 2013

  Linux Symposium papers

  Tags: readings systems linux symposium ottawa ols
  List of interesting papers from the Ottawa Linux Symposium through the years
• Feb 5, 2013

  PyMOL

  Tags: pymol opengl
  Some dev notes on configuration, architecture, etc. of the pymol