Toggle navigation
Violet Ka I Pun
Home
Publications
Projects
Teaching
Contact
completed
SLAS: Synchronous Languages meet Asynchronous Semantics
AURORA mobility programme between Norway and France, partially funded by the Research Council of Norway.
INTROMAT: INTROducing Mental health through Adaptive Technology
Modern Refactoring: Runtime Verification beyond Monitoring
COEMS: Continuous Observation of Embedded Multicore Systems
SIRIUS: Centre for Scalable Data Access in the Oil and Gas Domain
ARVI: Runtime Verification beyond Monitoring
UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
UpScale was an EU FP7 FET Open-X research project. The project aims at making use of the manycore computers of tomorrow as efficient as possible.
Envisage: Engineering Virtualized Services
GoRETech: Go Runtime Enforcement Techniques
RvABS: Runtime Verification for ABS Product Lines
×
Cite