Travelled to:1 × China
1 × Spain
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:P.Hudak T.A.Anderson L.Petersen N.Glew J.Yallop D.Winograd-Cort E.Cheng Q.Li N.Gu Ehsan Totoni T.Shpeisman L.Kuper J.Vitek Leonard Truong R.Barik Chick Markley A.Fox
Talks about:arrow (3) haskel (2) compil (2) commut (2) causal (2) discoveri (1) research (1) quantifi (1) parallel (1) virtual (1)
Person: Hai Liu
DBLP: Liu:Hai
Contributed to:
2013
20122010
2009
2006
20132016
2017
2016Wrote 9 papers:
- IFL-2013-PetersenALG #haskell
- Measuring the Haskell Gap (LP, TAA, HL, NG), p. 61.
- PADL-2012-Winograd-CortLH
- Virtualizing Real-World Objects in FRP (DWC, HL, PH), pp. 227–241.
- PADL-2010-LiuH
- An Ode to Arrows (HL, PH), pp. 152–166.
- ICFP-2009-LiuCH #commutative #optimisation
- Causal commutative arrows and their optimization (HL, EC, PH), pp. 35–46.
- EDOC-2006-HaiLG #web #web service
- Quantifying Contexts for User-Centered Web Service Discovery (HL, QL, NG), pp. 399–404.
- Haskell-2013-LiuGPA #compilation #haskell #research
- The Intel labs Haskell research compiler (HL, NG, LP, TAA), pp. 105–116.
- Haskell-2016-YallopL #commutative #revisited
- Causal commutative arrows revisited (JY, HL), pp. 21–32.
- ECOOP-2017-AndersonLKTVS #domain-specific language
- Parallelizing Julia with a Non-Invasive DSL (TAA, HL, LK, ET, JV, TS), p. 29.
- PLDI-2016-TruongBTLMFS #compilation #named #network #performance #runtime
- Latte: a language, compiler, and runtime for elegant and efficient deep neural networks (LT, RB, ET, HL, CM, AF, TS), pp. 209–223.