ResearchPapers

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

2016

• 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)
  • [pdf] (https://heim.ifi.uio.no/msteffen/download/16/semantics-goroutinesdefer.pdf)
• 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

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

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

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