Corey Lewis

According to our database1, Corey Lewis
  • authored at least 9 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of four.

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


  Loading...