Matthew Fluet

Citirano

	Sve	Od 2020.
Citati	1363	316
H-indeks	21	10
i10-indeks	28	10

100

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 5 15 24 44 31 65 61 83 74 76 80 77 61 85 63 70 91 57 58 65 56 77 1

Javni pristup

Prikaži sve

6 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

John ReppyProfessor of Computer Science, University of ChicagoPotvrđena adresa e-pošte na cs.uchicago.edu
Mike RaineyCarnegie Mellon UniversityPotvrđena adresa e-pošte na mike-rainey.site
Greg MorrisettDean and Professor, Cornell UniversityPotvrđena adresa e-pošte na cornell.edu
Umut A. AcarCarnegie Mellon University, Department of Computer SciencePotvrđena adresa e-pošte na cs.cmu.edu
Lars BergstromGooglePotvrđena adresa e-pošte na lars.com
Amal AhmedNortheastern UniversityPotvrđena adresa e-pošte na ccs.neu.edu
Sam WestrickNew York UniversityPotvrđena adresa e-pošte na nyu.edu
Matthew LeFacebook AI ResearchPotvrđena adresa e-pošte na fb.com
Kevin DonnellyGoogle Inc.Potvrđena adresa e-pošte na google.com
Arthur BenjaminProfessor of Mathematics, Harvey Mudd CollegePotvrđena adresa e-pošte na hmc.edu
Guy BlellochProfessor of Computer Science, Carnegie Mellon UniversityPotvrđena adresa e-pošte na cs.cmu.edu
Rohan YadavStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
Suresh JagannathanSamuel D. Conte Professor of Computer Science, Purdue UniversityPotvrđena adresa e-pošte na cs.purdue.edu
Stefan K. MullerIllinois Institute of TechnologyPotvrđena adresa e-pošte na iit.edu
Daniel C. WangAmazonPotvrđena adresa e-pošte na amazon.com
Edward AmsdenRochester Institute of TechnologyPotvrđena adresa e-pošte na rit.edu

Prati

Matthew Fluet

Rochester Institute of Technology

Potvrđena adresa e-pošte na cs.rit.edu - Početna stranica

functional programming compiler construction program analysis type systems parallelism and concurrency


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	113	2007
L^ 3: a linear language with locations A Ahmed, M Fluet, G Morrisett Fundamenta Informaticae 77 (4), 397-449, 2007	110	2007
Linear regions are all you need M Fluet, G Morrisett, A Ahmed Programming Languages and Systems: 15th European Symposium on Programming …, 2006	93	2006
Implicitly threaded parallelism in Manticore M Fluet, M Rainey, J Reppy, A Shaw Journal of functional programming 20 (5-6), 537-576, 2010	89	2010
Transactional events K Donnelly, M Fluet ACM SIGPLAN Notices 41 (9), 124-135, 2006	71	2006
Phantom types and subtyping M Fluet, R Pucella Journal of Functional Programming 16 (6), 751-791, 2006	70	2006
L³: A Linear Language with Locations G Morrisett, A Ahmed, M Fluet Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005	70	2005
Implicitly-threaded parallelism in Manticore M Fluet, M Rainey, J Reppy, A Shaw Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	69	2008
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	58	2008
A step-indexed model of substructural state A Ahmed, M Fluet, G Morrisett Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005	52	2005
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	47	2011
A cost semantics for self-adjusting computation R Ley-Wild, UA Acar, M Fluet ACM SIGPLAN Notices 44 (1), 186-199, 2009	47	2009
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	45	2013
Compiling self-adjusting programs with continuations R Ley-Wild, M Fluet, UA Acar Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	44	2008
Contification using dominators M Fluet, S Weeks ACM SIGPLAN Notices 36 (10), 2-13, 2001	39	2001
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	36	2019
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	35	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	30	2010
Hierarchical memory management for mutable state A Guatto, S Westrick, R Raghunathan, U Acar, M Fluet ACM SIGPLAN Notices 53 (1), 81-93, 2018	29	2018
Monadic regions M Fluet, G Morrisett Journal of Functional Programming 16 (4-5), 485-545, 2006	24	2006

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori