Corey Lewis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2010–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CPP | Complx: a verification framework for concurrent imperative programs. | Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong |
| 2016 | ITP | Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. | June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah |
| 2013 | ICFEM | Formally Verified System Initialisation. | Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell |
| 2013 | ICSE | 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 |
| 2013 | SP | 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 |
| 2010 | SIGCOMM | capDL: a language for describing capability-based systems. | Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker |