Gabriele Keller

Citado por

	Total	Desde 2019
Citas	3215	907
Índice h	27	16
Índice i10	46	22

240

120

180

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202422 20 19 17 18 24 37 51 104 107 117 144 203 189 202 194 206 221 210 164 180 166 157 160 146 98

Acceso público

Ver todo

11 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Manuel M T ChakravartyTweag I/O & IOHKDirección de correo verificada de justtesting.org
Simon Peyton JonesEpic GamesDirección de correo verificada de epicgames.com
Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
Ben LippmeierGhost LocomotionDirección de correo verificada de ouroborus.net
Christine RizkallahSenior Lecturer at the University of MelbourneDirección de correo verificada de unimelb.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
Simon MarlowFacebookDirección de correo verificada de fb.com
Gernot HeiserProfessor of Computer Science, University of New South WalesDirección de correo verificada de unsw.edu.au
Vinod GroverSr Distinguished Engineer, NVIDIA CorporationDirección de correo verificada de nvidia.com
Yutaka NagashimaHuawei Technologies R&D (UK)Dirección de correo verificada de huawei.com
Don StewartUniversity of New South WalesDirección de correo verificada de cse.unsw.edu.au
Christopher Barner-KowollikQueensland University of Technology / Karlsruhe Institute of TechnologyDirección de correo verificada de qut.edu.au
Peter ChubbUNSW, SydneyDirección de correo verificada de unsw.edu.au
C WijenayakeUniversity of QueenslandDirección de correo verificada de uq.edu.au
Aleksandar IgnjatovicUniversity of New South WalesDirección de correo verificada de cse.unsw.edu.au
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
Sean SeefriedResearch Engineer, NICTADirección de correo verificada de nicta.com.au

Seguir

Gabriele Keller

Utrecht University

Dirección de correo verificada de uu.nl - Página principal

Programming Languages Functional Programming Parallel & High Performance Computing Type Systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Accelerating Haskell array codes with multicore GPUs MMT Chakravarty, G Keller, S Lee, TL McDonell, V Grover Proceedings of the sixth workshop on Declarative aspects of multicore …, 2011	344	2011
Data Parallel Haskell: a status report MMT Chakravarty, R Leshchinskiy, S Peyton Jones, G Keller, S Marlow Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007	293	2007
Associated type synonyms MMT Chakravarty, G Keller, SP Jones ACM SIGPLAN Notices 40 (9), 241-253, 2005	280	2005
Associated types with class MMT Chakravarty, G Keller, SP Jones, S Marlow Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	261	2005
Regular, shape-polymorphic, parallel arrays in Haskell G Keller, MMT Chakravarty, R Leshchinskiy, S Peyton Jones, B Lippmeier ACM Sigplan Notices 45 (9), 261-272, 2010	200	2010
Harnessing the multicores: Nested data parallelism in Haskell S Peyton Jones, R Leshchinskiy, G Keller, MMT Chakravarty IARCS Annual Conference on Foundations of Software Technology and …, 2008	191	2008
Optimising purely functional GPU programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier ACM SIGPLAN Notices 48 (9), 49-60, 2013	147	2013
Cogent: Verifying high-assurance file system implementations S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ... ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016	134	2016
Nepal—nested data parallelism in Haskell MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel Euro-Par 2001 Parallel Processing: 7th International Euro-Par Conference …, 2001	109	2001
A parallelised high performance Monte Carlo simulation approach for complex polymerisation kinetics H Chaffey‐Millar, D Stewart, MMT Chakravarty, G Keller, ... Macromolecular Theory and Simulations 16 (6), 575-592, 2007	93	2007
Modular type classes D Dreyer, R Harper, MMT Chakravarty, G Keller Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007	77	2007
More types for nested data parallel programming MMT Chakravarty, G Keller ACM SIGPLAN Notices 35 (9), 94-105, 2000	65	2000
A functional perspective on SSA optimisation algorithms MMT Chakravarty, G Keller, P Zadarnowski Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004	58	2004
The risks and benefits of teaching purely functional programming in first year MMT Chakravarty, G Keller Journal of Functional Programming 14 (1), 113-123, 2004	54	2004
GPU kernels as data-parallel array computations in Haskell S Lee, MMT Chakravarty, V Grover, G Keller Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted …, 2009	51	2009
Optimising embedded dsls using template haskell S Seefried, M Chakravarty, G Keller International Conference on Generative Programming and Component Engineering …, 2004	51	2004
Guiding parallel array fusion with indexed types B Lippmeier, M Chakravarty, G Keller, S Peyton Jones Proceedings of the 2012 Haskell Symposium, 25-36, 2012	46	2012
Flattening trees G Keller, MMT Chakravarty Euro-Par’98 Parallel Processing: 4th International Euro-Par Conference …, 1998	44	1998
Functional array fusion MMT Chakravarty, G Keller Proceedings of the Sixth ACM SIGPLAN International Conference on Functional …, 2001	42	2001
Higher order flattening R Leshchinskiy, MMT Chakravarty, G Keller International Conference on Computational Science, 920-928, 2006	38	2006

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores