Go Wiki: 研究論文

このページには、Goに関する、または実装言語としてGoを使用している学術および産業研究論文がリストされています。

2021

  • Gobra: Goプログラムのモジュール式仕様と検証 (F. A. Wolf, L. Arquint, M. Clochard, W. Oortwijn, J. C. Pereira, P. Müller)

2020

  • 隠れた危険の発見: 実際のGoコードで安全でないコードを見つける (J. Lauinger, L. Baumgärtner, A. Wickert, M. Mezini)
  • 軽量プリエンプティブ関数 (S. Boucher, A. Kalia, D. Andersen, M. Kaminsky)
  • 民間伝承から事実へ: スタックと継続の実装の比較 (K. Farvadin, J. Reppy)
  • Featherweight Go (R. Griesemer, R. Hu, W. Kokke, J. Lange, I. Taylor, B. Toninho, P. Wadler, N. Yoshida)
  • GoPi: Goでの線形および静的チャネルのコンパイル (M. Giunti)
  • Fencing off Go: チャネルベースプログラミングの活性と安全性
  • Goでの型安全性の破壊: unsafeパッケージの使用に関する経験的調査 (D. Costa, S. Mujahid, R. Abdalkareem, E. Shihab)
  • Goプログラムの静的競合検出とMutexの安全性および活性 (J. Gabet, N. Yoshida)
  • EdgeKV: エッジ向けの分散型でスケーラブルで一貫性のあるストレージ (K. Sonbol, Ö. Özkasap, I. Al-Oqily, M. Aloqaily)
  • 投機的制御フローハイジャックによるメモリ安全メカニズムのバイパス (A. Mambretti, A. Sandulescu, A. Sorniotti, W. Robertson, E. Kirda, A. Kurmus)
  • PromelaとSpinを使用したGoでのメッセージパッシング並行性の有界検証 (N. Dilley, J. Lange)

2019

  • クラウドにおけるソフトウェアマイクロベンチマーク。本当にどれほど悪いのか？ Laaber、Scheuner、Leitner著。掲載誌: Empirical Software Engineering。

  • Goにおける現実世界の並行性バグの理解 (Tu, Liu, Song, Zhang)

  • Goプロジェクトにおけるメッセージパッシング並行性の経験的研究 (N. Dilley, J. Lange)

  • 次世代シーケンスツールの3つのプログラミング言語の比較 (Costanza, Herzeel, Verachtert)

  • FairMQとferを使用したALICEにおける多言語ソフトウェアフレームワークの探索

  • Flash: オフチェーンネットワーク向けの効率的な動的ルーティング

  • RepChain: シャーディングによる評判ベースの安全で高速かつ高インセンティブなブロックチェーンシステム

  • Drynx: 分散データセットにおける統計クエリと機械学習のための分散型、安全で検証可能なシステム

  • STYLE-ANALYZER: 解釈可能な教師なしアルゴリズムによるコードスタイルの一貫性の修正

  • ガウス過程ダイナミクスによるペアワイズ比較の線形時間推論

