This page lists academic and industry research papers about Go or using Go as the implementation language.

2017

• Method of auto-configuration for corporate proxies (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

• Keywords: Proxy Auto-configuration (PAC), Web Proxy Auto-Discovery Protocol (WPAD), Dynamic Host Configuration Protocol (DHCP), Standard Time.

• NucAmino: a nucleotide to amino acid alignment optimized for virus gene sequences ( Philip L. Tzou, Xiaoqiu Huang, Robert W. Shafer ) BMC Bioinformatics (2017) 18: 138.

• DOI: 10.1186/s12859-017-1555-6 “... NucAmino is written in the computer language Go ...”

• github.com/hivdb/NucAmino ( Go 94.4% )

• Keywords: Sequence alignment, Viruses, HIV-1, Drug resistance, Open source

• Idiomatic and Reproducible Software Builds using Containers for Reliable Computing (Jonas Weber) Master’s Thesis

• arXiv:1702.02999v1 cs.SE 9 Feb 2017, pdf

• github.com/thriqon/thesis-supplement

• Structured I/O streams in Clive: a toolbox approach for wide area network computing ( Francisco J. Ballesteros )

• DOI: 10.1186/s13174-016-0054-8 OPEN ACCESS " ... Clive is a system written in Go ..."

• Clive related research

• Clive source “...Clive is an operating system designed to work in distributed and cloud computing environments. ...”

• Keywords: Streams, Input/Output, Operating system, Distributed systems, Cloud computing

• Towards Practical Default-On Multi-Core Record/Replay ( Ali José Mashtizadeh, Tal Garfinkel, David Terei, David Mazières, Mendel Rosenblum) draft , ASPLOS 2017

  • Draft – Accepted at ASPLOS 2017 - PDF "...Castor currently supports applications written in C, C++, and Go on FreeBSD...., ... For Go, we evaluate, Caddy ... "

• Comparing MapReduce and Pipeline Implementations for Counting Triangles ( Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan)

  • arXiv:1701.03318 cs.DC
  • pdf “... an ad-hoc version of MapReduce are implemented in the language Go ...”

• Fencing off Go: Liveness and Safety for Channel-based Programming (J. Lange, N. Ng, B. Toninho, N. Yoshida), POPL 2017

  • doi: 10.1145/3009837.3009847
  • Tool page, code

2016

• Flower : Workflow management and heat-aware scheduling for modern cloud infrastructures (Robert Carosi, Boris Mattijssen) bachelor thesis,
• abstract, pdf, Keywords: container, workflow, virtualization, scheduling, flower, kubernetes
• Implementing a web-based bookingsystem using Go ( Vu, Phi-Long ) Independent thesis Basic level
• abstract, pdf ; Keywords: Booking System, Go, Golang, REST, XSS, XSRF
• Parallelization of the corpus manager’s time-consuming operations (Bc. Radoslav Rábara ) Master's Thesis, Masaryk University
  • pdf ; Keywords: Manatee, text corpora, Go, text compression, compression of integers, time-consuming operations, parallelization, MapReduce, Glow, distributed computing, data format, cluster, scalability
• Cyber Security Exercise Modeling & Tracking (Joonas Greis) Bachelor’s thesis
• pdf “... RESTful API was written with Golang using Go-Json-Rest package ...”
• Scalable Byzantine Consensus via Hardware-assisted Secret Sharing (Jian Liu, Wenting Li, Ghassan O. Karame, N. Asokan)
• arXiv:1612.04997 cs.CR ; “... Our implementation is based on Golang ...” ; pdf
• Fast and Reliable Byzantine Fault Tolerance (Eric Scott Freeman) Master's thesis in Computer science
• link, pdf
• Formal verification of concurrency in go (Anuchit Prasertsang, Denduang Pradubsuwun)
  • DOI: 10.1109/JCSSE.2016.7748882
• Therapeutic target discovery using Boolean network attractors: updates from kali ( Arnaud Poret ) ( Quantitative Biology > Molecular Networks)
  • arXiv:1611.03144v1 q-bio.MN
  • github.com/arnaudporet/kali [Go 100.0%]
• Information Flow Analysis for Go ( Eric Bodden, Ka I. Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert)
  • 10.1007/978-3-319-47166-2_30
• A Productivity Checker for Logic Programming (E. Komendantskaya, P. Johann, M. Schmidt )
  • arXiv:1608.04415 cs.PL
  • project page: http://www.macs.hw.ac.uk/~ek19/CoALP/
• A novel algorithm for detecting multiple covariance and clustering of biological sequences ( Wei Shen & Yan Li) ( Coevolution, Computational models )
• http://www.nature.com/articles/srep30425 , doi:10.1038/srep30425
• Algorithm implementation (golang - only binary ) : http://yanlilab.github.io/fastcov/
• Architecture of the Hyperledger Blockchain Fabric (Christian Cachin)
• pdf
• code
• Reimagining the Programming Experience ( Mehrdad Afshari , dissertation) GoClr
• pdf
• MapReduce vs. Pipelining Counting Triangles (Edelmira Pasarella, Maria-Esther Vidal,and Cristina Zoltan)
• pdf
• Software Engineering with PSF and Go (Erik van der Schaaf) Thesis, University of Amsterdam
• pdf
• Parametric Polymorphism in the Go Programming Language (Matthew Allen) University of Texas, Turing Scholars honors thesis
• [pdf] (http://apps.cs.utexas.edu/tech_reports/reports/tr/TR-2231.pdf)
• [code] (https://github.com/Matt343/llgo) ( LLGO based )
• Static Trace-Based Deadlock Analysis for Synchronous Mini-Go ( Kai Stadtmüller, Martin Sulzmann, and Peter Thiemann )
  • [pdf] (http://www.home.hs-karlsruhe.de/~suma0002/publications/TraceBasedDeadlockAnalysisMiniGo.pdf)
  • [code] (https://github.com/KaiSta/gopherlyzer) - first beta implementation : gopherlyzer
• Continuous Query-Based Syndication: Distributed, Expressive Messaging for the IoT( Gabriel Fierro, Erik Krogen )
  • pdf, motivation
  • code ( Go and Python implementation )
• Privacy, Discovery, and Authentication for the Internet of Things (Wu, Taly, Shankar, Boneh)
  • arxiv
  • code
• Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis (Ng, Yoshida)
  • pdf
  • code
• A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions ( Martin Steffen )
  • [springer link] (http://link.springer.com/chapter/10.1007%2F978-3-319-30734-3_26)
• Butterfield, Ellis H., “Fog Computing with Go: A Comparative Study” (2016). CMC Senior Theses. Paper 1348.
  • http://scholarship.claremont.edu/cmc_theses/1348
• An Implementation and Analysis of a Kernel Network Stack in Go with the CSP Style (Harshal Sheth, Aashish Welling)
  • [arXiv:1603.05636 cs.OS] ( http://arxiv.org/abs/1603.05636 )
• PAS-MC: Privacy-preserving Analytics Stream for the Mobile Cloud (Joy, Gerla)
  • arXiv:1604.04892 cs.CR
• Developing an Ethereum Blockchain Application (Triantafyllidis)
  • pdf
• Identifying and characterizing Sybils in the Tor network (Winter, Ensafi, Loesing, and Feamster)
  • [pdf] (https://nymity.ch/sybilhunting/pdf/sybilhunting.pdf)
  • [code] (https://github.com/NullHypothesis/sybilhunter)
• A Distributed Implementation of the Graph Database System: DGraph
  • pdf

2015

• Tinzenite: Encrypted Peer to Peer File Synchronization via the Tox Protocol (Tamino P.S.M. Hartmann) (Master thesis at Ulm University)
  • pdf
  • github.com/tinzenite
• Blade: A Data Center Garbage Collector (Terei, Levy)
  • arxiv:1504.02578 cs.DC
• Flywheel: Google's Data Compression Proxy for the Mobile Web (Agababov, Buettner, Chudnovsky, Cogan, Greenstein, McDaniel, Piatek, Scott, Welsh, Yin)
  • pdf
  • Rewriting a large production system in Go
• A Machine Learning Strategy to Assist Turbulence Model Development (Brendan Tracey, Karthik Duraisamy, Juan J. Alonso)
  • http://arc.aiaa.org/doi/abs/10.2514/6.2015-1287
• Implementing an intelligent version of the classical sliding-puzzle game for unix terminals using Golang's concurrency primitives ( Pravendra Singh )
• [arxiv:1503.08345 cs.AI] ( http://arxiv.org/abs/1503.08345 )
• Keeping Authorities “Honest or Bust” with Decentralized Witness Cosigning (Syta, Tamas, Visher, Wolinsky, Jovanovic, Gasser, Gailly, Khoffi, Ford)
  • arxiv:1503.08768 cs.CR
  • code, code
• Message Passing for Programming Languages and Operating Systems (Martynas Pumputis ) Master’s Thesis
• pdf
• Type inference for Go (Emin Gigovic, Philip Malmros )
• pdf
• Open-Source, Platform-Independent Library and Online Scripting Environment for Accessing Thermo Scientific RAW Files. (Kelchtermans, Silva, Argentini, Staes, Vandenbussche, Laukens, Valkenborg, Martens)
  • https://www.ncbi.nlm.nih.gov/pubmed/26477298
• Evaluation of performance and productivity metrics of potential programming languages in the HPC environment ( Bachelor Thesis ; Florian Wilkens ) - ( Go, Rust, C, OpenStreetMap )
• github-code , pdf
• Concurrent Processing of Text Corpus Queries (Rábara, Rychlý)
  • https://www.sketchengine.co.uk/wp-content/uploads/Concurrent_Processing_2015.pdf

2014

• PARAGON: an approach for parallelization of power system contingency analysis using Go programming language
  • http://onlinelibrary.wiley.com/doi/10.1002/etep.1999/full
• A Study of Successive Over-relaxation Method Parallelization Over Modern HPC Languages (Mittal)
  • arxiv:1401.0763 cs.DC
  • code
• There Is More Consensus in Egalitarian Parliaments (Moraru, Andersen, Kaminsky)
  • pdf
  • code
  • Experience with ePaxos: Systems Research using Go
• Research Problems of Implementing Go
  • https://talks.golang.org/2014/research.slide (rsc)
  • https://talks.golang.org/2014/research2.slide (dvyukov)
• bíogo: a simple high-performance bioinformatics toolkit for the Go language (D. Kortschak, D. Adelson)
  • pdf
• P2S: A Fault-Tolerant Publish/Subscribe Infrastructure (Chang, Duan, Meling, Peisert, Zhang)
  • pdf
• Generating a Google Go framework from an Uppaal model (Dekker)
  • pdf
• Using the Go Programming Language in Practice (Westrup, Pettersson)
  • pdf
• A Language Support for Exhaustive Fault-Injection in Message-Passing System Models (Suzuki, Watanabe)
  • arXiv:1411.3793 cs.SE
• Big Learning with Bayesian Methods
  • arXiv:1411.6370 cs.LG
• Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems
  • PDF
  • Project page: Hyflow

2013

• GoPar: Automatic Loop Parallelization of Go Programs (Wetherbee)
  • pdf
  • code
• SCTP in Go ( Olivier Van Acker )
• Keywords: Stream Control Transmission Protocol (SCTP); Transmission Control Protocol (TCP); Go; Networking;
• pdf
• Benchmarking Usability and Performance of Multicore Languages ( Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer)
• arXiv:1302.2837 cs.DC
• Examining the Expert Gap in Parallel Programming (Sebastian Nanz, Scott West, Kaue Soares da Silveira)
• pdf
• Acropolis: aggregated client request ordering by Paxos (Jothen)
• https://brage.bibsys.no/xmlui//handle/11250/181825
• Implementation and experimental evaluation of live replacement and reconfiguration (Lea)
  • https://brage.bibsys.no/xmlui//handle/11250/181813
• Exploiting Parallelism in Coalgebraic Logic Programming (Komendantskaya, Schmidt, Heras)
  • https://arxiv.org/abs/1312.4454
• Parallel Pattern Discovery (Egon Elbre), Master's Thesis, University of Tartu
  • pdf
  • code

2012

• Time Warp on the Go (D'Angelo, Ferretti, Marzolla)
  • arxiv:1206.2772 cs.DC
• Can Go address the multicore issues of today and the manycore problems of tomorrow? (S. Binet)
  • pdf
• GoCxx: a tool to easily leverage C++ legacy code for multicore-friendly Go libraries and frameworks (S. Binet)
  • pdf
• The Buffered π-Calculus: A Model for Concurrent Languages (Deng, Zhang, Deng, Zhong)
  • arxiv:1212.6183 cs.LO
• Analysis of the Go runtime scheduler (Neil Deshpande,Erica Sponsler,Nathaniel Weiss)
• pdf
• A Comparative Study of Programming Models for Concurrency ( Kaue Soares da Silveira) – Porto Alegre: COMGRAD CIC UFRGS, 2012. Final Report (Bachelor)
• pdf
• Debian Code Search (Stapelberg)
  • pdf
• Go’s Concurrency Constructs on the SCC (Prell, Rauber)
  • pdf

2011

• ng: What next-generation languages can teach us about HENP frameworks in the manycore era (S. Binet)
  • pdf
• Serving Web Content with Dynamic Process Networks in Go (James Whitehead II)
• DOI: 10.3233/978-1-60750-774-1-209
• [pdf] (http://www.cs.ox.ac.uk/people/jim.whitehead/cpa2011-draft.pdf)

2010

• GoHotDraw: Evaluating the Go Programming Language with Design Patterns (Schmager, Cameron, Noble)
  • pdf