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）
- 輕量級 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 和 Leitner。在：經驗軟體工程。
-
了解 Go 中的真實世界並行錯誤（Tu、Liu、Song、Zhang）
-
Go 專案中訊息傳遞並行的經驗研究（N. Dilley、J. Lange）
-
用於全面下一個世代定序工具的三種程式語言比較（Costanza、Herzeel、Verachtert）
-
使用 FairMQ 和 fer 探索 ALICE 中的多語軟體架構
-
Flash：離鏈網路的有效動態路由
-
RepChain：透過分片實現基於信譽的安全、快速且高誘因區塊鏈系統
-
Drynx：分散式、安全、可驗證的系統，用於分布式資料集上的統計查詢和機器學習
-
STYLE-ANALYZER：使用可解釋的非監督式演算法修正程式碼樣式不一致
-
具有高斯過程動態的成對比較線性時間推論
2018
-
用於持續效能評估的開源軟體微基準測試套件評估。Laaber 和 Leitner。在：MSR ’18：第 15 屆軟體儲存庫挖掘國際研討會。
-
基於法定人數的抽象分析：使用 Gorums 實作 Raft 的案例研究。Sebastian Pedersen、Hein Meling 和 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 和 Robert T. Morris，「以高階語言撰寫 POSIX 核心程式的好處與代價」
-
Voit，Sebastian Peter Johann。「使用 Go 撰寫網路驅動程式。」
-
「MoonShine：使用追蹤精餾最佳化作業系統模糊測試種子選取」(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 技術論文
- bitbucket.org/bestchai/dinv/ 「DInv 是分散式系統資料不變式偵測器」；「DInv 使用 go 語言撰寫」
-
「重新探討向量空間模型：極端多標籤分類的稀疏加權最近鄰法。」(Tatsuhiro Aoshima、Kei Kobayashi、Mihoko Minami) arXiv:1802.03938 stat.ML,
- PDF:arXiv:1802.03938-stat.ML
- github.com/hiro4bbh/sticker 「…我們已發布使用 Golang (Golang, 2009) 編寫的實作標籤 (Aoshima, 2018)…」
- 關鍵字：標籤、機器學習、分類
-
使用行為類型進行訊息傳遞的靜態驗證架構 (J. Lange、N. Ng、B. Toninho、N. Yoshida)
- 已接受的草稿，刊登於 ICSE 2018
- 工具頁面，來源：godel-checker 和 Go 前端
-
大規模尋找貪婪、浪費和自殺合約 (Ivica Nikolic、Aashish Kolluri、Ilya Sergey、Prateek Saxena、Aquinas Hobor)
- PDF 「為了實作驗證架構，我們為官方 go-ethereum 套件 [20] 新增了一項新功能，讓我們可以在我們選擇的區塊高度分叉以太坊主鏈。」
-
Google 的變異測試狀態 (Goran Petrovic 和 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 和 Hein Meling。在 Kisung Lee 和 Ling Liu 編輯的《第 37 屆 IEEE 分散式運算系統國際會議，ICDCS 2017，美國喬治亞州亞特蘭大，2017 年 6 月 5 日至 8 日，第 2380-2385 頁》中。IEEE 電腦協會，2017
-
Go-HEP：輕鬆使用 Go 編寫並行軟體（S. Binet）
-
RDFIO：擴充語意化 MediaWiki 以進行可互操作的生物醫學資料管理（Samuel Lampa、Egon Willighagen、Pekka Kohonen、Ali King、Denny Vrandečić、Roland Grafström、Ola Spjuth）《生物醫學語意學期刊》（第 8 卷，第 35 期）
- DOI：10.1186/s13326-017-0136-y
- rdf2smw 命令列工具，用於批次轉換 RDF 到 MediaWiki XML 轉儲格式中的語意化 MediaWiki 事實，是用 Go 編寫的
- github.com/rdfio/rdf2smw
- godoc
- 關鍵字：語意化 MediaWiki、語意化網路、RDF
-
建構並首次測試專門用於 65 MeV 質子進行強子治療控制的束內正子斷層攝影示範器（E Busato 等人）《IEEE 輻射與電漿醫學科學交易》（第 PP 卷，第 99 期）
- DOI：10.1109/TRPMS.2017.2780447
- Go 中的監控系統 + DAQ 的部分
- 關鍵字：偵測器、粒子束、質子、離子、電漿、結構束、監控
-
開始吧：資料驅動的多執行緒支援（Alberto Scionti、Somnath Mazumdar）《CF'17 運算前沿會議論文集》
- doi.org/10.1145/3075564.3075596 「…本文提出首次嘗試將 goroutine 對應到基於資料驅動的 PXM 上。…」
- 關鍵字：資料驅動、程式語言、多執行緒
-
使用成對距離估計混合熵（Artemy Kolchinsky、Brendan D. Tracey）
-
邁向 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) 論文
- github.com/krockpot/lazyfs 「程序遷移的懶惰檔案擷取。」
-
使用明確地理範圍的系統發生生物地理事件模型 (J. Salvador Arias)
- http://onlinelibrary.wiley.com/doi/10.1111/jbi.13024/full
- 電腦實作 (使用 Go 編寫的 EVS) : github.com/js-arias/evs 「Evs 是系統發生生物地理的工具。」
-
可重複使用持續推力太空船執行火星貨物補給任務的可行性 (C. B. Rabotin) 論文
- github.com/ChristopherRabotin/smd 太空任務設計 - 一個 SPICE 增強的持續推力星際任務傳播器和視覺化器
- 關鍵字：太空任務 星際任務 天體 太空動力學 軌道傳播 spice
-
在 API 中執行開源 HTTP 網路架構的效能測試 (Michael A.P. Domingues) DSIE’17
- https://paginas.fe.up.pt/~prodei/dsie17/DSIE17_Proceedings.pdf#page=18
- 關鍵字：Revel、Gin 和 Echo、效能測試、API、網路架構、Apache benchmark
-
企業代理伺服器的自動設定方法 (Andrés Abelardo Villarroel Acosta、Carlos Enrique Montenegro Marín、Paulo Alonso Gaona García、Yuri Vanessa Nieto Acevedo) Ingeniería solidaria，2017
- https://revistas.ucc.edu.co/index.php/in/article/view/1723
- https://github.com/andresvia/udpac
- 關鍵字：代理自動設定 (PAC)、網頁代理自動發現通訊協定 (WPAD)、動態主機設定通訊協定 (DHCP)、標準時間。
-
NucAmino：針對病毒基因序列最佳化的核苷酸至胺基酸比對（Philip L. Tzou、Xiaoqiu Huang、Robert W. Shafer）BMC Bioinformatics（2017）18：138。
- DOI：10.1186/s12859-017-1555-6「… NucAmino 以電腦語言 Go 編寫…」
- github.com/hivdb/NucAmino（Go 94.4%）
- 關鍵字：序列比對、病毒、HIV-1、抗藥性、開放原始碼
-
使用容器進行慣用語法且可重製的軟體建置，以進行可靠運算（Jonas Weber）碩士論文
-
Clive 中的結構化 I/O 串流：廣域網路運算的工具箱方法（Francisco J. Ballesteros）
- DOI：10.1186/s13174-016-0054-8 開放取用「… 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）
- arXiv:1701.03318 cs.DC
- pdf「…以 Go 語言實作 MapReduce 的特殊版本…」
-
圍起 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 原型，程式碼約 3,500 行，…」
- 無共識重新組態的案例：比較原子儲存演算法（Leander Jehl、Hein Meling）
- github.com/relab/smartmerge 以 Golang 實作
- Flower：現代雲端基礎架構的工作流程管理與熱感知排程（Robert Carosi、Boris Mattijssen）學士論文，
- 使用 Go 實作基於 Web 的訂位系統（Vu, Phi-Long）獨立論文基礎等級
- 語料庫管理員耗時作業的平行化（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）
- arXiv:1612.04997 cs.CR；「… 我們的實作是基於 Golang…」；pdf
- 快速且可靠的拜占庭容錯（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) (共同演化、計算模型)
- http://www.nature.com/articles/srep30425，doi:10.1038/srep30425
- 演算法實作 (golang - 僅二進位檔)：http://yanlilab.github.io/fastcov/
- Hyperledger 區塊鏈架構 (Christian Cachin)
- 重新構思程式設計體驗 (Mehrdad Afshari，論文) GoClr
- MapReduce 與流水線計數三角形 (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)
- 物聯網的隱私、發現和驗證（吳、塔利、尚卡、波內）
- 透過全球會話圖形合成進行並行 Go 的靜態死結偵測（吳、吉田）
- 具有 Goroutine 和延遲函數的並行微積分的微小步驟語意（馬丁·史蒂芬）
- 巴特菲爾德、艾利斯·H.，“使用 Go 的霧計算：比較研究”（2016）。CMC 學士論文。論文 1348。
- 使用 CSP 風格在 Go 中實作和分析核心網路堆疊（哈夏爾·謝斯、阿希什·韋林）
- PAS-MC：行動雲端的隱私保護分析串流（喬伊、格拉）
- 開發以太坊區塊鏈應用程式（特里安塔菲利迪斯）
- 識別和描述 Tor 網路中的 Sybils（溫特、恩薩菲、勒辛和費斯特）
- 圖形資料庫系統的分布式實作：DGraph
- Browsix：橋接 Unix 和瀏覽器之間的差距（鮑爾斯、維爾克、伯傑）
- 使用 Why3 驗證 Goroutine（史庫德曼）
- 透過 Go 原始碼的靜態分析偵測錯誤和程式碼異味（伯格森）
- BTrDB：最佳化時間序列處理的儲存系統設計（安德森、卡勒）
- 風險因子揭露：經理人和市場是否說著相同的語言？
2015
- Tinzenite：透過 Tox 協定進行加密的點對點檔案同步（塔米諾·P.S.M. 哈特曼）（烏爾姆大學碩士論文）
- Blade：資料中心垃圾收集器 (Terei、Levy)
- 飛輪：Google 的行動網路資料壓縮代理程式 (Agababov、Buettner、Chudnovsky、Cogan、Greenstein、McDaniel、Piatek、Scott、Welsh、Yin)
- 協助湍流模型開發的機器學習策略 (Brendan Tracey、Karthik Duraisamy、Juan J. Alonso)
- 使用 Golang 的並行原語為 unix 終端實作經典滑塊益智遊戲的智慧型版本 (Pravendra Singh)
- 使用分散式見證共同簽署來維持權威的「誠實或破產」 (Syta、Tamas、Visher、Wolinsky、Jovanovic、Gasser、Gailly、Khoffi、Ford)
- 程式語言和作業系統的訊息傳遞 (Martynas Pumputis) 碩士論文
- Go 的型別推論 (Emin Gigovic、Philip Malmros)
- 存取 Thermo Scientific RAW 檔案的開源、平台非相依函式庫和線上指令碼編寫環境。(Kelchtermans、Silva、Argentini、Staes、Vandenbussche、Laukens、Valkenborg、Martens)
- 評估 HPC 環境中潛在程式語言的效能和生產力指標 (學士論文；Florian Wilkens) - (Go、Rust、C、OpenStreetMap)
- 文字語料查詢的並行處理 (Rábara、Rychlý)
- Go 程式語言的自動記憶體管理技術 (戴維斯) (博士論文)
- 設計 Muntoi 網路基礎架構和主題虛擬博物館的搜尋引擎分析 (Sajarwo Anggai) (博士論文)
- 由網際網路廣泛掃描支援的搜尋引擎 (Durumeric、Adrian、Mirian、Bailey、Halderman)
- Go 語言的萃取函式重構 (Arasu)
- 使用 LLVM IR 的組合式反編譯 (理學士論文，Robin Eklind)
- 「U-root：一種基於 Go 的韌體可嵌入式根檔案系統，具備隨選編譯功能」 (Minnich、Mirtchovski)
2014
- PARAGON：一種使用 Go 程式語言並行化電力系統突發事件分析的方法
- 在現代 HPC 語言上對逐次過鬆弛法並行化的研究 (Mittal)
- 平等議會中存在更多共識 (Moraru、Andersen、Kaminsky)
- 實作 Go 的研究問題
- bíogo：一種適用於 Go 語言的簡單高性能生物資訊學工具包 (D. Kortschak、D. Adelson)
- P2S：一種容錯發佈/訂閱基礎架構 (Chang、Duan、Meling、Peisert、Zhang)
- 從 Uppaal 模型產生 Google Go 架構 (Dekker)
- 實務上使用 Go 程式語言 (Westrup、Pettersson)
- 一種訊息傳遞系統模型中用於詳盡故障注入的語言支援 (Suzuki、Watanabe)
- 貝氏方法中的大規模學習
- 在地域複製交易系統中保持一般性，不要放棄一致性
- Mumax3 的設計和驗證（Vansteenkiste、Leliaert、Dvornik、Garcia-Sanchez、Van Waeyenberge）
- 建構可靠且實用的拜占庭容錯（Duan）
2013
- GoPar：Go 程式的自動迴圈平行化（Wetherbee）
- Go 中的 SCTP（Olivier Van Acker）
- 關鍵字：串流控制傳輸協定（SCTP）；傳輸控制協定（TCP）；Go；網路；
- 多核心語言的可用性和效能基準測試（Sebastian Nanz、Scott West、Kaue Soares da Silveira、Bertrand Meyer）
- 探討平行程式設計中的專家差距（Sebastian Nanz、Scott West、Kaue Soares da Silveira）
- Acropolis：Paxos 聚合客戶端請求排序（Jothen）
- 動態替換和重新組態的實作和實驗評估（Lea）
- 利用平行化在煤代數邏輯程式設計中（Komendantskaya、Schmidt、Heras）
- 平行模式發現（Egon Elbre），塔爾圖大學碩士論文
2012
- Go 上的時間扭曲（D’Angelo、Ferretti、Marzolla）
- Go 能否解決當今的多核心問題和未來的多核心問題？（S. Binet）
- GoCxx：一個工具，可輕鬆利用 C++ 舊有程式碼，以建立友善多核心的 Go 函式庫和架構（S. Binet）
- 緩衝 π-演算：並行語言的模型（鄧、張、鄧、鍾）
- Go 執行時間排程器的分析（尼爾·德斯潘德、艾莉卡·斯龐斯勒、納撒尼爾·魏斯）
- 並行程式設計模型的比較研究（卡烏·索爾斯·達·席爾維拉）– 阿雷格里港：UFRGS COMGRAD CIC，2012 年。期末報告（學士）
- Debian 程式碼搜尋（施塔佩爾伯格）
- Go 的 SCC 並行建構（普雷爾、勞伯）
- 使用動態規劃問題，比較 Go 和 C++ TBB 在直接非循環任務圖上的平行效能（瑟法斯、湯）
2011
- ng：下一代語言能教我們什麼關於多核心時代的 HENP 架構（S. Binet）
- 在 Go 中使用動態處理網路提供網頁內容（詹姆斯·懷特黑德二世）
2010
- GoHotDraw：使用設計模式評估 Go 程式語言（施馬格、卡麥隆、諾布爾）
此內容是 Go Wiki 的一部分。