2018

  • 継続的なパフォーマンス評価のためのオープンソースソフトウェアマイクロベンチマークスイートの評価。LaaberとLeitner著。掲載誌: MSR '18: 第15回ソフトウェアリポジトリマイニング国際会議。

  • クォーラムベースの抽象化の分析: Raftの実装にGorumsを使用したケーススタディ。Sebastian Pedersen、Hein Meling、Leander Jehl著。掲載誌: Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems, ApPLIED@PODC 2018, Egham, United Kingdom, July 27, 2018. ACM, 2018。

  • 異常ベースのネットワーク侵入検知の安全かつスケーラブルな実装と評価 (P. Mieden)

  • ProIO: Protobufメッセージ用イベントベースI/Oストリーム形式 (D. Blyth, J. Alcaraz, S. Binet, S.V. Chekanov)

  • BFTコンセンサスに関する最新のゴシップ (Buchman, Kwon, Milosevic)

  • Goにおけるロールパラメータ化セッションタイプを使用した分散プログラミング (Castro, Hu, Jongmans, NG, Yoshida)

  • QUIC実装の進化を観察する (Piraux, De Coninck, Bonaventure)

  • Cody Cutler, M. Frans Kaashoek, Robert T. Morris, 「高水準言語でPOSIXカーネルを記述することの利点とコスト」

  • Voit, Sebastian Peter Johann. 「Goでネットワークドライバーを記述する」

  • 「MoonShine: トレース蒸留によるOSファザーシード選択の最適化」 (Shankara Pailoor, Andrew Aday, Suman Jana) USENIX Security 2018

  • 「同期プロセスのプロセスローカル静的解析」 (Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson) SAS 2018

  • 「分散システム不変量の推論とアサーション」 (Stewart Grant, Hendrik Cech, Ivan Beschastnikh) ICSE 2018 テクニカルペーパー

  • 「ベクトル空間モデルの再検討: 極多ラベル分類のための疎重み付け最近傍法」 (Tatsuhiro Aoshima, Kei Kobayashi, Mihoko Minami) arXiv:1802.03938 stat.ML,

  • 行動型を使用したGoにおけるメッセージパッシングの静的検証フレームワーク (J. Lange, N. Ng, B. Toninho, N. Yoshida)

  • 大規模な貪欲、浪費、および自殺契約の発見 (Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor)

    • pdf 「検証フレームワークを実装するために、公式のgo-ethereumパッケージ [20] に新しい機能を追加し、任意のブロック高でイーサリアムメインチェーンをフォークできるようにしました。」

  • Googleにおける突然変異テストの現状 (Goran Petrovic and Marko Ivankovic)

  • テーマ別仮想博物館におけるインデックスデータ構造、機能、およびマイクロサービス (Sajarwo Anggai) (博士論文)

  • 「ベクトルクロックに基づくメッセージパッシングGoプログラムの二相動的分析」 (M. Sulzmann, K. Stadtmueller)

  • 「ベクトル空間モデルの再検討: 極多ラベル分類のための疎重み付け最近傍法」 (Tatsuhiro Aoshima, Kei Kobayashi, Mihoko Minami)

  • 「GEEC: ブロックチェーン向けのスケーラブルで効率的かつ一貫性のあるコンセンサス」 (Xusheng Chen, Shixiong Zhao, Cheng Wang, Senran Zhang, Heming Cui)

  • 「マルチテナントマルチフレームワークサービスとしてのディープラーニングプラットフォームにおける信頼性」 (Scott Boag, Parijat Dube, Kaoutar El Maghraoui, Benjamin Herta, Waldemar Hummer, K. R. Jayaram, Rania Khalaf, Vinod Muthusamy, Michael Kalantar, Archit Verma)

  • DRONE: 大規模なべき乗則グラフ処理のための分散型サブグラフ中心フレームワーク

  • PURBによる暗号化ファイルと通信からのメタデータ漏洩の削減

