Project Details
Description
The project, to be lead by Prof Tony Hosking, aims to develop a provably-correct run-time environment for high-level (type- and memory-safe) programming languages on top of the verified seL4 microkernel. The first step is the development of verified memory management, especially a garbage collector. This project collaborates closely with the ANU-based micro-VM project led by Prof Steve Backburn, ANU
| Status | Finished |
|---|---|
| Effective start/end date | 3/08/15 → 2/02/22 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.