Pawel T. Wojciechowski

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 23

Top Topics

Consistency Checking

Transactional Memory

Highly Parallel

Top Venues

IEEE Trans. Parallel Distributed Syst.

Publications

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