research papers?

[wanderer]

Would this be a good repository to create a curated list of papers relevant to ongoing research in Ethereum?

[wanderer]

I'm envisioning something like the awesome lists

[wanderer]

ok i'm just going to start dumping stuff here until I find a better place to organize

Jade's Thesis

http://www0.cs.ucl.ac.uk/staff/J.Alglave/these.pdf

Use

This would be useful in specifying an explicit parallel execution model for transaction that would also be maximal efficient for implementions.

The most intuitive model for concurrency is the Sequential Consistency (SC) model introduced by Leslie Lamport back in 1979. This model requires that all events in a concurrent execution happen in such a way that the result is equivalent to some interleaving of the individual events in each thread. Unfortunately SC is too restrictive for modern performance requirements, and so modern hardware allows for various relaxations of SC. For example, a processor may read a value that was written (by the same processor) earlier, even though that written value has not yet made it to main memory (this happens, for example, when reads from a store buffer are allowed).

Jade Alglave’s PhD thesis provides a theoretical foundation for reasoning about and axiomatizing relaxed memory models. She uses binary relations which are partial orders to model relationships between memory events. For example, the ws relation between two writes has the property that ws(w1,w2) iff w1 occurs before w2 in the global timeline. Using a number of different relations, one can specify which aspects of a particular model follow SC and which are relaxed.

[wanderer]

RAMP

Use

sharding

http://www.bailis.org/blog/scalable-atomic-visibility-with-ramp-transactions/

[pranay01]

FLP Impossibility paper by Fischer, Lynch and Patterson

https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf

Proves - Impossibility of Distributed Consensus with One Faulty
Process