Publications

Workhops

Date Workshop Paper
Jul 2012 WTTM’12, Funchal Tracing Snapshot Isolation in Transactions
Feb 2012 WDTM’12, Lisbon DecentSTM - A fully decentralized STM algorithm
Sep 2011 WTTM’11, Rome Lifting the Barriers - Integration of Monitors into a DTM System
May 2011 EuroTM Workshop, Paris Proving Isolation Properties for Software Transactional Memory
Sep 2010 WTTM’10, Cambridge (MA) On Relaxing Memory Consistency for Transactional Memory
Sep 2010 IFL 2010, Alphen aan den Rijn Twilight in Haskell: STM with Safe I/O and Typed Conflict Management
May 2010 GI-Workshop, Bad Honnef Twilight in Haskell: STM with Safe I/O and Typed Conflict Management
May 2009 GI-Workshop, Bad Honnef Actions in the twilight: Eine Erweiterung für STM
Mar 2008 Uni Karlsruhe Basics of STM
Oct 2007 KPS’07, Timmendorfer Strand CPS Transformation of Monads (Rinso goes Random)