June Andronick
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
13
Active years
2005–2022
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CPP | The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk). | June Andronick |
| 2022 | FMCAD | The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. | June Andronick |
| 2019 | FM | Successes in Deployed Verified Software (and Insights on Key Social Factors). | June Andronick |
| 2019 | ITP | A Million Lines of Proof About a Moving Target (Invited Talk). | June Andronick |
| 2017 | CADE | Reasoning About Concurrency in High-Assurance, High-Performance Software Systems. | June Andronick |
| 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 |
| 2015 | FM | Automated Verification of RPC Stub Code. | Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz |
| 2015 | ICSE | Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. | Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples |
| 2014 | ESEM | Productivity for proof engineering. | Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski |
| 2014 | PLDI | Don't sweat the small stuff: formal verification of C code without the pain. | David Greenaway, Japheth Lim, June Andronick, Gerwin Klein |
| 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 | SOSP | Towards a verified component platform. | Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick |
| 2012 | ICSE | Large-scale formal verification in practice: A process perspective. | June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu |
| 2012 | ITP | Bridging the Gap: Automatic Verified Abstraction of C. | David Greenaway, June Andronick, Gerwin Klein |
| 2011 | ITP | seL4 Enforces Integrity. | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
| 2010 | CCS | The road to trustworthy systems. | Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk |
| 2009 | SOSP | seL4: formal verification of an OS kernel. | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
| 2008 | SAC | Certifying an embedded remote method invocation protocol. | June Andronick, Quang Huy Nguyen |
| 2006 | ISoLA | Formally Proved Anti-tearing Properties of Embedded C Code. | June Andronick |
| 2005 | FM | Formal Verification of Security Properties of Smart Card Embedded Source Code. | June Andronick, Boutheina Chetali, Christine Paulin-Mohring |