Gaétan Hains

Latest

• Automated Generation of BSP Automata
• Replicated Synchronization for Imperative BSP Programs