contact
|
academic
|
personal
|
about
|
|
Assignment 3 for CSA2201 (for both morning and evening courses) has been uploaded here. |
|
|
Parts 9 and 10 of the notes for CSA 3219 have been uploaded here. |
|
|
Part 7 of the notes for CSA 3217 has been uploaded here. |
| Nov 11 | Assignment 2 for CSA2201 (for both morning and evening courses) has been uploaded here. Make sure that you download the correct one. |
| Nov 11 | Part 6 of the notes for CSA 3217 and Parts 6 and 7 of the notes for CSA3219 have been uploaded here. |
| Nov 11 | Part 5 of the notes for CSA3219 has been uploaded here. |
| Nov 11 | Assignment 1 for CSA2201 (for both morning and evening courses) has been uploaded here. Make sure that you download the correct one. |
| Oct 11 | Part 5 of the notes for CSA3217 and Part 4 for CSA3219 have been uploaded here. |
| Oct 11 | Part 4 of the notes for CSA3217 and Part 3 for CSA3219 have been uploaded here. |
| Oct 11 | Part 3 of the notes for CSA3217 has been uploaded here. |
| Aug 11 | Paper accepted at RV 2011 (Runtime Verification) Elarva: A Monitoring tool for Erlang. |
| Aug 11 | Paper accepted at FLACOS 2011 Distributed System Contract Monitoring. |
| Jun 11 | Journal aper accepted at LMCS Permission-based Separation Logic for Message-Passing Concurrency. |
| Mar 11 | Paper accepted at PLACES'11 (in conjunction with ETAPS 2011) Reasoning about Explicit Resource Management. |
| Nov 10 | 3 Paper presented at WICT'10 Distributed Protocols as Behaviours in Erlang, Runtime Monitoring of Distributed Systems, Compensations in an Imperative Programming Language. |