commit d483e35e87cbf9929fb0dabe2d9f728f40b916ec
author Damian Gryski <dgryski@gmail.com> Mon Jun 05 13:15:00 2017 +0200
committer Damian Gryski <dgryski@gmail.com> Mon Jun 05 13:15:00 2017 +0200
tree 93fc57a486bab5553ea07cb51d8640da20fbf88f
parent 7a49799ae5918cc8f5a6644bb300b0a491f04529

Updated ResearchPapers (markdown)

ResearchPapers.md

diff --git a/ResearchPapers.md b/ResearchPapers.md
index 7be1e65..4560c37 100644
--- a/ResearchPapers.md
+++ b/ResearchPapers.md
@@ -165,6 +165,9 @@
 - Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems
   - [PDF](http://hyflow.org/pubs/opodis14-alvin.pdf)
   - Project page: [Hyflow](http://www.hyflow.org/hyflow-go/index.html)
+- The design and verification of Mumax3 (Vansteenkiste, Leliaert, Dvornik, Garcia-Sanchez, Van Waeyenberge)
+  - https://arxiv.org/abs/1406.7635
+  - https://github.com/mumax/3
 
 ## 2013
 - GoPar: Automatic Loop Parallelization of Go Programs (Wetherbee)