Seguir
Hai Liu
Hai Liu
DFINITY Foundation
Dirección de correo verificada de dfinity.org - Página principal
Título
Citado por
Citado por
Año
Latte: a language, compiler, and runtime for elegant and efficient deep neural networks
L Truong, R Barik, E Totoni, H Liu, C Markley, A Fox, T Shpeisman
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
742016
Causal commutative arrows and their optimization
H Liu, E Cheng, P Hudak
ACM Sigplan Notices 44 (9), 35-46, 2009
632009
Plugging a space leak with an arrow
H Liu, P Hudak
Electronic Notes in Theoretical Computer Science 193, 29-45, 2007
592007
Reliability as an interdomain service
H Wang, YR Yang, PH Liu, J Wang, A Gerber, A Greenberg
ACM SIGCOMM Computer Communication Review 37 (4), 229-240, 2007
382007
Causal commutative arrows
H Liu, E Cheng, P Hudak
Journal of Functional Programming 21 (4-5), 467-496, 2011
272011
Parallelizing Julia with a Non-Invasive DSL
TA Anderson, H Liu, L Kuper, E Totoni, J Vitek, T Shpeisman
LIPIcs-Leibniz International Proceedings in Informatics 74, 2017
242017
The Intel labs Haskell research compiler
H Liu, N Glew, L Petersen, TA Anderson
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, 105-116, 2013
202013
Measuring the Haskell gap
L Petersen, TA Anderson, H Liu, N Glew
Proceedings of the 25th symposium on Implementation and Application of …, 2013
122013
Reliability as an interdomain service
J Wang, A Gerber, A Greenberg, HP Liu, H Wang, YR Yang
US Patent 8,422,362, 2013
92013
Virtualizing real-world objects in FRP
D Winograd-Cort, H Liu, P Hudak
International Symposium on Practical Aspects of Declarative Languages, 227-241, 2012
92012
Causal commutative arrows revisited.
J Yallop, H Liu
Haskell, 21-32, 2016
72016
An ode to arrows
H Liu, P Hudak
International Symposium on Practical Aspects of Declarative Languages, 152-166, 2010
72010
The Theory and Practice of Causal Commutative Arrows
H Liu
PhD thesis, Department of Computer Science, Yale University, 2011
52011
Reliability as an interdomain service
J Wang, A Gerber, A Greenberg, HP Liu, H Wang, YR Yang
US Patent 8,929,204, 2015
2015
Native offload of Haskell repa programs to integrated GPUs
H Liu, LE Day, N Glew, TA Anderson, R Barik
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance …, 2014
2014
Compress-and-conquer for optimal multicore computing
ZG Mou, H Liu, P Hudak
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of …, 2010
2010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–16