Pawel T. Wojciechowski

According to our database1, Pawel T. Wojciechowski authored at least 40 papers between 1998 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 





Creek: a General Mixed-Consistency Transactional Replication Scheme.
CoRR, 2019

On Mixing Eventual and Strong Consistency: Bayou Revisited.
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined.
IEEE Trans. Parallel Distrib. Syst., 2018

Helenos: A realistic benchmark for distributed transactional memory.
Softw., Pract. Exper., 2018

State-Machine and Deferred-Update Replication: Analysis and Comparison.
IEEE Trans. Parallel Distrib. Syst., 2017

Operation-Level Wait-Free Transactional Memory with Support for Irrevocable Operations.
IEEE Trans. Parallel Distrib. Syst., 2017

Relaxing real-time order in opacity and linearizability.
J. Parallel Distrib. Comput., 2017

Atomic RMI: A Distributed Transactional Memory Framework.
International Journal of Parallel Programming, 2016

The Optimal Pessimistic Transactional Memory Algorithm.
CoRR, 2016

Atomic RMI 2: Highly Parallel Pessimistic Distributed Transactional Memory.
CoRR, 2016

Atomic RMI 2: distributed transactions for Java.
Proceedings of the 6th International Workshop on Programming Based on Actors, 2016

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

Brief Announcement: Eventually Consistent Linearizability.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

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

Dependability Infrastructure for SOA Applications.
Proceedings of the Advanced SOA Tools and Applications, 2014

Relaxing Opacity in Pessimistic Transactional Memory.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

Make the Leader Work: Executive Deferred Update Replication.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Having your cake and eating it too: combining strong and eventual consistency.
Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Brief announcement: towards a fully-articulated pessimistic distributed transactional memory.
Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, 2013

Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined.
Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

RESTGroups for Resilient Web Services.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Batched Transactions for RESTful Web Services.
Proceedings of the Current Trends in Web Engineering, 2011

Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation.
ACM Trans. Program. Lang. Syst., 2010

A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.
Proceedings of the Software Composition, 5th International Symposium, 2006

Service interface: a new abstraction for implementing and composing protocols.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Structural and algorithmic issues of dynamic protocol update.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Scalable Message Routing for Mobile Software Assistants.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

Advances in the Design and Implementation of Group Communication Middleware.
Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

Isolation-only transactions by typing and versioning.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Role-Based Declarative Synchronization for Reconfigurable Systems.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

On Correctness of Dynamic Protocol Update.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

SAMOA: Framework for Synchronisation Augmented Microprotocol Approach.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Concurrency Combinators for Declarative Synchronization.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

A Step Towards a New Generation of Group Communication Systems.
Proceedings of the Middleware 2003, 2003

Semantics of Protocol Modules Composition and Interaction.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Nomadic Pict: language and infrastructure design for mobile agents.
IEEE Concurrency, 2000

Location-Independent Communication for Mobile Agents: A Two-Level Architecture.
Proceedings of the Internet Programming Languages, 1998