2017

  • Gorums: クォーラムベースシステム実装のための新しい抽象化に向けて。Tormod Erevik Lea, Leander Jehl, and Hein Meling. Kisung Lee and Ling Liu, editors, 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017, pages 2380–2385. IEEE Computer Society, 2017

  • Go-HEP: Goを使って簡単に並行ソフトウェアを記述する (S. Binet)

  • RDFIO: 相互運用可能な生物医学データ管理のためのSemantic MediaWikiの拡張 (Samuel Lampa, Egon Willighagen, Pekka Kohonen, Ali King, Denny Vrandečić, Roland Grafström, Ola Spjuth) Journal of Biomedical Semantics (Volume: 8, Issue: 35)

  • 65 MeV陽子によるハドロン治療の弾道制御専用のインビームPETデモンストレーターの構築と最初のテスト (E Busato et al.) IEEE Transactions on Radiation and Plasma Medical Sciences (Volume: PP, Issue: 99)

    • DOI: 10.1109/TRPMS.2017.2780447
    • 監視システム + DAQの一部をGoで実装
    • キーワード: 検出器、粒子ビーム、陽子、イオン、プラズマ、構造ビーム、モニタリング

  • Let’s Go: データ駆動型マルチスレッドサポート (Alberto Scionti, Somnath Mazumdar) CF'17 Proceedings of the Computing Frontiers Conference

    • doi.org/10.1145/3075564.3075596 「…この論文は、goroutineをデータ駆動型PXMにマッピングする最初の試みを提案しています。…」
    • キーワード: データ駆動型、プログラミング言語、マルチスレッド

  • ペアワイズ距離による混合エントロピーの推定 (Artemy Kolchinsky, Brendan D. Tracey)

  • Towards Omnia: 品質認識DevOpsのための監視ファクトリ (Marco Miglierina, Damian A. Tamburri)

    • doi.org/10.1145/3053600.3053629 ICPE ‘17 Companion
    • github.com/mmiglier/omnia (Go: 52.8% )
    • キーワード: モニタリング、モニタリング管理、モニタリングファクトリ、モニタリングインターフェース、コードとしてのモニタリングインフラストラクチャ、コードとしてのモニタリング構成

  • コピーオンリファレンスファイルメカニズムが動的再構成の範囲を拡張 (Jeremy Krach) 論文

  • 明示的に地理的範囲を用いた系統生物地理学のイベントモデル (J. Salvador Arias)

  • 火星への貨物補給ミッションのための再利用可能な連続推力宇宙船の実現可能性 (C. B. Rabotin) 論文

    • pdf
    • github.com/ChristopherRabotin/smd スペースミッションデザイン - SPICE強化連続推力惑星間ミッション伝播器および可視化ツール
    • キーワード: 宇宙ミッション 惑星間ミッション 天体 宇宙力学 軌道伝播 SPICE

  • APIにおけるオープンソースHTTPウェブフレームワークの性能テスト (Michael A.P. Domingues) DSIE’17

  • 企業プロキシの自動構成方法 (Andrés Abelardo Villarroel Acosta, Carlos Enrique Montenegro Marín, Paulo Alonso Gaona García, Yuri Vanessa Nieto Acevedo) Ingeniería solidaria, 2017

  • NucAmino: ウイルス遺伝子配列に最適化されたヌクレオチドからアミノ酸へのアラインメント (Philip L. Tzou, Xiaoqiu Huang, Robert W. Shafer) BMC Bioinformatics (2017) 18: 138.

  • 信頼性の高いコンピューティングのためのコンテナを使用した慣用的で再現可能なソフトウェアビルド (Jonas Weber) 修士論文

  • Cliveにおける構造化I/Oストリーム: 広域ネットワークコンピューティングのためのツールボックスアプローチ (Francisco J. Ballesteros)

    • DOI: 10.1186/s13174-016-0054-8 OPEN ACCESS 「…CliveはGoで書かれたシステムです…」
    • Clive関連研究
    • Cliveソース 「…Cliveは、分散コンピューティングおよびクラウドコンピューティング環境で動作するように設計されたオペレーティングシステムです。…」
    • キーワード: ストリーム、入出力、オペレーティングシステム、分散システム、クラウドコンピューティング

  • 実用的なデフォルトオンマルチコア記録/再生に向けて (Ali José Mashtizadeh, Tal Garfinkel, David Terei, David Mazières, Mendel Rosenblum) 草稿, ASPLOS 2017

    • 草稿 – ASPLOS 2017にて受理 - PDF 「…Castorは現在、FreeBSD上のC、C++、Goで書かれたアプリケーションをサポートしています…、…Goの場合、Caddyを評価します…」

  • MapReduceとパイプライン実装の三角形カウントにおける比較 (Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan)

  • Fencing off Go: チャネルベースプログラミングの活性と安全性 (J. Lange, N. Ng, B. Toninho, N. Yoshida), POPL 2017

  • 並行C0の設計と実装 (Willsey, Prabhu, Pfenning)

  • コミットメッセージとバグレポートからのセキュリティ問題の自動識別 (Yagin Zhou, Asankhaya Sharma), FSE 2017

  • Goバイナリからのプログラムセマンティクス再構築 (Engelke)

  • GoにおけるディスクI/Oコスト削減の試み (Wilson, Mutschlechner)

  • Go-RealTime: ユーザー空間におけるマルチプロセッサリアルタイムシステムのための軽量フレームワーク (Fang, Luo, Anwar, Zhuang, Gupta)

  • 「ブロックチェーンを用いた安全で信頼できる電子カルテ共有」 (Alevtina Dubovitskaya, Zhigang Xu, Samuel Ryu, Michael Schumacher, Fusheng Wang)

  • 「より信頼性と可用性の高いDockerベースのコンテナクラウドに向けて」 (Mudit Verma, Mohan Dhawan)

