Michael S. Rogers

According to our database, Michael S. Rogers authored at least 3 papers between 2015 and 2016.

Collaborative distances:

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

2016

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).

Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

CIVL: the concurrency intermediate verification language.

Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers

Proceedings of the International Conference for High Performance Computing, 2015

CIVL: Formal Verification of Parallel Programs.

Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015