<p>The goal of this dissertation is to design a collection of techniques and tools that enable<br>
the ease of programming under the traditional strong concurrency guarantees, without sacrificing the performance offered by modern distributed database systems. Our main thesis<br>
is that language-centric reasoning can help developers efficiently identify and eliminate con-<br>
currency anomalies in modern database programs, and we have demonstrated that it results<br>
in faster and safer database programs</p>
| Identifer | oai:union.ndltd.org:purdue.edu/oai:figshare.com:article/20398725 |
| Date | 28 July 2022 |
| Creators | Kiarash Rahmani (13171128) |
| Source Sets | Purdue University |
| Detected Language | English |
| Type | Text, Thesis |
| Rights | CC BY 4.0 |
| Relation | https://figshare.com/articles/thesis/SYMBOLIC_ANALYSIS_OF_WEAK_CONCURRENCY_SEMANTICS_IN_MODERN_DATABASE_PROGRAMS/20398725 |
Page generated in 0.0023 seconds