Mercurial > hg > Papers > 2022 > ikki-master

annotate Paper/reference.bib @ 0:3d8fcd42a513

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first commit
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Thu, 06 Jan 2022 18:59:31 +0900
parents
children 2c54886cebef
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 @article{
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 cbc,
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 author = "Kaito TOKKMORI and Shinji KONO",
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 title = "Implementing Continuation based language in LLVM and Clang",
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 journal = "LOLA 2015",
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 month = "July",
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 year = 2015
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 }
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 @article{moggi-monad,
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 author = {Moggi, Eugenio},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 title = {Notions of Computation and Monads},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 journal = {Inf. Comput.},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 issue_date = {July 1991},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 volume = {93},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 number = {1},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 month = jul,
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 year = {1991},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 issn = {0890-5401},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 pages = {55--92},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 numpages = {38},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 url = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 doi = {10.1016/0890-5401(91)90052-4},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 acmid = {116984},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 publisher = {Academic Press, Inc.},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 address = {Duluth, MN, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 }
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 @inproceedings{Yang:2010:SLI:1806596.1806610,
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 author = {Yang, Jean and Hawblitzel, Chris},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 title = {Safe to the Last Instruction: Automated Verification of a Type-safe Operating System},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 booktitle = {Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 series = {PLDI '10},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 year = {2010},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 isbn = {978-1-4503-0019-3},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 location = {Toronto, Ontario, Canada},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 pages = {99--110},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 numpages = {12},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 url = {http://doi.acm.org/10.1145/1806596.1806610},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 doi = {10.1145/1806596.1806610},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 acmid = {1806610},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 publisher = {ACM},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 address = {New York, NY, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 keywords = {operating system, run-time system, type safety, verification},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 }
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 @inproceedings{Klein:2009:SFV:1629575.1629596,
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 author = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and Andronick, June and Cock, David and Derrin, Philip and Elkaduwe, Dhammika and Engelhardt, Kai and Kolanski, Rafal and Norrish, Michael and Sewell, Thomas and Tuch, Harvey and Winwood, Simon},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 title = {seL4: Formal Verification of an OS Kernel},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 booktitle = {Proceedings of the ACM SIGOPS 22Nd Symposium on Operating Systems Principles},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 series = {SOSP '09},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 year = {2009},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 isbn = {978-1-60558-752-3},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 location = {Big Sky, Montana, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 pages = {207--220},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 numpages = {14},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 url = {http://doi.acm.org/10.1145/1629575.1629596},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 doi = {10.1145/1629575.1629596},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 acmid = {1629596},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 publisher = {ACM},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 address = {New York, NY, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 keywords = {isabelle/hol, l4, microkernel, sel4},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 }
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 @inproceedings{Sigurbjarnarson:2016:PVF:3026877.3026879,
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 author = {Sigurbjarnarson, Helgi and Bornholt, James and Torlak, Emina and Wang, Xi},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 title = {Push-button Verification of File Systems via Crash Refinement},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 booktitle = {Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 series = {OSDI'16},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 year = {2016},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 isbn = {978-1-931971-33-1},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 location = {Savannah, GA, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 pages = {1--16},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 numpages = {16},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 url = {http://dl.acm.org/citation.cfm?id=3026877.3026879},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 acmid = {3026879},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 publisher = {USENIX Association},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 address = {Berkeley, CA, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 }
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80