Pawel T. Wojciechowski
According to our database1, Pawel T. Wojciechowski authored at least 40 papers between 1998 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Creek: a General Mixed-Consistency Transactional Replication Scheme.
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.
Atomic RMI 2: Highly Parallel Pessimistic Distributed Transactional Memory.
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.
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