Compiler based polling-synchronisation detection

Master Thesis