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 2018-04-04 22:46:01 -07:00
parent c651b8691c
commit d548d3d59e
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ResearchPapers.md

@ -17,7 +17,8 @@ our implementation sticker (Aoshima, 2018) written in Golang (Golang, 2009)..."_
- Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor) - Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor)
- [pdf](https://arxiv.org/abs/1802.06038) "To implement the validating framework, we added a new functionality to the official go-ethereum package [20] which allows us to fork the Ethereum main chain at a block height of our choice." - [pdf](https://arxiv.org/abs/1802.06038) "To implement the validating framework, we added a new functionality to the official go-ethereum package [20] which allows us to fork the Ethereum main chain at a block height of our choice."
- [State of Mutation Testing at Google](https://research.google.com/pubs/pub46584.html) (Goran Petrovic and Marko Ivankovic) - State of Mutation Testing at Google (Goran Petrovic and Marko Ivankovic)
- https://research.google.com/pubs/pub46584.html
## 2017 ## 2017
- Construction and first tests of an in-beam PET demonstrator dedicated to the ballistic control of hadrontherapy treatments with 65 MeV protons (E Busato et al.) IEEE Transactions on Radiation and Plasma Medical Sciences ( Volume: PP, Issue: 99 ) - Construction and first tests of an in-beam PET demonstrator dedicated to the ballistic control of hadrontherapy treatments with 65 MeV protons (E Busato et al.) IEEE Transactions on Radiation and Plasma Medical Sciences ( Volume: PP, Issue: 99 )
@ -158,6 +159,8 @@ Turing Scholars honors thesis
- https://arxiv.org/abs/1611.07862 - https://arxiv.org/abs/1611.07862
- Verification of Goroutines using Why3 (Schoolderman) - Verification of Goroutines using Why3 (Schoolderman)
- https://www.ru.nl/publish/pages/769526/marc_schoolderman.pdf - https://www.ru.nl/publish/pages/769526/marc_schoolderman.pdf
- Detection of Bugs and Code Smells through Static Analysis of Go Source Code (Bergersen)
- https://www.duo.uio.no/bitstream/handle/10852/53050/bergersen_msc.pdf
## 2015 ## 2015
- Tinzenite: Encrypted Peer to Peer File Synchronization via the Tox Protocol (Tamino P.S.M. Hartmann) (Master thesis at Ulm University) - Tinzenite: Encrypted Peer to Peer File Synchronization via the Tox Protocol (Tamino P.S.M. Hartmann) (Master thesis at Ulm University)