<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.0016 seconds