Joseph Tuong

According to our database, Joseph Tuong authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Complx: a verification framework for concurrent imperative programs.

Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

CoGENT: Verifying High-Assurance File System Implementations.

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 C. Murray, Gerwin Klein, Gernot Heiser

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016