Currently I am a PhD student working on compiler and runtime support for software transactional memory. More precisely, I am researching new techniques using static analysis, based on Separation Logic, to detect execution anomalies when programs are executed under relaxed isolation levels.

• Unifying Memory and Database Transactions
  2 Dec 2009 ; Computer Systems