2016

  • Atom: 水平スケーリング可能な強力な匿名性 (Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford)
    • arXiv:1612.07841 cs.CR 「…私たちは約3,500行のGoコードでAtomプロトタイプを実装しました…」
  • コンセンサスなしの再構成のケース: アトミックストレージのアルゴリズム比較 (Leander Jehl, Hein Meling)
  • Flower: 最新のクラウドインフラストラクチャのためのワークフロー管理と熱認識スケジューリング (Robert Carosi, Boris Mattijssen) 学士論文,
    • 概要, pdf, キーワード: コンテナ, ワークフロー, 仮想化, スケジューリング, flower, kubernetes
  • Goを使用したウェブベースの予約システムの導入 (Vu, Phi-Long) 独立論文基礎レベル
    • 概要, pdf ; キーワード: 予約システム, Go, Golang, REST, XSS, XSRF
  • コーパスマネージャーの時間のかかる操作の並列化 (Bc. Radoslav Rábara) 修士論文、マサリク大学
    • pdf ; キーワード: Manatee, テキストコーパス, Go, テキスト圧縮, 整数圧縮, 時間のかかる操作, 並列化, MapReduce, Glow, 分散コンピューティング, データ形式, クラスター, スケーラビリティ
  • サイバーセキュリティ演習のモデリングと追跡 (Joonas Greis) 学士論文
    • pdf 「…RESTful APIはGo-Json-Restパッケージを使用してGolangで記述されました…」
  • ハードウェア支援秘密分散によるスケーラブルなビザンチンコンセンサス (Jian Liu, Wenting Li, Ghassan O. Karame, N. Asokan)
  • 高速で信頼性の高いビザンチンフォールトトレランス (Eric Scott Freeman) 計算機科学修士論文
  • Goにおける並行性の形式的検証 (Anuchit Prasertsang, Denduang Pradubsuwun)
  • ブールネットワークアトラクターを用いた治療標的発見: kaliからの最新情報 (Arnaud Poret) (定量的生物学 > 分子ネットワーク)
  • Goのための情報フロー解析 (Eric Bodden, Ka I. Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert)
  • 論理プログラミングのための生産性チェッカー (E. Komendantskaya, P. Johann, M. Schmidt)
  • 生物学的配列の複数の共分散とクラスタリングを検出する新しいアルゴリズム (Wei Shen & Yan Li) (共進化、計算モデル)
  • Hyperledger Blockchain Fabricのアーキテクチャ (Christian Cachin)
  • プログラミング体験の再考 (Mehrdad Afshari, 論文) GoClr
  • MapReduce vs. パイプラインでの三角形カウント (Edelmira Pasarella, Maria-Esther Vidal, and Cristina Zoltan)
  • Goプログラミング言語におけるパラメトリック多相 (Matthew Allen) テキサス大学、チューリングスカラーズ優等論文
  • 同期Mini-Goのための静的トレースベースデッドロック分析 (Kai Stadtmüller, Martin Sulzmann, and Peter Thiemann)
  • 継続クエリベースのシンジケーション: IoT向けの分散型、表現力豊かなメッセージング (Gabriel Fierro, Erik Krogen)
  • モノのインターネットにおけるプライバシー、発見、認証 (Wu, Taly, Shankar, Boneh)
  • グローバルセッショングラフ合成によるGoの並行処理デッドロックの静的検出 (Ng, Yoshida)
  • Goroutinesと遅延関数を持つ並行計算の小ステップセマンティクス (Martin Steffen)
  • Butterfield, Ellis H., “Goを用いたフォグコンピューティング: 比較研究” (2016). CMC上級論文. 論文1348。
  • CSPスタイルを用いたGoにおけるカーネルネットワークスタックの実装と分析 (Harshal Sheth, Aashish Welling)
  • PAS-MC: モバイルクラウドのためのプライバシー保護分析ストリーム (Joy, Gerla)
  • イーサリアムブロックチェーンアプリケーションの開発 (Triantafyllidis)
  • Torネットワークにおけるシビルを特定し特徴付ける (Winter, Ensafi, Loesing, and Feamster)
  • グラフデータベースシステムDGraphの分散実装
  • Browsix: Unixとブラウザのギャップを埋める (Powers, Vilk, Berger)
  • Why3を用いたGoroutineの検証 (Schoolderman)
  • Goソースコードの静的解析によるバグとコードの匂いの検出 (Bergersen)
  • BTrDB: 時系列処理のためのストレージシステム設計の最適化 (Andersen, Culler)
  • リスク要因開示: 経営者と市場は同じ言語を話すのか？

