According to our database1, Corey Lewis authored at least 8 papers between 2010 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Complx: a verification framework for concurrent imperative programs.
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
Finite Machine Word Library.
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
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
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
capDL: a language for describing capability-based systems.
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010