Подписаться
Matthew Fluet
Matthew Fluet
Rochester Institute of Technology
Подтвержден адрес электронной почты в домене cs.rit.edu - Главная страница
Название
Процитировано
Процитировано
Год
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
1132007
L^ 3: a linear language with locations
A Ahmed, M Fluet, G Morrisett
Fundamenta Informaticae 77 (4), 397-449, 2007
1102007
Linear regions are all you need
M Fluet, G Morrisett, A Ahmed
Programming Languages and Systems: 15th European Symposium on Programming …, 2006
932006
Implicitly threaded parallelism in Manticore
M Fluet, M Rainey, J Reppy, A Shaw
Journal of functional programming 20 (5-6), 537-576, 2010
892010
Transactional events
K Donnelly, M Fluet
ACM SIGPLAN Notices 41 (9), 124-135, 2006
712006
Phantom types and subtyping
M Fluet, R Pucella
Journal of Functional Programming 16 (6), 751-791, 2006
702006
L3: A Linear Language with Locations
G Morrisett, A Ahmed, M Fluet
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
702005
Implicitly-threaded parallelism in Manticore
M Fluet, M Rainey, J Reppy, A Shaw
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
692008
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
582008
A step-indexed model of substructural state
A Ahmed, M Fluet, G Morrisett
Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005
522005
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
472011
A cost semantics for self-adjusting computation
R Ley-Wild, UA Acar, M Fluet
ACM SIGPLAN Notices 44 (1), 186-199, 2009
472009
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
452013
Compiling self-adjusting programs with continuations
R Ley-Wild, M Fluet, UA Acar
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
442008
Contification using dominators
M Fluet, S Weeks
ACM SIGPLAN Notices 36 (10), 2-13, 2001
392001
Disentanglement in nested-parallel programs
S Westrick, R Yadav, M Fluet, UA Acar
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
362019
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
352007
Lazy tree splitting
L Bergstrom, M Rainey, J Reppy, A Shaw, M Fluet
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
302010
Hierarchical memory management for mutable state
A Guatto, S Westrick, R Raghunathan, U Acar, M Fluet
ACM SIGPLAN Notices 53 (1), 81-93, 2018
292018
Monadic regions
M Fluet, G Morrisett
Journal of Functional Programming 16 (4-5), 485-545, 2006
242006
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20