Imperial College London
Professor Wayne Luk

ProfessorWayneLuk

Faculty of Engineering, Department of Computing

Professor of Computer Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8313w.luk Website

 
 
//

Location

 

434Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Ng:2012:10.1145/2460216.2460221,
author = {Ng, N and Yoshida, N and Niu, XY and Tsoi, KH and Luk, W},
doi = {10.1145/2460216.2460221},
journal = {ACM SIGARCH Computer Architecture News},
pages = {22--22},
title = {Session types: towards safe and fast reconfigurable programming},
url = {http://dx.doi.org/10.1145/2460216.2460221},
volume = {40},
year = {2012}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - This paper introduces a new programming framework based on the theory of session types for safe, recongurable parallel designs.We apply the session type theory to C and Java programming languages and demonstrate that the sessionbased languages can offer a clear and tractable framework to describe communications between parallel components and guarantee communication-safety and deadlock-freedom by compile-time type checking.Many representative communication topologies such as a ring or scatter-gather can be programmed and verified in session-based programming languages. Case studies involving N-body simulation and K-means clustering are used to illustrate the session-based programming style and to demonstrate that the session-based languages perform competitively against MPI counterparts in an FPGA-based heterogeneous cluster, as well as the potential of integrating them with FPGA acceleration.
AU  - Ng,N
AU  - Yoshida,N
AU  - Niu,XY
AU  - Tsoi,KH
AU  - Luk,W
DO  - 10.1145/2460216.2460221
EP  - 22
PY  - 2012///
SN  - 0163-5964
SP  - 22
TI  - Session types: towards safe and fast reconfigurable programming
T2  - ACM SIGARCH Computer Architecture News
UR  - http://dx.doi.org/10.1145/2460216.2460221
UR  - http://doi.acm.org/10.1145/2460216.2460221
VL  - 40
ER  -
Download