Proceedings of the 3rd workshop on Modularity in systems software
ACM Digital Library