Mercurial > hg > Papers > 2022 > ikki-master

annotate Paper/reference.bib @ 23:9a6609a2f987

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
twaek
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Thu, 10 Feb 2022 01:08:27 +0900
parents bd9284f9151d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
1 March@article{
0
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
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
65 @article{Klein:2010:SFV:1743546.1743574,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
66 author = {Klein, Gerwin and Andronick, June and Elphinstone, Kevin and Heiser, Gernot 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},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
67 title = {seL4: Formal Verification of an Operating-system Kernel},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
68 journal = {Commun. ACM},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
69 issue_date = {June 2010},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
70 volume = {53},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
71 number = {6},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
72 month = jun,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
73 year = {2010},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
74 issn = {0001-0782},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
75 pages = {107--115},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
76 numpages = {9},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
77 url = {http://doi.acm.org/10.1145/1743546.1743574},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
78 doi = {10.1145/1743546.1743574},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
79 acmid = {1743574},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
80 publisher = {ACM},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
81 address = {New York, NY, USA},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
82 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
83
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
84 @inproceedings{Nelson:2017:HPV:3132747.3132748,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
85 author = {Nelson, Luke and Sigurbjarnarson, Helgi and Zhang, Kaiyuan and Johnson, Dylan and Bornholt, James and Torlak, Emina and Wang, Xi},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
86 title = {Hyperkernel: Push-Button Verification of an OS Kernel},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
87 booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
88 series = {SOSP '17},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
89 year = {2017},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
90 isbn = {978-1-4503-5085-3},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
91 location = {Shanghai, China},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
92 pages = {252--269},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
93 numpages = {18},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
94 url = {http://doi.acm.org/10.1145/3132747.3132748},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
95 doi = {10.1145/3132747.3132748},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
96 acmid = {3132748},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
97 publisher = {ACM},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
98 address = {New York, NY, USA},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
99 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
100
0
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 @inproceedings{Sigurbjarnarson:2016:PVF:3026877.3026879,
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 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
103 title = {Push-button Verification of File Systems via Crash Refinement},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 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
105 series = {OSDI'16},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 year = {2016},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 isbn = {978-1-931971-33-1},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 location = {Savannah, GA, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 pages = {1--16},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 numpages = {16},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 url = {http://dl.acm.org/citation.cfm?id=3026877.3026879},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 acmid = {3026879},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 publisher = {USENIX Association},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 address = {Berkeley, CA, USA},
3d8fcd42a513 first commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 }
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
116
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
117 @inproceedings{OSBook,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
118 author = {Andrew S. Tanenbaum},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
119 booktitle = {Modern Operating Systems Fourth Edition},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
120 series = {OSDI'15},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
121 year = {2015},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
122 isbn = {978-0-13-359162-0},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
123 location = {Hervert BOS Vrije Universiteit Amsterdam, The Netherlands},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
124 pages = {265-332},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
125 numpages = {67},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
126 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
127
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
128
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
129 @misc{hg:cbcgcc,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
130 title = {CbC\_gcc},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
131 author = {並列信頼研究室},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
132 organization = "琉球大学",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
133 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/}},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
134 note = {Accessed: 2021-01-31},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
135 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
136
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
137 @misc{hg:gears,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
138 title = {GearsOS},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
139 author = {並列信頼研究室},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
140 organization = "琉球大学",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
141 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/}},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
142 note = {Accessed: 2021-01-31},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
143 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
144
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
145 @misc{hg:Christie,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
146 title = {Christie},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
147 author = {並列信頼研究室},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
148 organization = "琉球大学",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
149 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Database/Christie/}},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
150 note = {Accessed: 2021-01-31},
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
151 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
152
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
153
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
154 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
155 gears,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
156 author = "河野 真治 and 伊波 立樹 and 東恩納 琢偉",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
157 title = "Code Gear、Data Gear に基づく OS のプロトタイプ",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
158 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
159 month = "May",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
160 year = 2016
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
161 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
162
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
163 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
164 anatofz,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
165 author = "清水 隆博 and 河野真治",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
166 title = "GearsOSのメタ計算",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
167 journal = "琉球大学理工学研究科修士論文",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
168 month = "March",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
169 year = 2020
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
170 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
171
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
172 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
173 koki,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
174 author = "宮城 光輝 and 河野真治",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
175 title = "継続を基本とした言語による OS のモジュール化",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
176 journal = "琉球大学理工学研究科修士論文",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
177 month = "March",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
178 year = 2018
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
179 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
180
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
181 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
182 tokumori,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
183 author = "徳森 海斗 and 河野真治",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
184 title = "LLVM Clang 上の Continuation based C コンパイラ の改良",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
185 journal = "琉球大学理工学研究科修士論文",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
186 month = "March",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
187 year = 2016
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
188 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
189
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
190
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
191 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
192 mata-thesis,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
193 author = "又吉 雄斗 and 河野　真治",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
194 title = "GearsOS における i-node を用いた File system の設計",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
195 journal = "琉球大学工学部知能情報コース卒業論文",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
196 month = "March",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
197 year = 2022
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
198 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
199
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
200
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
201 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
202 pop,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
203 author = "照屋 のぞみ and 河野　真治",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
204 title = "分散フレームワークChristieの設計",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
205 journal = "琉球大学理工学研究科修士論文",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
206 month = "March",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
207 year = 2018
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
208 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
209
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
210 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
211 Alice,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
212 author = "赤嶺 一樹 and 河野　真治",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
213 title = "分散ネットワークフレームワークAlice の 提案と実装",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
214 journal = "琉球大学理工学研究科修士論文",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
215 month = "March",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
216 year = 2012
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
217 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
218
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
219 @article{
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
220 BlockChain,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
221 author = "赤堀 貴一 and 河野　真治",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
222 title = "Christieによるブロックチェーンの実装",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
223 journal = "琉球大学工学部情報工学科卒業論文",
22
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
224 month = "March",
13
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
225 year = 2019
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
226 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
227
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
228 @manual{man:socket,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
229 author = "{man-page of SOCKET}",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
230 title ="{\url{https://linuxjm.osdn.jp/html/LDP_man-pages/man2/socket.2.html}}",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
231 }
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
232
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
233 @manual{man:getaddrinfo,
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
234 author = "{man-page of GETADDRINFO}",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
235 title ="{\url{https://linuxjm.osdn.jp/html/LDP_man-pages/man3/getaddrinfo.3.html}}",
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
236 }