News
| 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. |
| Robert Sison presents at FM conference in Lübeck, Germany |
|---|
2023-03-15 – Robert Sison, a TS member and post-doctoral fellow from the University of Melbourne, works with TS team member Scott Buckley on Time Protection. He recently presented their work at the 25th International Symposium on Formal Methods at the University of Lübeck. Robert presented the collaborative work of the University of Melbourne, Trustworthy Systems, and Proofcraft in a paper titled “Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems”. This paper was co-authored by Gernot Heiser, Scott Buckley, Gerwin Klein, and Toby Murray. |
| New members of the Trustworthy Systems team |
|---|
2023-02-24 – We would like to welcome our newest members of the Trustworthy Systems team! They are (from left to right): Isitha Subasinghe, Masters student and Research Assistant
Krishnan Winter, Taste of Research student
Mathieu Paturel, Taste of Research student
Sam Doak, Honours student
Gordan Sau, Taste of Research student
Matthew Rossouw, Taste of Research student
Waleed Shahid, Special Project student
Ben Nott, Taste of Research student
Arthur Wang, Honours student
|