Login / Signup
Joseph Tuong
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 3
Top Topics
File System
Multi Tiered
Imperative Programs
Storage Devices
Top Venues
CPP
Arch. Formal Proofs
ASPLOS
</>
Publications
</>
Sidney Amani
,
June Andronick
,
Maksym Bortin
,
Corey Lewis
,
Christine Rizkallah
,
Joseph Tuong
Complx: a verification framework for concurrent imperative programs.
CPP
(2017)
Sidney Amani
,
June Andronick
,
Maksym Bortin
,
Corey Lewis
,
Christine Rizkallah
,
Joseph Tuong
COMPLX: A Verification Framework for Concurrent Imperative Programs.
Arch. Formal Proofs
2016 (2016)
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
CoGENT: Verifying High-Assurance File System Implementations.
ASPLOS
(2016)