Annette Bieniusa
Title
Cited by
Cited by
Year
Cure: Strong semantics meets high availability and low latency
DD Akkoorath, AZ Tomsic, M Bravo, Z Li, T Crain, A Bieniusa, N Preguiça, ...
2016 IEEE 36th International Conference on Distributed Computing Systems …, 2016
1142016
Write fast, read in the past: Causal consistency for client-side applications
M Zawirski, N Preguiça, S Duarte, A Bieniusa, V Balegas, M Shapiro
Proceedings of the 16th Annual Middleware Conference, 75-87, 2015
902015
Consistency in hindsight: A fully decentralized STM algorithm
A Bieniusa, T Fuhrmann
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
712010
An optimized conflict-free replicated set
A Bieniusa, M Zawirski, N Preguiça, M Shapiro, C Baquero, V Balegas, ...
arXiv preprint arXiv:1210.3368, 2012
542012
SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client machine
M Zawirski, A Bieniusa, V Balegas, S Duarte, C Baquero, M Shapiro, ...
arXiv preprint arXiv:1310.3107, 2013
502013
Legion: Enriching internet services with peer-to-peer interactions
A van der Linde, P Fouto, J Leitão, N Preguiça, S Castiñeira, A Bieniusa
Proceedings of the 26th International Conference on World Wide Web, 283-292, 2017
342017
Brief announcement: Semantics of eventually consistent replicated sets
A Bieniusa, M Zawirski, N Preguiça, M Shapiro, C Baquero, V Balegas, ...
International Symposium on Distributed Computing, 441-442, 2012
342012
Access permission contracts for scripting languages
P Heidegger, A Bieniusa, P Thiemann
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
312012
Formal specification and verification of crdts
P Zeller, A Bieniusa, A Poetzsch-Heffter
International Conference on Formal Techniques for Distributed Objects …, 2014
252014
Swiftcloud: Fault-tolerant geo-replication integrated all the way to the client machine
N Preguiça, M Zawirski, A Bieniusa, S Duarte, V Balegas, C Baquero, ...
2014 IEEE 33rd International Symposium on Reliable Distributed Systems …, 2014
212014
Brief announcement: Actions in the twilight-concurrent irrevocable transactions and inconsistency repair
A Bieniusa, A Middelkoop, P Thiemann
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
172010
Htdp and dmda in the battlefield: a case study in first-year programming instruction
A Bieniusa, M Degen, P Heidegger, P Thiemann, S Wehr, M Gasbichler, ...
Proceedings of the 2008 international workshop on Functional and declarative …, 2008
17*2008
Practical evaluation of the lasp programming model at large scale: an experience report
CS Meiklejohn, V Enes, J Yoo, C Baquero, P Van Roy, A Bieniusa
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
152017
Proving isolation properties for software transactional memory
A Bieniusa, P Thiemann
European Symposium on Programming, 38-56, 2011
122011
Eventually consistent register revisited
M Zawirski, C Baquero, A Bieniusa, N Preguiça, M Shapiro
Proceedings of the 2nd Workshop on the Principles and Practice of …, 2016
112016
Just-right consistency: reconciling availability and safety
M Shapiro, A Bieniusa, N Preguiça, V Balegas, C Meiklejohn
arXiv preprint arXiv:1801.06340, 2018
102018
Fmke: A real-world benchmark for key-value data stores
G Tomás, P Zeller, V Balegas, D Akkoorath, A Bieniusa, J Leitão, ...
Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017
102017
The architecture of the DecentVM: Towards a decentralized virtual machine for many-core computing
A Bieniusa, J Eickhold, T Fuhrmann
Virtual Machines and Intermediate Languages, 1-10, 2010
92010
Actions in the Twilight: Concurrent irrevocable transactions and inconsistency repair (extended version)
A Bieniusa, A Middelkoop, P Thiemann
Technical Report 257, Institut für Informatik, Universität Freiburg, 2010
82010
Global-local view: Scalable consistency for concurrent data types
D Akkoorath, J Brandao, A Bieniusa, C Baquero
European Conference on Parallel Processing, 492-504, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20