Blog Posts

• 30 Sep 2015 » Understanding Transactions in Rails
• 10 May 2015 » SAT solving puzzles
• 20 Apr 2015 » Templates Over Predicate Abstraction
• 08 Apr 2015 » On Hoare Logic
• 02 Apr 2015 » Underapprox Algorithm Illustrations
• 30 Mar 2015 » Extending SMT-based approach to RelParams and ParamRels
• 17 Mar 2015 » Combining Unification with SMT
• 22 Feb 2015 » Note to Self - Simple Solutions
• 19 Feb 2015 » Colloq - Taming Relaxed Memory Consistency
• 21 Dec 2014 » Fb.markdown
• 07 Dec 2014 » MPG project
• 30 Nov 2014 » Weak Memory Models
• 28 Nov 2014 » Paper Review
• 02 Nov 2014 » Paper Review - 6
• 20 Oct 2014 » Paper Review - LVars
• 20 Oct 2014 » Deterministic Parallelism with Relational Monad
• 10 Oct 2014 » Paper Review - CALM
• 30 Sep 2014 » High Availability
• 29 Sep 2014 » Paper Review - 4
• 23 Sep 2014 » Paper Review - 3
• 23 Sep 2014 » Isolation in Distributed Transactions
• 20 Sep 2014 » Paper Review - 2
• 15 Sep 2014 » Paper Review - 1
• 09 Sep 2014 » CAP Theorem and Related
• 30 May 2014 » Broom Type System - Related Work
• 30 May 2014 » Region Type System - Motivation and Related Work
• 09 Apr 2014 » Coq Basics