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

Updated ResearchPapers (markdown)

Nicholas Ng 2016-11-14 13:09:29 +00:00
parent 04b8d44673
commit 7d15ba891f
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ResearchPapers.md

@ -1,9 +1,6 @@
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.
## 2016 ## 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/), [long version](https://arxiv.org/abs/1610.08843), [www](http://mrg.doc.ic.ac.uk/publications/fencing-off-go-liveness-and-safety-for-channel-based-programming/)
- Tool - [Type inference and safety checker](http://mrg.doc.ic.ac.uk/tools/gong)
- Information Flow Analysis for Go ( Eric Bodden, Ka I. Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert) - 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) - [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) - [10.1007/978-3-319-47166-2_30](http://link.springer.com/chapter/10.1007/978-3-319-47166-2_30)