New Research Project

I’m actively involved in a new research project and that is why I have not been able to update my blog recently.

We’re in the beginning phase of this project, that is, developing the programming model. Followed up will be the compiler that supports the programming model, the runtime system which does the job behind the scene, the applications that uses this programming model, and possibly modelchecker or other supportive utilities.

Leave a Reply 請留下你的回應