Proceedings of the 1st workshop on Modularity in systems software
ACM Digital Library