-
An informal Computer Science Seminar series where interjections are not cut-off.
Contact Person: Adrian Francalanza
| On Dec 11th, Claire Dimech will discuss findings from her research done in collaboration with Dr Dharini Balasubramaniam from the University of St Andrews titled CARD: Controlling Architectural Degradation in Real life Applications. |
|
| On Jan 8th, Gordon Pace will conduct a hands-on session on Haskell, Logics and Embedded Languages. |
|
| On Jan 15th, Erica Tanti will discuss the paper titled Why Do Scala Developers Mix the Actor Model with Other Concurrency Models. |
|
| On Jan 22th, Mark Vella will discuss the paper titled All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution. |
|
| On Jan 29th, James Gatt will discuss Analysis of Trigger-Based Behaviour in Malware using BAP. |
|
| On Feb 5th, Christian Colombo will give a hands-on tutorial on Runtime Verification. |
|
|
On Feb 12th, Ruth Mizzi will give a talk about Extensible Technology-Agnostic Runtime Verification, which will be presented at FESCA 2013. |
|
|
On Feb 19th, Joseph Masini will discuss Session Types for Inter-Process Communication. |
|
|
On Feb 26th, Mark-Anthony Cachia will discuss Formalising and Proving Incremental Mutation Testing, based on the paper Towards Incremental Mutation Testing, to be presented at VSSE 2013. |
|
|
On Mar 5th, Christian Colombo will present the paper Monitor-Oriented Compensation Programming Through Compensating Automata, to be presented at GT-VMT 2013. |
|
|
On Mar 12th, Tyron Zerafa will discuss Towards Haskell in the Cloud. |
|
|
On April 9th, Mark Anthony Cachia will discuss Differential Symbolic Execution. |