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)
  • 從民間傳說到事實：比較棧和 Continuation 的實現 (K. Farvadin, J. Reppy)
  • 輕量級 Go (R. Griesemer, R. Hu, W. Kokke, J. Lange, I. Taylor, B. Toninho, P. Wadler, N. Yoshida)
  • GoPi: 編譯 Go 中的線性通道和靜態通道 (M. Giunti)
  • 圍堵 Go：通道程式設計的活性和安全性
  • 打破 Go 的型別安全：關於 unsafe 包使用情況的實證研究 (D. Costa, S. Mujahid, R. Abdalkareem, E. Shihab)
  • Go 程式的靜態競態檢測和互斥量安全與活性 (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, and Leitner。載於：經驗軟體工程。

  • 理解 Go 中真實的併發 bug (Tu, Liu, Song, Zhang)

  • Go 專案中訊息傳遞併發的實證研究 (N. Dilley, J. Lange)

  • 用於全功能下一代測序工具的三種程式語言的比較 (Costanza, Herzeel, Verachtert)

  • 在 ALICE 中探索使用 FairMQ 和 fer 的多語言軟體框架

  • Flash：高效的鏈下網路動態路由

  • RepChain：一種基於信譽的安全、快速、高激勵的分片區塊鏈系統

  • Drynx：用於分散式資料集上統計查詢和機器學習的去中心化、安全、可驗證系統

  • STYLE-ANALYZER：使用可解釋的無監督演算法修復程式碼風格不一致

  • 具有高斯過程動力學的成對比較的線性時間推理

2018

  • 用於持續效能評估的開源軟體微基準套件的評估。Laaber 和 Leitner。載於：MSR '18：第 15 屆國際軟體儲存庫挖掘會議。

  • 基於 Quorum 的抽象分析：使用 Gorums 實現 Raft 的案例研究。Sebastian Pedersen, Hein Meling, and Leander Jehl。載於：2018 年分散式系統演算法實現和評估的先進工具、程式語言和平臺研討會論文集，ApPLIED@PODC 2018，英國埃格姆，2018 年 7 月 27 日。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, and Robert T. Morris，“用高階語言編寫 POSIX 核心的優點和成本”

  • Voit, Sebastian Peter Johann。“用 Go 編寫網路驅動程式。”

  • “MoonShine：使用跟蹤蒸餾最佳化 OS Fuzzer 種子選擇”（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：用於處理大型冪律圖的分散式子圖中心框架

  • 使用 PURBs 減少加密檔案和通訊的元資料洩露

2017

  • Gorums：邁向實現 quorum-based 系統的更高階抽象。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 Computing Frontiers Conference 論文集

    • doi.org/10.1145/3075564.3075596 “……本文提出了將 goroutines 對映到資料驅動的 PXM 上的首次嘗試……”
    • 關鍵字：資料驅動、程式語言、多執行緒

  • 使用成對距離估計混合熵 (Artemy Kolchinsky, Brendan D. Tracey)

  • 邁向 Omnia：一個面向質量感知的 DevOps 的監控工廠 (Marco Miglierina, Damian A. Tamburri)

  • 寫時複製檔案機制擴充套件了動態重配置的範圍 (Jeremy Krach) 論文

  • 使用顯式地理範圍的系統發育生物地理學的事件模型 (J. Salvador Arias)

  • 用於火星貨物補給任務的可重複使用連續推力航天器的可行性 (C. B. Rabotin) 論文

    • pdf
    • github.com/ChristopherRabotin/smd 空間任務設計 - 一個增強 SPICE 的連續推力星際任務傳播器和視覺化器
    • 關鍵字：空間任務、星際任務、天體、軌道力學、軌道傳播、spice

  • API 中開源 HTTP Web 框架的效能測試 (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 )

  • 面向實踐的預設開啟多核記錄/回放 ( Ali José Mashtizadeh, Tal Garfinkel, David Terei, David Mazières, Mendel Rosenblum) 草稿，ASPLOS 2017

  • 比較 MapReduce 和 Pipeline 實現計數三角形 ( Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan)

  • 圍堵 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 “……我們用 Go 實現了一個 Atom 原型，大約 3500 行程式碼……”
  • 無需共識的重配置的論據：比較原子儲存演算法 (Leander Jehl, Hein Meling)
  • Flower：現代雲基礎設施的工作流管理和熱感知排程 (Robert Carosi, Boris Mattijssen) 學士論文，
    • 摘要，pdf，關鍵字：容器、工作流、虛擬化、排程、flower、kubernetes
  • 使用 Go 實現基於 Web 的預訂系統 ( Vu, Phi-Long ) 獨立論文基礎級別
    • 摘要，pdf；關鍵字：預訂系統、Go、Golang、REST、XSS、XSRF
  • 語料庫管理器耗時操作的並行化 (Bc. Radoslav Rábara ) 碩士論文，馬薩里克大學
    • pdf；關鍵字：Manatee、文字語料庫、Go、文字壓縮、整數壓縮、耗時操作、並行化、MapReduce、Glow、分散式計算、資料格式、叢集、可擴充套件性
  • 網路安全演習建模與跟蹤 (Joonas Greis) 學士論文
    • pdf “……RESTful API 是使用 Golang 和 Go-Json-Rest 包編寫的……”
  • 透過硬體輔助的金鑰共享實現可擴充套件的拜占庭共識 (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 與 Pipelining 計數三角形 (Edelmira Pasarella, Maria-Esther Vidal,and Cristina Zoltan)
  • Go 程式語言中的引數化多型 (Matthew Allen) 德克薩斯大學，圖靈學者榮譽論文
  • 同步 mini-Go 的基於軌跡的靜態死鎖分析 ( Kai Stadtmüller, Martin Sulzmann, and Peter Thiemann )
  • 基於查詢的持續聚合：用於物聯網的分散式、富有表現力的訊息傳遞 ( Gabriel Fierro, Erik Krogen )
  • 物聯網的隱私、發現和認證 (Wu, Taly, Shankar, Boneh)
  • 透過全域性會話圖綜合進行併發 Go 的靜態死鎖檢測 (Ng, Yoshida)
  • 具有 Goroutines 和延遲函式的併發計算的簡化語義 ( Martin Steffen )
  • Butterfield, Ellis H., “Fog Computing with Go: A Comparative Study” (2016)。CMC 高階論文。論文 1348。
  • 具有 CSP 風格的 Go 核心網路棧的實現和分析 (Harshal Sheth, Aashish Welling)
  • PAS-MC：移動雲的隱私保護分析流 (Joy, Gerla)
  • 開發以太坊區塊鏈應用程式 (Triantafyllidis)
  • 識別和表徵 Tor 網路中的 Sybil (Winter, Ensafi, Loesing, and Feamster)
  • 分散式實現圖資料庫系統：DGraph
  • Browsix：連線 Unix 和瀏覽器的鴻溝 (Powers, Vilk, Berger)
  • 使用 Why3 進行 Goroutines 驗證 (Schoolderman)
  • 透過 Go 原始碼的靜態分析檢測 Bug 和程式碼異味 (Bergersen)
  • BTrDB：為時間序列處理最佳化儲存系統設計 (Andersen, Culler)
  • 風險因素披露：管理者和市場是否使用同一種語言？

2015

2014

2013

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) – Porto Alegre: COMGRAD CIC UFRGS, 2012. 最終報告 (學士)
  • Debian 程式碼搜尋 (Stapelberg)
  • SCC 上的 Go 併發構造 (Prell, Rauber)
  • 比較 Go 和 C++ TBB 在動態規劃問題上基於有向無環任務圖的並行效能 (Serfass, Tang)

2011

2010

  • GoHotDraw：使用設計模式評估 Go 程式語言 (Schmager, Cameron, Noble)

此內容是 Go Wiki 的一部分。

go.dev 使用 Google 的 cookie 來提供和增強其服務質量並分析流量。 瞭解更多。