Initial Commit
Merge branch 'master' into ioannis
Merge branch 'ioannis' of https://github.com/isj/sigmod into ioannis
file removal