WIP: Major refactoring of JVM bytecode machinery.

13 files changed, 64 insertions, 19 deletions

diff --git a/documentation/research/Memory Management.md b/documentation/research/Memory Management.md
index 0d761c700..abfe8a1e8 100644
--- a/documentation/research/Memory Management.md
+++ b/documentation/research/Memory Management.md
@@ -6,3 +6,23 @@
 
 1. [Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming](https://arxiv.org/abs/1908.05647)
 
+# Layout
+
+1. [Floorplan: Spatial Layout in Memory Management Systems](https://conf.researchr.org/details/gpce-2019/gpce-2019-papers/6/Floorplan-Spatial-Layout-in-Memory-Management-Systems)
+
+# Reference
+
+1. https://uridiumauthor.blogspot.com/2018/06/memory-management.html
+1. https://github.com/mtrebi/memory-allocators
+1. http://www.newlisp.org/MemoryManagement.html
+1. http://gee.cs.oswego.edu/dl/html/malloc.html
+1. https://shipilev.net/blog/2014/jmm-pragmatics/
+1. https://floooh.github.io/2018/06/17/handles-vs-pointers.html
+1. https://www.codemag.com/Article/1807051/Introducing-.NET-Core-2.1-Flagship-Types-Span-T-and-Memory-T
+1. https://stefansf.de/post/pointers-are-more-abstract-than-you-might-expect/
+1. http://www.memorymanagement.org/
+1. [Pseudomonarchia jemallocum: The false kingdom of jemalloc, or On exploiting the jemalloc memory manager](http://phrack.com/issues/68/10.html#article)
+1. https://gankro.github.io/blah/rust-layouts-and-abis/
+1. https://paul.bone.id.au/2018/10/19/gc-falsehoods/
+1. [Safe Programming with Pointers through Stateful Views](https://www.cs.bu.edu/~hwxi/academic/papers/padl05.pdf)
+
diff --git a/documentation/research/Security.md b/documentation/research/Security.md
index f583bf12b..d6ec5abf9 100644
--- a/documentation/research/Security.md
+++ b/documentation/research/Security.md
@@ -1,3 +1,7 @@
+# Access Control List
+
+1. [Capirca: Multi-platform ACL generation system](https://github.com/google/capirca)
+
 # Return-oriented programming
 
 1. https://github.com/immunant/selfrando
@@ -22,6 +26,7 @@
 
 # Vulnerability
 
+1. [CSS Injection Primitives](https://x-c3ll.github.io/posts/CSS-Injection-Primitives/)
 1. https://medium.com/@shnatsel/how-rusts-standard-library-was-vulnerable-for-years-and-nobody-noticed-aebf0503c3d6
 1. [ACLs don’t](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.406.4684&rep=rep1&type=pdf)
 1. https://www.cs.auckland.ac.nz/~pgut001/pubs/book.pdf
diff --git a/documentation/research/architecture/microservice.md b/documentation/research/architecture/microservice.md
new file mode 100644
index 000000000..ab15c99de
--- /dev/null
+++ b/documentation/research/architecture/microservice.md
@@ -0,0 +1,3 @@
+# Reference
+
+1. [Convey - a simple recipe for .NET Core microservices.](https://www.youtube.com/watch?v=cxEXx4UT1FI)
diff --git a/documentation/research/back-end/WebAssembly (WASM).md b/documentation/research/back-end/WebAssembly (WASM).md
index 6d9368fbe..8b76d43bc 100644
--- a/documentation/research/back-end/WebAssembly (WASM).md
+++ b/documentation/research/back-end/WebAssembly (WASM).md
@@ -1,5 +1,6 @@
 # Exemplar
 
+1. [Towards a WebAssembly standalone runtime on GraalVM](https://dl.acm.org/citation.cfm?id=3362780)
 1. https://github.com/vvanders/wasm_lua
 1. https://github.com/AppCypher/webassemblylanguages
 1. https://medium.com/perlin-network/life-a-secure-blazing-fast-cross-platform-webassembly-vm-in-go-ea3b31fa6e09
diff --git a/documentation/research/back-end/native.md b/documentation/research/back-end/native.md
index f4491d8c5..56fa11e0a 100644
--- a/documentation/research/back-end/native.md
+++ b/documentation/research/back-end/native.md
@@ -3,22 +3,6 @@
 1. http://stffrdhrn.github.io/software/embedded/openrisc/2018/06/08/gcc_stack_frames.html
 1. https://yurichev.com/blog/reg_alloc/
 
-# Memory Management
-
-1. https://uridiumauthor.blogspot.com/2018/06/memory-management.html
-1. https://github.com/mtrebi/memory-allocators
-1. http://www.newlisp.org/MemoryManagement.html
-1. http://gee.cs.oswego.edu/dl/html/malloc.html
-1. https://shipilev.net/blog/2014/jmm-pragmatics/
-1. https://floooh.github.io/2018/06/17/handles-vs-pointers.html
-1. https://www.codemag.com/Article/1807051/Introducing-.NET-Core-2.1-Flagship-Types-Span-T-and-Memory-T
-1. https://stefansf.de/post/pointers-are-more-abstract-than-you-might-expect/
-1. http://www.memorymanagement.org/
-1. [Pseudomonarchia jemallocum: The false kingdom of jemalloc, or On exploiting the jemalloc memory manager](http://phrack.com/issues/68/10.html#article)
-1. https://gankro.github.io/blah/rust-layouts-and-abis/
-1. https://paul.bone.id.au/2018/10/19/gc-falsehoods/
-1. [Safe Programming with Pointers through Stateful Views](https://www.cs.bu.edu/~hwxi/academic/papers/padl05.pdf)
-
 # Unicode
 
 1. http://manishearth.github.io/blog/2017/01/14/stop-ascribing-meaning-to-unicode-code-points/
@@ -62,8 +46,18 @@
 
 1. https://www.newtv.co.th/video/video.php?v=topKYJgv6qA
 
+# Floating point arithmetic
+
+1. [Faster floating point arithmetic with Exclusive OR](http://nfrechette.github.io/2019/10/22/float_xor_optimization/)
+1. https://oded.ninja/2017/05/01/floating-point/
+1. [What Every Computer Scientist Should Know About Floating-Point Arithmetic](http://www.lsi.upc.edu/~robert/teaching/master/material/p5-goldberg.pdf)
+1. https://lemire.me/blog/2017/11/16/fast-exact-integer-divisions-using-floating-point-operations/
+
 # Reference
 
+1. http://luajit.org/
+1. http://luajit.org/ext_ffi.html
+1. http://luajit.org/dynasm.html
 1. [The Standard C Library](https://www.amazon.com/Standard-C-Library-P-J-Plauger/dp/0131315099)
 1. [C Is Not a Low-level Language: Your computer is not a fast PDP-11.](https://queue.acm.org/detail.cfm?id=3212479)
 1. http://www.ffconsultancy.com/ocaml/hlvm/
@@ -92,8 +86,6 @@
 1. http://www.mpfr.org/
 1. http://www.mpfr.org/algorithms.pdf
 1. http://wilsonminesco.com/16bitMathTables/
-1. https://oded.ninja/2017/05/01/floating-point/
-1. [What Every Computer Scientist Should Know About Floating-Point Arithmetic](http://www.lsi.upc.edu/~robert/teaching/master/material/p5-goldberg.pdf)
 1. http://blog.veitheller.de/Fixed_Point_Division.html
 1. http://libdivide.com/
 1. [Modern Computer Arithmetic](https://members.loria.fr/PZimmermann/mca/mca-cup-0.5.9.pdf)
@@ -105,7 +97,6 @@
 1. http://bellard.org/libbf/
 1. http://paulcavallaro.com/blog/hashed-and-hierarchical-timing-wheels/
 1. http://speleotrove.com/decimal/
-1. https://lemire.me/blog/2017/11/16/fast-exact-integer-divisions-using-floating-point-operations/
 1. http://eli.thegreenplace.net/2013/07/09/library-order-in-static-linking
 1. [Skip the FFI!](http://llvm.org/devmtg/2014-10/Slides/Skip%20the%20FFI.pdf)
 1. http://www.infoworld.com/article/3187370/application-development/kotlin-compiles-directly-to-native-code-via-llvm.html
diff --git a/documentation/research/culture.md b/documentation/research/culture.md
new file mode 100644
index 000000000..5abdff8d5
--- /dev/null
+++ b/documentation/research/culture.md
@@ -0,0 +1,3 @@
+# Reference
+
+1. [Five Worlds](https://www.joelonsoftware.com/2002/05/06/five-worlds/)
diff --git a/documentation/research/database.md b/documentation/research/database.md
index 5c1566fbe..52447b970 100644
--- a/documentation/research/database.md
+++ b/documentation/research/database.md
@@ -162,6 +162,10 @@
 1. https://www.aerospike.com/
 1. https://sirix.io/
 
+## Data-flow
+
+1. [Noria: data-flow for high-performance web applications](https://github.com/mit-pdos/noria)
+
 ## Graph
 
 1. https://github.com/hugegraph/hugegraph
diff --git a/documentation/research/debugging.md b/documentation/research/debugging.md
index 239663175..2dd5d74e7 100644
--- a/documentation/research/debugging.md
+++ b/documentation/research/debugging.md
@@ -1,3 +1,7 @@
+# Omniscient debugging
+
+1. https://pernos.co/
+
 # Tool
 
 1. [Debug Adapter Protocol](https://microsoft.github.io/debug-adapter-protocol/)
diff --git a/documentation/research/math.md b/documentation/research/math.md
index 326d0f6db..27fab7503 100644
--- a/documentation/research/math.md
+++ b/documentation/research/math.md
@@ -40,6 +40,7 @@
 
 # Number Theory
 
+1. https://twitter.com/johncarlosbaez/status/1184492139897507840
 1. https://en.wikipedia.org/wiki/Dual_number
 1. https://en.wikipedia.org/wiki/Division_algebra
 1. [Division algebras](https://www.youtube.com/watch?v=3BZyds_KFWM&list=PLNxhIPHaOTRZMO1VjJcs7_3dgyJ2qU1yZ)
@@ -47,6 +48,10 @@
 1. http://illustratedtheoryofnumbers.com/
 1. [Topology of Numbers](http://pi.math.cornell.edu/~hatcher/TN/TNpage.html)
 
+## Hyperreal number
+
+1. [Yes, You Can Manipulate Infinity—in Math](https://mindmatters.ai/2019/10/yes-you-can-manipulate-infinity-in-math/)
+
 # Quaternions
 
 1. [Dual Quaternions for Mere Mortals](https://www.jeremyong.com/math/2019/08/05/dual-quaternions-for-mere-mortals/)
@@ -266,6 +271,7 @@
 
 # Knot theory
 
+1. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0)
 1. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf)
 
 # Axiom
diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md
index bd0c59f73..527d7d04f 100644
--- a/documentation/research/operating_system.md
+++ b/documentation/research/operating_system.md
@@ -89,6 +89,10 @@
 1. https://grapheneproject.io/
 1. https://ops.city/
 
+## Microkernel
+
+1. [Snap: a Microkernel Approach to Host Networking](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/36f0f9b41e969a00d75da7693571e988996c9f4c.pdf)
+
 ## Real-time
 
 1. https://en.wikipedia.org/wiki/VxWorks
diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md
index 6b37d6097..42738b80e 100644
--- a/documentation/research/paradigm/probabilistic_programming.md
+++ b/documentation/research/paradigm/probabilistic_programming.md
@@ -11,6 +11,7 @@
 
 # Reference
 
+1. [FACTORIE](http://factorie.cs.umass.edu/)
 1. [End-User Probabilistic Programming (DRAFT)](https://www.cs.uoregon.edu/research/summerschool/summer19/lecture_notes/DRAFT___Probabilistic_Programming_for_End_Users.pdf)
 1. http://willcrichton.net/notes/probabilistic-programming-under-the-hood/
 1. [Ask HN: What companies are using probabilistic programming?](https://news.ycombinator.com/item?id=17220861)
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md
index 0a3210eeb..e1eb5b6cc 100644
--- a/documentation/research/text_editor & ide.md
+++ b/documentation/research/text_editor & ide.md
@@ -43,6 +43,7 @@
 
 # Reference
 
+1. [Text Editing Hates You Too](https://lord.io/blog/2019/text-editing-hates-you-too/)
 1. [Why ContentEditable is Terrible](https://medium.engineering/why-contenteditable-is-terrible-122d8a40e480)
 1. [Broot: A better way to navigate directories](https://github.com/Canop/broot)
 1. https://www.simplethread.com/editor-plugins-belong-in-lock-file/
@@ -132,6 +133,7 @@
 
 ## General
 
+1. https://howl.io/
 1. [The Whole Code Catalog](https://futureofcoding.org/catalog/)
 1. http://substance.io/
 1. https://www.querystorm.com/
diff --git a/documentation/research/web_framework.md b/documentation/research/web_framework.md
index 3c7d0220d..f84ca94c7 100644
--- a/documentation/research/web_framework.md
+++ b/documentation/research/web_framework.md
@@ -4,6 +4,7 @@
 
 # Reference
 
+1. [Introducing Concurrent Mode (Experimental)](https://reactjs.org/docs/concurrent-mode-intro.html)
 1. https://github.com/daybrush/scenejs
 1. https://blog.ionicframework.com/announcing-capacitor-1-0/
 1. http://joneisen.me/talk-frelp-ui/#/