# Corey Lewis

According to our database

Collaborative distances:

^{1}, Corey Lewis authored at least 9 papers between 2010 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Complx: a verification framework for concurrent imperative programs.

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

2016

Finite Machine Word Library.

Archive of Formal Proofs, 2016

COMPLX: A Verification Framework for Concurrent Imperative Programs.

Archive of Formal Proofs, 2016

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

2013

seL4: From General Purpose to a Proof of Information Flow Enforcement.

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Formal specifications better than function points for code sizing.

Proceedings of the 35th International Conference on Software Engineering, 2013

Formally Verified System Initialisation.

Proceedings of the Formal Methods and Software Engineering, 2013

2010

capDL: a language for describing capability-based systems.

Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010