Zobrazeno 1 - 10
of 151
pro vyhledávání: '"Barbara Liskov"'
Publikováno v:
The VLDB Journal. 31:1291-1309
Modern distributed data management systems face a new challenge: how can autonomous, mutually-distrusting parties cooperate safely and effectively? Addressing this challenge brings up questions familiar from classical distributed systems: how to comb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fbc03a790cfa791e711c0ce4e13f31c
https://doi.org/10.1007/s00778-021-00686-1
https://doi.org/10.1007/s00778-021-00686-1
Autor:
Barbara Liskov
Publikováno v:
Proceedings of the 2022 International Conference on Management of Data.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cef5b6fa8050ed66316c9c99a157a451
https://doi.org/10.1145/3514221.3523274
https://doi.org/10.1145/3514221.3523274
Publikováno v:
VLDB Endowment
Optimistic concurrency control, or OCC, can achieve excellent performance on uncontended workloads for main-memory transactional databases. Contention causes OCC's performance to degrade, however, and recent concurrency control designs, such as hybri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::610634ccfb7b64b227166f2947600c8c
https://doi.org/10.14778/3377369.3377373
https://doi.org/10.14778/3377369.3377373
Autor:
Barbara Liskov, Stephen N. Zilles
Publikováno v:
Ideas That Created the Future ISBN: 9780262363174
Ideas That Created the Future
Ideas That Created the Future
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9349a9ab012befcd7330f3e5d54443b
https://doi.org/10.7551/mitpress/12274.003.0041
https://doi.org/10.7551/mitpress/12274.003.0041
Publikováno v:
Principles of Blockchain Systems ISBN: 9783031006791
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abe194aff300edb1d7b2150ca70d7a6f
https://doi.org/10.1007/978-3-031-01807-7_5
https://doi.org/10.1007/978-3-031-01807-7_5
Autor:
Barbara Liskov
Publikováno v:
ASPLOS
This talk describes a new approach to implementing efficient concurrent programs that run on multicore computers. The approach is inspired by work on software transactional memory, and like that work aims to make it easier to write correct concurrent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1211f0fcb7180b61b38b11d30655964
https://doi.org/10.1145/3297858.3304078
https://doi.org/10.1145/3297858.3304078
Publikováno v:
PLDI
The support for generic programming in modern object-oriented programming languages is awkward and lacks desirable expressive power. We introduce an expressive genericity mechanism that adds expressive power and strengthens static checking, while rem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18c6445de513b0e87e03a3e2ba925bf6
https://doi.org/10.1145/2813885.2738008
https://doi.org/10.1145/2813885.2738008
Publikováno v:
PLDI
Unhandled exceptions crash programs, so a compile-time check that exceptions are handled should in principle make software more reliable. But designers of some recent languages have argued that the benefits of statically checked exceptions are not wo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae4fdd411741a49f78c0c63491ab2044
https://doi.org/10.1145/2908080.2908086
https://doi.org/10.1145/2908080.2908086
Autor:
Liuba Shrira, Barbara Liskov, Lillian Tsai, Jeevana Priya Inala, Eddie Kohler, Yihe Huang, Nathaniel Herman
Publikováno v:
EuroSys
It is often possible to improve a concurrent system's performance by leveraging the semantics of its datatypes. We build a new software transactional memory (STM) around this observation. A conventional STM tracks read- and write-sets of memory words
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4097e166fedb1439bf04d2962c8bfbc3
https://doi.org/10.1145/2901318.2901348
https://doi.org/10.1145/2901318.2901348
Publikováno v:
ACM Transactions on Information and System Security. 13:1-32
This article describes MPSS, a new way to do proactive secret sharing. MPSS provides mobility : The group of nodes holding the shares of the secret can change at each resharing, which is essential in a long-lived system. MPSS additionally allows the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d1a6b781e047f0fdc20a8b84b699fae
https://doi.org/10.1145/1880022.1880028
https://doi.org/10.1145/1880022.1880028