Safe fusion of functional expressions

by Chin, Wei-Ngan
Published 2014

Towards an automated tupling strategy

by Chin, Wei-Ngan
Published 2014

Bounds inference method for vector-based memo-ization

by Chin, Wei-Ngan, Hagiya, Masami
Published 2014

Calculating sized types

by Chin, Wei-Ngan, Khoo, Siau-Cheng
Published 2013

Reexamination of 'optimization of array subscript range checks'

by Chin, Wei-Ngan, Goh, Eak-Khoon
Published 2014

Parallelization via context preservation

by Chin, Wei-Ngan, Takano, Akihiko, Hu, Zhenjiang
Published 2014

Satisfiability modulo heap-based programs

by LE, Quang Loc, SUN, Jun, CHIN, Wei-Ngan
Published 2016

A decidable fragment in separation logic with inductive predicates and arithmetic

by LE, Quang Loc, TATSUTA, Makoto, SUN, Jun, CHIN, Wei-Ngan
Published 2017