MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Xinyu Niu

Alumni

www
dblp

Publications

2016

Hao Zhou, Xinyu Niu, Junqi Yuan, Lingli Wang, Wayne Luk: Connect On the Fly: Enhancing and Prototyping of Cycle-Reconfigurable Modules. FPL 2016 : 1 - 8.

Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk: EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits. FPL 2016 : 1 - 4.

2015

Junyi Xie, Xinyu Niu, Andy K.S. Lau, Kevin K Tsia, Haden K.H. So: Accelerated cell imaging and classification on FPGAs for quantitative-phase asymmetric-detection time-stretch optical microscopy. FPT 2015 : 1 - 8.

2012

Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi, Wayne Luk: Session Types: Towards safe and fast reconfigurable programming. SIGARCH CAN : 22 - 27.