Proceedings of the 1st workshop on Modularity in systems software