Manticore: A heterogeneous parallel language M Fluet, M Rainey, J Reppy, A Shaw, Y Xiao Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007 | 107 | 2007 |
L^ 3: a linear language with locations A Ahmed, M Fluet, G Morrisett Fundamenta Informaticae 77 (4), 397-449, 2007 | 85 | 2007 |
Implicitly threaded parallelism in Manticore M Fluet, M Rainey, J Reppy, A Shaw Journal of functional programming 20 (5-6), 537-576, 2010 | 71 | 2010 |
Implicitly-threaded parallelism in Manticore M Fluet, M Rainey, J Reppy, A Shaw Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 67 | 2008 |
Phantom types and subtyping M Fluet, R Pucella Journal of Functional Programming 16 (6), 751-791, 2006 | 66 | 2006 |
Transactional events K Donnelly, M Fluet ACM SIGPLAN Notices 41 (9), 124-135, 2006 | 65 | 2006 |
L3: A Linear Language with Locations G Morrisett, A Ahmed, M Fluet International Conference on Typed Lambda Calculi and Applications, 293-307, 2005 | 60 | 2005 |
Linear regions are all you need M Fluet, G Morrisett, A Ahmed European Symposium on Programming, 7-21, 2006 | 59 | 2006 |
A scheduling framework for general-purpose parallel languages M Fluet, M Rainey, J Reppy Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 51 | 2008 |
Transactional events K Donnelly, M Fluet ACM SIGPLAN Notices 41 (9), 124-135, 2006 | 46 | 2006 |
A step-indexed model of substructural state A Ahmed, M Fluet, G Morrisett Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005 | 44 | 2005 |
Compiling self-adjusting programs with continuations R Ley-Wild, M Fluet, UA Acar Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 43 | 2008 |
Garbage collection for multicore NUMA machines S Auhagen, L Bergstrom, M Fluet, J Reppy Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance …, 2011 | 42 | 2011 |
A cost semantics for self-adjusting computation R Ley-Wild, UA Acar, M Fluet ACM SIGPLAN Notices 44 (1), 186-199, 2009 | 42 | 2009 |
Contification using dominators M Fluet, S Weeks ACM SIGPLAN Notices 36 (10), 2-13, 2001 | 35 | 2001 |
Data-only flattening for nested data parallelism L Bergstrom, M Fluet, M Rainey, J Reppy, S Rosen, A Shaw Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013 | 34 | 2013 |
Status report: the manticore project M Fluet, N Ford, M Rainey, J Reppy, A Shaw, Y Xiao Proceedings of the 2007 workshop on Workshop on ML, 15-24, 2007 | 34 | 2007 |
Lazy tree splitting L Bergstrom, M Rainey, J Reppy, A Shaw, M Fluet Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 29 | 2010 |
Monadic regions M Fluet, G Morrisett Journal of Functional Programming 16 (4-5), 485-545, 2006 | 20 | 2006 |
Monadic regions M Fluet, G Morrisett ACM SIGPLAN Notices 39 (9), 103-114, 2004 | 18 | 2004 |