Mercurial > hg > Papers > 2018 > mitsuki-sigos

changeset 11:490464faf432

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author mir3636
date Fri, 22 Dec 2017 23:29:20 +0900
parents 8550077113b9
children 3e81264d4764
files Paper/main.pdf Paper/prosym.bib
diffstat 2 files changed, 8 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
Binary file Paper/main.pdf has changed
--- a/Paper/prosym.bib	Fri Dec 22 22:53:23 2017 +0900
+++ b/Paper/prosym.bib	Fri Dec 22 23:29:20 2017 +0900
@@ -16,13 +16,13 @@
     year = 2015
 }
 
-@article{
+%@article{
     llvm,
     title = "LLVM documentation.",
     howpublished = "{http://llvm.org/docs/index.html}"
 }
 
-@article{
+%@article{
     SMT1,
     author = "Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski, Rafal Kolanski, Gernot Heiser"
     title = "Comprehensive Formal Verification of an OS Microkernel"
@@ -30,7 +30,7 @@
     year = 2014
 }
 
-@article{
+%@article{
     SMT2,
     author = "Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood"
     title = "seL4: Formal Verification of an OS Kernel"
@@ -38,7 +38,7 @@
     year = 2009
 }
 
-@article{
+%@article{
     type,
     author = "Jean Yang, Chris Hawblitzel"
     title = "Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System"
@@ -46,7 +46,7 @@
     year = 2010
 }
 
-@article{
+%@article{
     ,
     author = "Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjo ̈berg, David Costanzo"
     title = "CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels"
@@ -54,7 +54,7 @@
     year = 2016
 }
 
-@article{
+%@article{
     ,
     author = "Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang"
     title = "Push-Button Verification of File Systems via Crash Refinement"
@@ -62,7 +62,7 @@
     year = 2016
 }
 
-@article{
+%@article{
     ,
     author = "Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang"
     title = "Hyperkernel: Push-Button Verification of an OS Kernel"
@@ -70,7 +70,7 @@
     year = 2017
 }
 
-@article{
+%@article{
     ,
     author = "Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich"
     title = "Using Crash Hoare Logic for Certifying the FSCQ File System"