| Imperative self-adjusting computation UA Acar, A Ahmed, M Blume Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 107 | 2008 |
| An equivalence-preserving CPS translation via multi-language semantics A Ahmed, M Blume Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011 | 95 | 2011 |
| Typed closure conversion preserves observational equivalence A Ahmed, M Blume Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 95 | 2008 |
| Contracts as pairs of projections RB Findler, M Blume International Symposium on Functional and Logic Programming, 226-241, 2006 | 93 | 2006 |
| An experimental analysis of self-adjusting computation UA Acar, GE Blelloch, M Blume, R Harper, K Tangwongsan ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (1), 1-53, 2009 | 92 | 2009 |
| No-longer-foreign: Teaching an ML compiler to speak C “natively” M Blume Electronic Notes in Theoretical Computer Science 59 (1), 36-52, 2001 | 90 | 2001 |
| Hierarchical modularity M Blume, AW Appel ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 813-847, 1999 | 90 | 1999 |
| Taming the IXP network processor L George, M Blume ACM SIGPLAN Notices 38 (5), 26-37, 2003 | 80 | 2003 |
| Sound and complete models of contracts M Blume, D McAllester Journal of Functional Programming 16 (4-5), 375-414, 2006 | 73 | 2006 |
| An experimental analysis of self-adjusting computation UA Acar, GE Blelloch, M Blume, K Tangwongsan Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006 | 59 | 2006 |
| A library for self-adjusting computation U Acar, G Blelloch, M Blume, R Harper, K Tangwongsan Electronic Notes in Theoretical Computer Science 148 (2), 127-154, 2006 | 44 | 2006 |
| Extensible programming with first-class cases M Blume, UA Acar, W Chae Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006 | 42 | 2006 |
| Lambda-splitting: A higher-order approach to cross-module optimizations M Blume, AW Appel Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997 | 35 | 1997 |
| Exception handlers as extensible cases M Blume, UA Acar, W Chae Asian Symposium on Programming Languages and Systems, 273-289, 2008 | 23 | 2008 |
| An investigation of contracts as projections RB Findler, M Blume, M Felleisen University of Chicago Technical Report, TR-2004-02, 2004 | 21 | 2004 |
| Dependency analysis for Standard ML M Blume ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 790-812, 1999 | 21 | 1999 |
| A sound (and complete) model of contracts M Blume, D McAllester ACM SIGPLAN Notices 39 (9), 189-200, 2004 | 20 | 2004 |
| Hierarchical modularity and intermodule optimization M Blume Princeton University, 1997 | 19 | 1997 |
| Building a family of compilers W Chae, M Blume Applied Software Product Line Engineering, 223-252, 2009 | 18 | 2009 |
| A consistent semantics of self-adjusting computation UA Acar, M Blume, J Donham Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 15 | 2007 |
