Updated visiting scholar status, added EMSOFT 2014 and EuroSys 2015 PC membership, added CyPhy 2014 paper