According to our database1, Corey Lewis authored at least 8 papers between 2010 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Arch. Formal Proofs, 2016
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
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010