Joseph Tuong

According to our database, Joseph Tuong authored at least 2 papers in 2016.

Collaborative distances:

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

2016

COMPLX: A Verification Framework for Concurrent Imperative Programs.

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

Arch. Formal Proofs, 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