2015

2014

2013

  • GoPar: Goプログラムの自動ループ並列化 (Wetherbee)
  • GoにおけるSCTP (Olivier Van Acker)
    • キーワード: Stream Control Transmission Protocol (SCTP); Transmission Control Protocol (TCP); Go; Networking;
    • pdf
  • マルチコア言語の使いやすさと性能のベンチマーク (Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer)
  • 並列プログラミングにおける専門家ギャップの検証 (Sebastian Nanz, Scott West, Kaue Soares da Silveira)
  • アクロポリス: Paxosによる集約クライアントリクエスト順序付け (Jothen)
  • ライブ置換と再構成の実装と実験的評価 (Lea)
  • Coalgebric論理プログラミングにおける並列性の活用 (Komendantskaya, Schmidt, Heras)
  • 並列パターン発見 (Egon Elbre)、修士論文、タルトゥ大学

2012

  • Time Warp on the Go (D’Angelo, Ferretti, Marzolla)
  • Goは今日のマルチコア問題と明日のメニーコア問題に対処できるか？ (S. Binet)
  • GoCxx: C++レガシーコードをマルチコア対応のGoライブラリおよびフレームワークに簡単に活用するためのツール (S. Binet)
  • バッファリングされたπ計算: 並行言語のモデル (Deng, Zhang, Deng, Zhong)
  • Goランタイムスケジューラの分析 (Neil Deshpande, Erica Sponsler, Nathaniel Weiss)
  • 並行処理のためのプログラミングモデルの比較研究 (Kaue Soares da Silveira) – ポルトアレグレ: COMGRAD CIC UFRGS, 2012. 最終報告 (学士)
  • Debianコード検索 (Stapelberg)
  • SCC上のGoの並行処理構成 (Prell, Rauber)
  • 動的計画法問題を用いた直接非巡回タスクグラフにおけるGoとC++ TBBの並列性能比較 (Serfass, Tang)

2011

  • ng: 次世代言語がメニーコア時代のHENPフレームワークについて教えてくれること (S. Binet)
  • Goにおける動的プロセスネットワークを用いたウェブコンテンツの提供 (James Whitehead II)

2010

  • GoHotDraw: デザインパターンを用いたGoプログラミング言語の評価 (Schmager, Cameron, Noble)

このコンテンツはGo Wikiの一部です。

go.dev は、サービスの品質を提供および向上させ、トラフィックを分析するために、Google の Cookie を使用しています。詳細はこちらをご覧ください。