Corey Lewis

According to our database, Corey Lewis authored at least 9 papers between 2010 and 2022.

Collaborative distances:

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

2022

Cyberassured Systems Engineering at Scale.

Darren D. Cofer, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton

IEEE Secur. Priv., 2022

2016

Finite Machine Word Library.

Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell

Arch. Formal Proofs, 2016

COMPLX: A Verification Framework for Concurrent Imperative Programs.

Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong

Arch. Formal Proofs, 2016

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

June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah

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

2015

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

June Andronick, Corey Lewis, Carroll Morgan

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.

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein

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

Formal specifications better than function points for code sizing.

Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass

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

Formally Verified System Initialisation.

Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell

Proceedings of the Formal Methods and Software Engineering, 2013

2010

capDL: a language for describing capability-based systems.

Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker

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