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)
  • 无需共识的重配置的论据：比较原子存储算法 (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 )
    • pdf
    • 代码 - 第一个 beta 实现：gopherlyzer
  • 基于查询的持续聚合：用于物联网的分布式、富有表现力的消息传递 ( 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 来提供和增强其服务质量并分析流量。 了解更多。