Pawel T. Wojciechowski

Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

2023

On the correctness of highly available systems in the presence of failures.

[BibT_eX]

[DOI]

Pawel Tomasz Wojciechowski

J. Parallel Distributed Comput., 2023

A selective and biased choice of techniques for building a distributed data store.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, 2023

2022

On Mixing Eventual and Strong Consistency: Acute Cloud Types.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2022

Last-use opacity: a strong safety property for transactional memory with prerelease support.

[BibT_eX]

[DOI]

Distributed Comput., 2022

Jiffy: a lock-free skip list with batch updates and snapshots.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021

Recovery Algorithms for Paxos-Based State Machine Replication.

[BibT_eX]

[DOI]

Jan Z. Konczak

Nuno Santos

Tomasz Zurkowski

IEEE Trans. Dependable Secur. Comput., 2021

Failure Recovery from Persistent Memory in Paxos-Based State Machine Replication.

[BibT_eX]

[DOI]

Jan Z. Konczak

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

2019

Creek: a General Mixed-Consistency Transactional Replication Scheme.

[BibT_eX]

[DOI]

CoRR, 2019

On Mixing Eventual and Strong Consistency: Bayou Revisited.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018

Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

Helenos: A realistic benchmark for distributed transactional memory.

[BibT_eX]

[DOI]

Pawel Kobylinski

Jan Baranowski

Softw. Pract. Exp., 2018

2017

State-Machine and Deferred-Update Replication: Analysis and Comparison.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Operation-Level Wait-Free Transactional Memory with Support for Irrevocable Operations.

[BibT_eX]

[DOI]

Jan Z. Konczak

Rachid Guerraoui

IEEE Trans. Parallel Distributed Syst., 2017

Relaxing real-time order in opacity and linearizability.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2017

2016

Atomic RMI: A Distributed Transactional Memory Framework.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2016

The Optimal Pessimistic Transactional Memory Algorithm.

[BibT_eX]

[DOI]

CoRR, 2016

Atomic RMI 2: Highly Parallel Pessimistic Distributed Transactional Memory.

[BibT_eX]

[DOI]

CoRR, 2016

Atomic RMI 2: distributed transactions for Java.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Programming Based on Actors, 2016

2015

Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support.

[BibT_eX]

[DOI]

CoRR, 2015

Brief Announcement: Eventually Consistent Linearizability.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Introduction to Transactional Replication.

[BibT_eX]

[DOI]

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014

Dependability Infrastructure for SOA Applications.

[BibT_eX]

[DOI]

Proceedings of the Advanced SOA Tools and Applications, 2014

Relaxing Opacity in Pessimistic Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Make the Leader Work: Executive Deferred Update Replication.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Having your cake and eating it too: combining strong and eventual consistency.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

2013

Brief announcement: towards a fully-articulated pessimistic distributed transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, 2013

Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

2012

Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes.

[BibT_eX]

[DOI]

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

RESTGroups for Resilient Web Services.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011

Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Batched Transactions for RESTful Web Services.

[BibT_eX]

[DOI]

Sebastian Kochman

Milosz Kmieciak

Proceedings of the Current Trends in Web Engineering, 2011

2010

Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation.

[BibT_eX]

[DOI]

Peter Sewell

Asis Unyapoth

ACM Trans. Program. Lang. Syst., 2010

2006

A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 5th International Symposium, 2006

Service interface: a new abstraction for implementing and composing protocols.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Structural and algorithmic issues of dynamic protocol update.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Scalable Message Routing for Mobile Software Assistants.

[BibT_eX]

[DOI]

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

Advances in the Design and Implementation of Group Communication Middleware.

[BibT_eX]

[DOI]

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005

Isolation-only transactions by typing and versioning.

[BibT_eX]

[DOI]

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Role-Based Declarative Synchronization for Reconfigurable Systems.

[BibT_eX]

[DOI]

Vlad Tanasescu

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

On Correctness of Dynamic Protocol Update.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

SAMOA: Framework for Synchronisation Augmented Microprotocol Approach.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Concurrency Combinators for Declarative Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

A Step Towards a New Generation of Group Communication Systems.

[BibT_eX]

[DOI]

Sergio Mena

Proceedings of the Middleware 2003, 2003

2002

Semantics of Protocol Modules Composition and Interaction.

[BibT_eX]

[DOI]

Sergio Mena

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2000

Nomadic pict: language and infrastructure design for mobile computation

[BibT_eX]

[DOI]

PhD thesis, 2000

Nomadic Pict: language and infrastructure design for mobile agents.

[BibT_eX]

[DOI]

Peter Sewell

IEEE Concurr., 2000

1998

Location-Independent Communication for Mobile Agents: A Two-Level Architecture.

[BibT_eX]

[DOI]

Peter Sewell