Skip to main content

Joseph Tuong

Joseph Tuong

Research Interests

Formal methods, high-assurance systems and programming language theory & design.

Contact Details


More contact information is available at the Contact page.

Photo of Joseph Tuong

Publication List



I worked with the NICTA Trustworthy Filesystems team over the summer exporting type-correctness certificates & verifying transformations between the intermediate representations of programs in a linearly typed, restrictive DSL.

I'm currently working on my honours thesis, a variant of SIMPL with concurrent semantics to enable practical formal verification of concurrent C programs.


BSc Computer Science (UNSW, 2014)

Recognition and Awards

NICTA Summer Scholar Prize 2014-2015


Data61 Papers


Abstract PDF Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong
COMPLX: A verification framework for concurrent imperative programs
International Conference on Certified Programs and Proofs, pp. 138-150, Paris, France, January, 2017

NICTA Papers


Abstract PDF Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby Murray, Gerwin Klein and Gernot Heiser
Cogent: verifying high-assurance file system implementations
International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 175-188, Atlanta, GA, USA, April, 2016

Served by Apache on Linux on seL4.