cybercyst/go
1
0
Fork 0
mirror of https://github.com/golang/go.git synced 2025-05-05 15:43:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Updated ResearchPapers (markdown)

Nicholas Ng 2018-08-15 10:11:40 +01:00
parent 9bd627b31a
commit 7ed186286b
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ResearchPapers.md

@ -1,5 +1,10 @@
This page lists academic and industry research papers about Go or using Go as the implementation language. This page lists academic and industry research papers about Go or using Go as the implementation language.
## 2018 ## 2018
- "Process-Local Static Analysis of Synchronous Processes" (Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson) SAS 2018
- [full version PDF](http://janmidtgaard.dk/papers/Midtgaard-Nielson-Nielson%3aSAS18-full.pdf)
- [prototype](https://github.com/jmid/nano-go)
- "Inferring and Asserting Distributed System Invariants" (Stewart Grant, Hendrik Cech, Ivan Beschastnikh) ICSE 2018 Technical Papers - "Inferring and Asserting Distributed System Invariants" (Stewart Grant, Hendrik Cech, Ivan Beschastnikh) ICSE 2018 Technical Papers
- [pdf](https://www.cs.ubc.ca/~bestchai/papers/dinv-icse18.pdf) - [pdf](https://www.cs.ubc.ca/~bestchai/papers/dinv-icse18.pdf)
- [bitbucket.org/bestchai/dinv/](https://bitbucket.org/bestchai/dinv/) _"DInv is a distributed system data invariant detector"_ ; _"DInv is written in go lang"_ - [bitbucket.org/bestchai/dinv/](https://bitbucket.org/bestchai/dinv/) _"DInv is a distributed system data invariant detector"_ ; _"DInv is written in go lang"_