> For the complete documentation index, see [llms.txt](https://docs.arcology.network/arcology-technical-whitepaper/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.arcology.network/arcology-technical-whitepaper/references.md). # 14. References \[1] T. Bergan et al. CoreDet: A compiler and runtime system for deterministic multithreaded execution. In15th ASP-LOS, Mar. 2010 \[2] E. D. Berger et al. Grace: Safe multithreaded programming for C/C++. InOOPSLA, Oct. 2009. \[3] H. Cui, J. Wu, and J. Yang. Stable deterministic multi-threading through schedule memoization. In9th OSDI,Oct. 2010. \[4] J. Devietti et al. DMP: Deterministic shared memory mul-tiprocessing. In14th ASPLOS, Mar. 2009. \[5] M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: Ef-ficient deterministic multithreading in software. In14thASPLOS, Mar. 2009. \[6] Efficient System-Enforced Deterministic Parallelism, Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. Jay Lepreau Best Paper Award, OSDI 2010. \[7] M. Olszewski et al. Kendo: Efficient Deterministic Mul-tithreading in Software. InASPLOS ’09, 2009. \[8] Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. arXiv preprint arXiv:1702.05511. 2017 \[9] M. D. Allen, S. Sridharan, and G. S. Sohi. Serialization sets: A dynamic dependence-based parallel execution model. InProc. Symp. on Principles and Practice of Parallel Programming, 2009. \[10] R. Bocchino et al. Parallel programming must be deterministic by default. InProc. 1st Workshop on Hot Topics in Parallelism, 2009. \[11]Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, and Nickolai Zeldovich. Algorand: Scaling byzantine agreements for cryptocurrencies. In Proceedings of the 26th Symposium on Operating Systems Principles, SOSP’17, pages 51–68, New York, NY, USA, 2017. ACM. \[12] Vitalik Buterin and Virgil Griffith. Casper the friendly finality gadget.CoRR, abs/1710.09437, 2017 \[13] P. Robinson, D. Hyland-Wood, R. Saltini, S. Johnson,and J. Brainard. Atomic crosschain transactions for Ethereum private sidechains. Technical report, University of Queensland, 2019. \[14]Peter Robinson, David Hyland-Wood, Roberto Saltini, San-dra Johnson, and John Brainard. 2019. Atomic Crosschain Transactions for Ethereum Private Sidechains. arXiv preprint arXiv:1904.12079. \[15]S. Johnson, P. Robinson, and J. Brainard, “Sidechains and interoperability,” 2019. \[Online]. Available: \[16]V. Buterin, “Cross-shard contract yanking,” 2018. \[Online]. Available: \[17] T. Liu and E. D. Berger, “DTHREADS : Efficient Deterministic Multithreading,” in In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP’11), 2011, pp. 327–336. --- # Agent Instructions This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com. ## Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://docs.arcology.network/arcology-technical-whitepaper/references.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.