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)

Damian Gryski 2020-09-03 08:06:36 -07:00
parent b87dc0d49c
commit bd6831d0bf
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ResearchPapers.md

@ -19,6 +19,12 @@ This page lists academic and industry research papers about Go or using Go as th
- [github](https://github.com/JujuYuki/godel2)
- EdgeKV: Decentralized, scalable, and consistent storage for the edge (K. Sonbol, Ö. Özkasap, I. Al-Oqily, M. Aloqaily)
- [arxiv](https://arxiv.org/abs/2006.15594)
- Bypassing memory safety mechanisms through speculative control flow hijacks (A. Mambretti, A. Sandulescu, A. Sorniotti, W. Robertson, E. Kirda, A. Kurmus)
- [arxiv](https://arxiv.org/abs/2003.05503)
- [CL](https://go-review.googlesource.com/c/go/+/222660)
- Bounded verification of message-passing concurrency in Go using Promela and Spin (N. Dilley, J. Lange)
- [arxiv](https://arxiv.org/abs/2004.01323v1)
- [github](https://github.com/nicolasdilley/Gomela)
## 2019