Pawel T. Wojciechowski

57 papers A* 2A 6B 8C 5Misc 2Journal 20Unranked 11
YearRankTypeTitle / Venue / Authors
2026 Misc conf
A Single-Order Mixed-Consistency Replication Scheme.
ICDCN
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2024 — conf
Creek: A Mixed-Consistency Replication Scheme.
Middleware Demos/Posters/Doctoral Symposium
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2024 — conf
Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract).
HOPC@SPAA
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2024 — conf
KDB: A Persistent Key-Value Data Store with Batch Updates and Snapshots.
Middleware Demos/Posters/Doctoral Symposium
Tadeusz Kobus, Maciej Kokocinski, Krzysztof Kortas, Pawel T. Wojciechowski
2024 — conf
Last-Use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract).
HOPC@SPAA
Konrad Siek, Pawel T. Wojciechowski
2023 J jnl
On the correctness of highly available systems in the presence of failures.
J. Parallel Distributed Comput.
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2022 B conf
Jiffy: a lock-free skip list with batch updates and snapshots.
PPoPP
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2022 J jnl
Last-use opacity: a strong safety property for transactional memory with prerelease support.
Distributed Comput.
Konrad Siek, Pawel T. Wojciechowski
2022 J jnl
On Mixing Eventual and Strong Consistency: Acute Cloud Types.
IEEE Trans. Parallel Distributed Syst.
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2021 B conf
Failure Recovery from Persistent Memory in Paxos-Based State Machine Replication.
SRDS
Jan Z. Konczak, Pawel T. Wojciechowski
2021 J jnl
Jiffy: A Lock-free Skip List with Batch Updates and Snapshots.
CoRR
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2021 J jnl
Recovery Algorithms for Paxos-Based State Machine Replication.
IEEE Trans. Dependable Secur. Comput.
Jan Z. Konczak, Pawel T. Wojciechowski, Nuno Santos, Tomasz Zurkowski, André Schiper
2019 J jnl
Creek: a General Mixed-Consistency Transactional Replication Scheme.
CoRR
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2019 A* conf
On Mixing Eventual and Strong Consistency: Bayou Revisited.
PODC
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2019 J jnl
On mixing eventual and strong consistency: Bayou revisited.
CoRR
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2018 J jnl
Helenos: A realistic benchmark for distributed transactional memory.
Softw. Pract. Exp.
Pawel Kobylinski, Konrad Siek, Jan Baranowski, Pawel T. Wojciechowski
2018 J jnl
Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined.
IEEE Trans. Parallel Distributed Syst.
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2017 J jnl
Operation-Level Wait-Free Transactional Memory with Support for Irrevocable Operations.
IEEE Trans. Parallel Distributed Syst.
Jan Z. Konczak, Pawel T. Wojciechowski, Rachid Guerraoui
2017 J jnl
Relaxing real-time order in opacity and linearizability.
J. Parallel Distributed Comput.
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2017 J jnl
State-Machine and Deferred-Update Replication: Analysis and Comparison.
IEEE Trans. Parallel Distributed Syst.
Pawel T. Wojciechowski, Tadeusz Kobus, Maciej Kokocinski
2016 J jnl
Atomic RMI 2: Highly Parallel Pessimistic Distributed Transactional Memory.
CoRR
Konrad Siek, Pawel T. Wojciechowski
2016 — conf
Atomic RMI 2: distributed transactions for Java.
AGERE!@SPLASH
Pawel T. Wojciechowski, Konrad Siek
2016 J jnl
Atomic RMI: A Distributed Transactional Memory Framework.
Int. J. Parallel Program.
Konrad Siek, Pawel T. Wojciechowski
2016 J jnl
Helenos: A Realistic Benchmark for Distributed Transactional Memory.
CoRR
Jan Baranowski, Pawel Kobylinski, Konrad Siek, Pawel T. Wojciechowski
2016 J jnl
Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined.
CoRR
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2016 J jnl
The Optimal Pessimistic Transactional Memory Algorithm.
CoRR
Pawel T. Wojciechowski, Konrad Siek
2015 A* conf
Brief Announcement: Eventually Consistent Linearizability.
PODC
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2015 — ch.
Introduction to Transactional Replication.
Transactional Memory
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2015 J jnl
Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support.
CoRR
Konrad Siek, Pawel T. Wojciechowski
2014 — ch.
Dependability Infrastructure for SOA Applications.
Advanced SOA Tools and Applications
Jerzy Brzezinski, Dariusz Dwornikowski, Anna Kobusinska, Jacek Kobusinski, Michal Sajkowski, Cezary Sobaniec, Michal Szychowiak, Dariusz Wawrzyniak, Pawel T. Wojciechowski
2014 — conf
Having your cake and eating it too: combining strong and eventual consistency.
PaPEC@EuroSys
Pawel T. Wojciechowski, Konrad Siek
2014 B conf
Make the Leader Work: Executive Deferred Update Replication.
SRDS
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
2014 A conf
Relaxing Opacity in Pessimistic Transactional Memory.
DISC
Konrad Siek, Pawel T. Wojciechowski
2013 B conf
Brief announcement: towards a fully-articulated pessimistic distributed transactional memory.
SPAA
Konrad Siek, Pawel T. Wojciechowski
2013 A conf
Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined.
ICDCS
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
2012 C conf
A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.
FMICS
Konrad Siek, Pawel T. Wojciechowski
2012 B conf
Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes.
SRDS
Pawel T. Wojciechowski, Tadeusz Kobus, Maciej Kokocinski
2012 B conf
RESTGroups for Resilient Web Services.
SOFSEM
Tadeusz Kobus, Pawel T. Wojciechowski
2011 — conf
Batched Transactions for RESTful Web Services.
ICWE Workshops
Sebastian Kochman, Pawel T. Wojciechowski, Milosz Kmieciak
2011 B conf
Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages.
SLE
Pawel T. Wojciechowski
2010 J jnl
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation.
ACM Trans. Program. Lang. Syst.
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapoth
2006 A conf
A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.
SC
Pawel T. Wojciechowski
2006 — conf
Advances in the Design and Implementation of Group Communication Middleware.
Research Results of the DICS Program
Daniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski
2006 C conf
Scalable Message Routing for Mobile Software Assistants.
EUC
Pawel T. Wojciechowski
2006 Misc conf
Service interface: a new abstraction for implementing and composing protocols.
SAC
Olivier Rütti, Pawel T. Wojciechowski, André Schiper
2006 A conf
Structural and algorithmic issues of dynamic protocol update.
IPDPS
Olivier Rütti, Pawel T. Wojciechowski, André Schiper
2005 C conf
Isolation-only transactions by typing and versioning.
PPDP
Pawel T. Wojciechowski
2005 — conf
On Correctness of Dynamic Protocol Update.
FMOODS
Pawel T. Wojciechowski, Olivier Rütti
2005 C conf
Role-Based Declarative Synchronization for Reconfigurable Systems.
PADL
Vlad Tanasescu, Pawel T. Wojciechowski
2004 B conf
Concurrency Combinators for Declarative Synchronization.
APLAS
Pawel T. Wojciechowski
2004 A conf
SAMOA: Framework for Synchronisation Augmented Microprotocol Approach.
IPDPS
Pawel T. Wojciechowski, Olivier Rütti, André Schiper
2003 A conf
A Step Towards a New Generation of Group Communication Systems.
Middleware
Sergio Mena, André Schiper, Pawel T. Wojciechowski
2002 C conf
Semantics of Protocol Modules Composition and Interaction.
COORDINATION
Pawel T. Wojciechowski, Sergio Mena, André Schiper
2000 J jnl
Nomadic Pict: language and infrastructure design for mobile agents.
IEEE Concurr.
Pawel T. Wojciechowski, Peter Sewell
2000 — —
Nomadic pict: language and infrastructure design for mobile computation
Pawel T. Wojciechowski
1999 — conf
Nomadic Pict: Language and Infrastructure Design for Mobile Agents.
ASA/MA
Pawel T. Wojciechowski, Peter Sewell
1998 — conf
Location-Independent Communication for Mobile Agents: A Two-Level Architecture.
ICCL Workshop: Internet Programming Languages
Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce