Travelled to:1 × Canada
1 × Germany
1 × Spain
1 × Sweden
1 × The Netherlands
2 × France
6 × USA
Collaborated with:Z.Hu M.Takeichi T.Ugawa Y.Takano S.Sato T.Yuasa H.Kawabata M.Shioda K.Morikawa Y.Oyama Y.Kaneko T.Morimoto A.Takano
Talks about:parallel (3) garbag (3) calcul (3) increment (2) function (2) multipl (2) languag (2) compact (2) collect (2) search (2)
Person: Hideya Iwasaki
DBLP: Iwasaki:Hideya
Contributed to:
2015
2014
2013
2011
201020102009
2007
2002
1999
1998
19971996
19962016Wrote 15 papers:
- SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics
- Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
- GPCE-2014-ShiodaIS #domain-specific language #embedded #library #metaprogramming #named
- LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
- ISMM-2013-MorikawaUI #adaptation #garbage collection #lisp
- Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector (KM, TU, HI), pp. 15–26.
- PLDI-2011-SatoI #automation #matrix #parallel
- Automatic parallelization via matrix multiplication (SS, HI), pp. 470–479.
- ILC-2010-UgawaIY #garbage collection #incremental
- Starvation-free heap size for replication-based incremental compacting garbage collection (TU, HI, TY), pp. 43–52.
- ISMM-2010-UgawaIY #embedded #garbage collection #incremental
- Improved replication-based incremental garbage collection for embedded systems (TU, HI, TY), pp. 73–82.
- SAC-2009-OyamaKI #haskell #monitoring #named #virtual machine
- Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
- PADL-2007-MorimotoTI #performance
- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning (TM, YT, HI), pp. 65–79.
- ESOP-2002-HuIT #cumulative #parallel
- An Accumulative Parallel Skeleton for All (ZH, HI, MT), pp. 83–97.
- PEPM-1999-HuTI #named #parallel #performance #source code
- Diffusion: Calculating Efficient Parallel Programs (ZH, MT, HI), pp. 85–94.
- FLOPS-1998-IwasakiHT #recursion #towards
- Towards Manipulation of Mutually Recursive Functions (HI, ZH, MT), pp. 61–79.
- ICFP-1997-HuITT #multi #traversal
- Tupling Calculation Eliminates Multiple Data Traversals (ZH, HI, MT, AT), pp. 164–175.
- ICFP-1996-HuIT #morphism #recursion
- Deriving Structural Hylomorphisms From Recursive Definitions (ZH, HI, MT), pp. 73–82.
- PLILP-1996-HuIT
- Cheap Tupling in Calculational Form (ZH, HI, MT), pp. 471–472.
- ESOP-2016-KawabataI #adaptation #approach #float #lazy evaluation #refinement
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (HK, HI), pp. 390–418.