Corey Lewis

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 5

Top Topics

Imperative Programs

Top Venues

Arch. Formal Proofs

IEEE Symposium on Security and Privacy

Publications

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
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20 (3) (2022)
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
Complx: a verification framework for concurrent imperative programs. CPP (2017)
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
COMPLX: A Verification Framework for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. ITP (2016)
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell
Finite Machine Word Library. Arch. Formal Proofs 2016 (2016)
June Andronick, Corey Lewis, Carroll Morgan
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System. MARS (2015)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy (2013)
Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass
Formal specifications better than function points for code sizing. ICSE (2013)
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell
Formally Verified System Initialisation. ICFEM (2013)
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
capDL: a language for describing capability-based systems. ApSys (2010)