News
| Gernot Heiser received ACM award on behalf of team |
|---|
 
2023-06-19 – Gernot was in San Francisco last week to accept the ACM Software System award on behalf of the team. More information from our previous news item is below: 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. |
| TS students honoured in CSE awards |
|---|
2023-06-19 – Two TS team members have been honoured in the most recent CSE Awards. Patrick Hao has been awarded the Arista Networks COMP9242 Prize. Gordon Tsun Wang Sau has been awarded third place in the Jane Street COMP3141 Prize. A big congratulations to Patrick and Gordon! More information and a full list of winners is here |
| 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) |