Registered user since Tue 17 Feb 2015

Name: Michael Bauer

Affiliation: NVIDIA Research

PLDI 2015 Activities

• Author of Verification of Producer-Consumer Synchronization in GPU Programs within the Research Papers-track in PLDI 2015
• Show activities from other conferences