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：使用跟踪蒸馏优化 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 技术论文
- 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）编写的实现 sticker（Aoshima，2018）…”
- 关键词：贴纸、机器学习、分类
-
使用行为类型在 Go 中进行消息传递的静态验证框架（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 质子进行强子治疗的弹道控制的束内 PET 演示器的构建和首次测试（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 “…本文尝试首次将协程映射到基于数据驱动的 PXM 上。…”
- 关键词：数据驱动、编程语言、多线程
-
用成对距离估计混合熵（Artemy Kolchinsky、Brendan D. Tracey）
-
迈向 Omnia：一个面向质量感知 DevOps 的监控工厂（Marco Miglierina、Damian A. Tamburri）
- doi.org/10.1145/3053600.3053629 ICPE‘17 附录
- 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 Web 框架的性能测试（Michael A.P. Domingues）DSIE’17
- https://paginas.fe.up.pt/~prodei/dsie17/DSIE17_Proceedings.pdf#page=18
- 关键词：Revel、Gin 和 Echo、性能测试、API、Web 框架、Apache 基准
-
企业代理的自动配置方法（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)、Web 代理自动发现协议 (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“......MapReduce 的一个特设版本是用 Go 语言实现的......”
-
围栏 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）
- github.com/relab/smartmerge 用 Go 语言实现
- 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 包用 Go 语言编写的……”
- 通过硬件辅助秘密共享实现可扩展拜占庭共识（Jian Liu、Wenting Li、Ghassan O. Karame、N. Asokan）
- arXiv:1612.04997 cs.CR；“......我们的实现基于 Go 语言……”；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 和 Cristina Zoltan）
- Go 编程语言中的参数多态性（Matthew Allen）德克萨斯大学，图灵学者荣誉论文
- 同步 Mini-Go 的静态基于跟踪的死锁分析（Kai Stadtmüller、Martin Sulzmann 和 Peter Thiemann）
- 基于连续查询的联合：物联网的分布式、表达式消息传递（Gabriel Fierro、Erik Krogen）
- 物联网的隐私、发现和身份验证（Wu、Taly、Shankar、Boneh）
- 通过全局会话图合成对并发 Go 进行静态死锁检测（Ng、Yoshida）
- 具有 Goroutine 和延迟函数的并发演算的小步语义（Martin Steffen）
- Butterfield, Ellis H.，“使用 Go 进行雾计算：比较研究”（2016）。CMC 高年级论文。论文 1348。
- 使用 CSP 样式在 Go 中实现和分析内核网络栈（Harshal Sheth、Aashish Welling）
- PAS-MC：移动云的隐私保护分析流（Joy，Gerla）
- 开发以太坊区块链应用（Triantafyllidis）
- 识别和表征 Tor 网络中的 Sybils（Winter、Ensafi、Loesing 和 Feamster）
- 图数据库系统的分布式实现：DGraph
- Browsix：弥合 Unix 和浏览器之间的差距（Powers、Vilk、Berger）
- 使用 Why3 验证 Goroutines（Schoolderman）
- 通过 Go 源代码的静态分析检测 Bug 和代码异味（Bergersen）
- BTrDB：针对时间序列处理优化存储系统设计（Andersen、Culler）
- 风险因素披露：经理和市场是否使用相同的语言？
2015
- Tinzenite：通过 Tox 协议进行加密的对等文件同步（Tamino P.S.M. Hartmann）（乌尔姆大学硕士论文）
- Blade：数据中心垃圾收集器（Terei、Levy）
- Flywheel：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 编程语言的自动内存管理技术（Davis）（博士论文）
- 面向主题虚拟博物馆设计 Muntoi 基于 Web 的框架和搜索引擎分析（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）
- 贝叶斯方法的大学习
- 在 Geo-Replicated 交易系统中保持通用性，不要放弃一致性
- 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）
- 缓冲 π 演算：并发语言模型（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 中使用动态进程网络提供 Web 内容（James Whitehead II）
2010
- GoHotDraw：使用设计模式评估 Go 编程语言（Schmager、Cameron、Noble）
此内容是 Go Wiki 的一部分。