Upload bibtex.txt for conversion

Author: BH3GEI

uploads/bibtex.txt

@@ -0,0 +1,120 @@
+@inproceedings{weko_241047_1,
+   author	 = "品川,高廣 and 川島,英之",
+   title	 = "まえがき",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "i--i",
+   month	 = "nov"
+}
+@inproceedings{weko_241048_1,
+   author	 = "青木,望美 and 山崎,雅文 and 平井,聡 and 木下,怜佳 and 福本,尚人 and 三輪,真弘 and 小口,正人",
+   title	 = "量子回路シミュレータの性能分析とモデル化の検討",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "1--7",
+   month	 = "nov"
+}
+@inproceedings{weko_241049_1,
+   author	 = "中島,諒 and 品川,高廣",
+   title	 = "SMTソルバを用いたアクセスパターンの網羅的生成による参照モニタの容易な形式検証",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "8--16",
+   month	 = "nov"
+}
+@inproceedings{weko_241050_1,
+   author	 = "河野,真治",
+   title	 = "GearsOSとgearsAgda上のモデル検査について",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "17--20",
+   month	 = "nov"
+}
+@inproceedings{weko_241051_1,
+   author	 = "髙名,典雅 and 大山,恵弘",
+   title	 = "ハイパーバイザ技術を用いた手軽にRISC-Vの拡張を活用できるシステムの構築",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "21--30",
+   month	 = "nov"
+}
+@inproceedings{weko_241052_1,
+   author	 = "上杉,貫太 and 光来,健一",
+   title	 = "eBPFを用いたConfidential VMの安全かつ高速な監視",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "31--40",
+   month	 = "nov"
+}
+@inproceedings{weko_241053_1,
+   author	 = "田村,来希 and 小谷,大祐 and 松本,直樹 and 岡部,寿男",
+   title	 = "wanco: ライブマイグレーションをサポートするWebAssemblyコンパイラ",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "41--49",
+   month	 = "nov"
+}
+@inproceedings{weko_241054_1,
+   author	 = "清水,海大 and 新城,靖",
+   title	 = "Webブラウザに表示されたページ内容を結合するためのファイルシステム",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "50--59",
+   month	 = "nov"
+}
+@inproceedings{weko_241055_1,
+   author	 = "高田,昌忠 and 早坂,光雄",
+   title	 = "クラウドバックアップにおけるバックアップ世代管理方式",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "60--64",
+   month	 = "nov"
+}
+@inproceedings{weko_241056_1,
+   author	 = "鈴木,智哉 and 檜田,和浩 and 坂東,洋介 and 佐野,伸太郎 and 中西,悠 and 塩沢,竜生",
+   title	 = "軽量IO自動適用を用いたKVストレージエンジンの性能改善",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "65--73",
+   month	 = "nov"
+}
+@inproceedings{weko_241057_1,
+   author	 = "大野,裕美子 and 山内,利宏 and 谷口,秀夫",
+   title	 = "Linuxにおけるシグナル受信処理の早期実行開始手法",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "74--81",
+   month	 = "nov"
+}
+@inproceedings{weko_241058_1,
+   author	 = "木田,碧 and 川島,英之",
+   title	 = "状態機械複製プロトコルRabiaにおけるネットワーク分断耐性強化",
+   booktitle	 = "コンピュータシステム・シンポジウム論文集",
+   year 	 = "2024",
+   volume	 = "2024",
+   number	 = "",
+   pages	 = "82--89",
+   month	 = "nov"
+}