Skip to content

Compare: ResearchPapers
Showing with 64 additions and 13 deletions.
  1. +1 −0 Articles.md
  2. +6 −0 Books.md
  3. +3 −1 CodeReview.md
  4. +7 −3 CommonMistakes.md
  5. +1 −0 Conferences.md
  6. +9 −1 GoUserGroups.md
  7. +23 −0 GoUsers.md
  8. +1 −1 PackageManagementTools.md
  9. +8 −2 Plan9.md
  10. +4 −0 Projects.md
  11. +0 −4 ResearchPapers.md
  12. +1 −1 SliceTricks.md
4 changes: 0 additions & 4 deletions ResearchPapers.md
View file
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
This page lists academic and industry research papers about Go or using Go as the implementation language.

## 2016
- Fencing off Go: Liveness and Safety for Channel-based Programming (Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida) 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
- [pdf](http://mrg.doc.ic.ac.uk/publications/fencing-off-go-liveness-and-safety-for-channel-based-programming/main.pdf) , [POPL 2017](http://mrg.doc.ic.ac.uk/publications/fencing-off-go-liveness-and-safety-for-channel-based-programming/)
- [arXiv:1610.08843 cs.PL](https://arxiv.org/abs/1610.08843)
- [github:dingo-hunter](https://github.com/nickng/dingo-hunter) Static analyser for finding Deadlocks in Go
- Information Flow Analysis for Go ( Eric Bodden, Ka I. Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert)
- [pdf](https://heim.ifi.uio.no/msteffen/download/16/flowanalysisgo.pdf)
- [10.1007/978-3-319-47166-2_30](http://link.springer.com/chapter/10.1007/978-3-319-47166-2_30)
Expand Down