News
| TS Researchers receive ACM Software System Award |
|---|
2023-05-05 – The Association for Computing Machinery (ACM) has awarded the prestigious ACM Software System Award to TS members Gernot Heiser and Kevin Elphinstone, and others. The ACM Software System Award recognises the development of a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both. It carries a prize of US$35,000. Professor Heiser and his team receive the award for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, machine-checked proof of functional correctness. A huge congratulations goes out to the whole team: Gernot Heiser, Kevin Elphinstone, University of New South Wales
Harvey Tuch, Google
David Cock, ETH Zurich
Philip Derrin, Qualcomm
Dhammika Elkaduwe, University of Peradeniya
Kai Engelhardt, Toby Murray, University of Melbourne
Michael Norrish, Australian National University
Thomas Sewell, University of Cambridge
Simon Winwood, Galois
You can read more about it on the UNSW website and the ACM website. |
| Gernot Heiser elected to Leopoldina Academy of Science |
|---|
2023-04-19 – Gernot Heiser has been elected to the German National Academy of Science Leopoldina. Leopoldina is the oldest continuous scientific academy in the world, operating for over 360 years. Elections is based on strict standards of scientific excellence and all members must be actively working in their fields. Congratulations, Gernot! Read more about it on the UNSW News Page. |
| Paper accepted at PLDI |
|---|
2023-04-03 – A team of international collaborators that includes Trustworthy Systems member Johannes Åman Pohjola had a paper accepted by PLDI 2023, the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation. The paper is about PureCake, a lazy language on top of CakeML. This paper presents the first realistic verified compiler for a language with lazy evaluation. They will present their paper at the PLDI conference in Orlando, USA later in 2023. Congratulations to Johannes and the team:
Hrutvik Kanabar (University of Kent, UK)
Samuel Vivien (École Normale Supérieure PSL, France and Chalmers University of Technology, Sweden)
Oskar Abrahamsson (Chalmers University of Technology, Sweden)
Magnus O. Myreen (Chalmers University of Technology, Sweden
Michael Norrish (Australian National University, Australia)
Johannes Åman Pohjola (University of New South Wales, Australia)
Riccardo Zanetti (Chalmers University of Technology, Sweden) |
| TS team at Everything Open conference in Melbourne, Australia |
|---|
2023-03-22 – Trustworthy Systems team members Peter Chubb, Lucy Parker, Christopher Irving, and Ivan Velickovic presented their work on sel4 at the recent Everything Open conference in Melbourne.
You can find recordings of the talks for Lucy and Ivan, for Christopher, and for Peter, on the Everything Open YouTube channel. |
| Congratulations Dr Chen! |
|---|
2023-03-17 – Trustworthy Systems student Zilin Chen has just had his PhD thesis approved. We extend to him heartfelt and deserved congratulations. His thesis is Towards A Practical High-Assurance Systems Programming Language. It was supervised by Professor Gabriele Keller, Dr. Christine Rizkallah, and TS’s Professor Gernot Heiser. |