Labs of the EPFL course "Foundations of Software" during year 2014