According to our database1, Joseph Tuong authored at least 2 papers in 2016.
Legend:Book In proceedings Article PhD thesis Other
Arch. Formal Proofs, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016