共 50 条
- [1] Bertot Y., Casteran P., Interactive theorem proving and program development, Coq'Art: The Calculus of Inductive Constructions, (2004)
- [2] Brutschy L., Dimitrov D., Muller P., Vechev M.T., Serializability for eventual consistency: Criterion, analysis, and applications, POPL, (2017)
- [3] Burrows M., The chubby lock service for loosely-coupled distributed systems, OSDI, (2006)
- [4] Chang F., Dean J., Ghemawat S., Hsieh W.C., Wallach D.A., Burrows M., Chandra T., Fikes A., Gruber R., Bigtable: A distributed storage system for structured data, OSDI, (2006)
- [5] Dean J., Ghemawat S., Mapreduce: Simplified data processing on large clusters, OSDI, (2004)
- [6] DeCandia G., Hastorun D., Jampani M., Kakulapati G., Lakshman A., Pilchin A., Sivasubramanian S., Vosshall P., Vogels W., Dynamo: Amazon's highly available key-value store, SOSP, (2007)
- [7] Desai A., Gupta V., Jackson E., Qadeer S., Rajamani S., Zufferey D., P: Safe asynchronous event-driven programming, PLDI, (2013)
- [8] Flanagan C., Freund S.N., Atomizer: A dynamic atomicity checker for multithreaded programs, ACM SIGPLAN Notices, 39, 1, pp. 256-267, (2004)
- [9] Flanagan C., Freund S.N., Fasttrack: Efficient and precise dynamic race detection, PLDI, (2009)
- [10] Gao Q., Zhang W., Chen Z., Zheng M., Qin F., 2ndStrike: Toward Manifesting Hidden Concurrency Typestate Bugs, ASPLOS, (2011)