| [1] |
Pawel T. Wojciechowski.
A selective and biased choice of techniques for building a
distributed data store.
In Proceedings of DEBS ’23: the 17th ACM International
Conference on Distributed and Event-based Systems, page pp., June 2023.
[ bib |
DOI |
.pdf ]
Keywords: keynote |
| [2] |
Pawel T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński.
Fault-tolerant data processing computer system and method for
implementing a distributed two-tier state machine, November 2018.
Date of filing: January 14, 2016. United States Patent No. US
10,135,929 B2.
[ bib |
http ]
Keywords: patent |
| [3] |
Pawel T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński.
A fault-tolerant data processing computer system and method for
implementing a distributed two-tier state machine, August 2018.
Date of filing: January 12, 2016. European Patent Specification No.
EP 3 193 256 B1.
[ bib |
http ]
Keywords: patent |
| [4] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
On the correctness of highly available systems in the presence of
failures.
Journal of Parallel and Distributed Computing (JPDC), 180,
October 2023.
Received 12 March 2022, Revised 4 April 2023, Accepted 21 April 2023,
Available online 10 May 2023, Version of Record 13 June 2023.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [5] |
Konrad Siek and Pawel T. Wojciechowski.
Last-use opacity: A strong safety property for transactional memory
with prerelease support.
Distributed Computing, 35(3):265--301, June 2022.
Published: 17 April 2022.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [6] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
On mixing eventual and strong consistency: Acute Cloud Types.
IEEE Transactions on Parallel and Distributed Systems (TPDS),
33(6):1338--1356, June 2022.
Date of Publication: 17 June 2021.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [7] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
Jiffy: A lock-free skip list with batch updates and snapshots.
In Proceedings of PPoPP '22: the 27th ACM SIGPLAN Symposium on
Principles and Practice of Parallel Programming, pages pp. 400--415, April
2022.
Online: 28 March 2022.
[ bib |
DOI |
http ]
Keywords: conference |
| [8] |
Jan Kończak and Pawel T. Wojciechowski.
Failure recovery from persistent memory in Paxos-based state
machine replication.
In Proceedings of SRDS '21: the 40th IEEE Symposium on Reliable
Distributed Systems, pages pp. 88--98, September 2021.
[ bib |
DOI |
.pdf ]
Keywords: conference |
| [9] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
On mixing eventual and strong consistency: Bayou revisited.
In Proceedings of PODC '19: the 38th ACM Symposium on Principles
of Distributed Computing, pages pp. 458--460, July-August 2019.
[ bib |
DOI |
.pdf ]
Keywords: conference |
| [10] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
Creek: Low-latency, mixed-consistency transactional replication
scheme, December 2019.
[ bib |
http ]
Keywords: arxiv |
| [11] |
Jan Kończak and Pawel T. Wojciechowski and Nuno Santos and Tomasz
Żurkowski and André Schiper.
Recovery algorithms for Paxos-based state machine replication.
IEEE Transactions on Dependable and Secure Computing (TDSC),
18(2):623--640, March-April 2021.
Date of Publication: 10 July 2019.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [12] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
Hybrid transactional replication: State-machine and deferred-update
replication combined.
IEEE Transactions on Parallel and Distributed Systems (TPDS),
29(7):1499--1514, July 2018.
Date of Publication: January 23, 2018.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [13] |
Pawel Kobyliński and Konrad Siek and Jan Baranowski and Pawel T.
Wojciechowski.
Helenos: A realistic benchmark for distributed transactional
memory.
Software: Practice and Experience, 48(3):528--549, March 2018.
First published: 9 October 2017.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [14] |
Pawel T. Wojciechowski, Pawel Kobyliński, and Sebastian Kochman.
Strongly and eventually consistent transactions for RESTful web
services, 2017.
In preparation.
[ bib |
DOI ]
Keywords: draft |
| [15] |
Jan Kończak, Pawel T. Wojciechowski, and Rachid Guerraoui.
Operation-level wait-free transactional memory with support for
irrevocable operations.
IEEE Transactions on Parallel and Distributed Systems (TPDS),
28(12):3570--3583, December 2017.
Date of publication: August 2, 2017.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [16] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
Bridging eventual and strong consistency.
Technical report, Institute of Computing Science, Poznań University
of Technology, August 2017.
[ bib ]
Keywords: techreport |
| [17] |
Konrad Siek and Pawel T. Wojciechowski.
A recipe for implementing multi-agent systems with distributed
transactional memory, February 2017.
In preparation.
[ bib ]
Keywords: draft |
| [18] |
Pawel T. Wojciechowski and Konrad Siek.
Atomic RMI 2: Distributed transactions for Java.
In Proceedings of AGERE '16: the 6th Workshop on Programming
based on Actors, Agents, and Decentralized Control (in conjunction with
SPLASH '16), pages 61--69. Association for Computing Machinery (ACM),
October 2016.
[ bib |
DOI ]
Keywords: workshop |
| [19] |
Konrad Siek and Pawel T. Wojciechowski.
Atomic RMI 2: Highly parallel pessimistic distributed transactional
memory, 2016.
In preparation.
[ bib |
arXiv |
http ]
Keywords: arxiv |
| [20] |
Jan Kończak, Pawel T. Wojciechowski, and Rachid Guerraoui.
Ensuring irrevocability in wait-free transactional memory.
In Proceedings of TRANSACT '16 : the 11th ACM SIGPLAN Workshop
on Transactional Computing (in conjunction with PPoPP '16: the 21st ACM
SIGPLAN Symposium on Principles and Practice of Parallel Programming), March
2016.
[ bib |
DOI ]
Keywords: workshop |
| [21] |
Pawel T. Wojciechowski and Konrad Siek.
The optimal pessimistic transactional memory algorithm, 2016.
In preparation.
[ bib |
arXiv |
http ]
Keywords: arxiv |
| [22] |
Jan Baranowski, Pawel Kobyliński, Konrad Siek, and Pawel T.
Wojciechowski.
Helenos: A realistic benchmark for distributed transactional
memory, March 2016.
[ bib |
http ]
Keywords: arxiv |
| [23] |
Pawel T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński.
State-machine and deferred-update replication: Analysis and
comparison.
IEEE Transactions on Parallel and Distributed Systems (TPDS),
28(3):891--904, March 2017.
Published: 12 July 2016.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [24] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
Relaxing real-time order in opacity and linearizability.
Journal of Parallel and Distributed Computing (JPDC),
100:57--70, February 2017.
Accepted: October 4, 2016. Available online: October 24, 2016.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [25] |
Konrad Siek and Pawel T. Wojciechowski.
Atomic RMI: a distributed transactional memory framework.
International Journal of Parallel Programming, 44(3):598--619,
June 2016.
First online: April 1, 2015. Received: August 14, 2014. Accepted:
March 10, 2015. Invited submission for HLPP '14: the 7th International
Symposium on High-level Parallel Programming and Applications.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [26] |
Konrad Siek and PawelT. Wojciechowski.
Transactions scheduled while you wait: Augmenting transactional
memory with a sorting queue, 2015.
Rejected.
[ bib |
DOI ]
Keywords: draft |
| [27] |
Konrad Siek and Pawel T. Wojciechowski.
Proving opacity of transactional memory with early release.
Foundations of Computing and Decision Sciences, 40(4):317--335,
December 2015.
[ bib |
DOI |
.pdf ]
Keywords: other |
| [28] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
Brief announcement: Eventually consistent linearizability.
In Proceedings of ACM PODC '15: the 34th ACM Symposium on
Principles of Distributed Computing, pages pp. 237--239, July 2015.
[ bib |
DOI |
.pdf ]
Keywords: conference |
| [29] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
The correctness criterion for deferred update replication.
In Proceedings of TRANSACT '15 : the 10th ACM SIGPLAN Workshop
on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM
PLDI '15), June 2015.
[ bib |
DOI ]
Keywords: workshop |
| [30] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
Introduction to transactional replication.
In Rachid Guerraoui and Paolo Romano, editors, Transactional
Memory: Foundations, Algorithms, Tools, and Applications. COST Action Euro-TM
IC1001, volume 8913 of LNCS, pages 309--340. Springer, 2015.
[ bib |
DOI ]
Keywords: chapter,selectedchapter |
| [31] |
Konrad Siek and Pawel T. Wojciechowski.
Brief announcement: Relaxing opacity in pessimistic transactional
memory.
In Proceedings of DISC '14: the 28th International Symposium on
Distributed Computing, volume 8784 of LNCS, pages 540--541. Springer,
October 2014.
[ bib |
DOI ]
Keywords: conference |
| [32] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
Make the leader work: Executive deferred update replication.
In Proceedings of SRDS '14: the 33rd IEEE Symposium on Reliable
Distributed Systems, pages pp. 89--94, October 2014.
[ bib |
DOI |
.pdf ]
Keywords: conference |
| [33] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
On safety of replicated transactional memory.
In Proceedings of WTTM '14: the 6th Workshop on the Theory of
Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM
SIGACT-SIGOPS Symposium on Principles of Distributed Computing), July 2014.
[ bib |
DOI ]
Keywords: workshop |
| [34] |
Konrad Siek and Pawel T. Wojciechowski.
Zen and the art of concurrency control: An exploration of tm safety
property space with early release in mind.
In Proceedings of WTTM '14: the 6th Workshop on the Theory of
Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM
SIGACT-SIGOPS Symposium on Principles of Distributed Computing), July 2014.
[ bib |
DOI ]
Keywords: workshop |
| [35] |
Maciej Kokociński, Tadeusz Kobus, and Pawel T. Wojciechowski.
Towards a more scalable deferred update replication (abstract).
In WTM '14: the 4th Euro-TM Workshop on Transactional Memory
(co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on
Computer Systems), April 2014.
[ bib ]
Keywords: workshop |
| [36] |
Jan Kończak, Rachid Guerraoui, and Pawel T. Wojciechowski.
Towards wait-free transactional memory with irrevocables (abstract).
In WTM '14: the 4th Euro-TM Workshop on Transactional Memory
(co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on
Computer Systems), April 2014.
[ bib ]
Keywords: workshop |
| [37] |
Pawel T. Wojciechowski and Konrad Siek.
Having your cake and eating it too: Combining strong and eventual
consistency.
In Proceedings of PaPEC '14: the 1st Workshop on Principles and
Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM
SIGOPS European Conference on Computer Systems). Association for Computing
Machinery (ACM), April 2014.
[ bib |
DOI ]
Keywords: workshop |
| [38] |
Jerzy Brzeziński, Dariusz Dwornikowski, Anna Kobusińska, Jacek
Kobusiński, Michal Sajkowski, Cezary Sobaniec, Michal Szychowiak,
Dariusz Wawrzyniak, and Pawel T. Wojciechowski.
Dependability Infrastructure for SOA Applications.
In Stanislaw Ambroszkiewicz, Jerzy Brzeziński, Wojciech Cellary,
Adam Grzech, and Krzysztof Zieliński, editors, Advanced SOA Tools and
Applications, volume 499 of Studies in Computational Intelligence,
pages 203--260. Springer, 2014.
[ bib ]
Keywords: chapter |
| [39] |
Konrad Siek and Pawel T. Wojciechowski.
Brief announcement: Towards a fully-articulated pessimistic
distributed transactional memory.
In Proceedings of SPAA '13: the 25th ACM Symposium on
Parallelism in Algorithms and Architectures, pages 111--114. Association for
Computing Machinery (ACM), July 2013.
[ bib |
DOI ]
Keywords: conference |
| [40] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
Hybrid replication: State-machine-based and deferred-update
replication schemes combined.
In Proceedings of ICDCS '13: the 33rd International Conference
on Distributed Computing Systems, pages 286--296. IEEE Computer Society,
July 2013.
[ bib |
DOI ]
Keywords: conference |
| [41] |
Pawel T. Wojciechowski and Jan Kończak.
Back to the futures: the futures-based distributed transactional
memory (abstract).
In WTM '13: 3rd Euro-TM Workshop on Transactional Memory
(co-located with EuroSys '13: the 8th ACM SIGOPS European Conference on
Computer Systems), April 2013.
[ bib ]
Keywords: workshop |
| [42] |
Pawel T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński.
Model-driven comparison of state-machine-based and deferred-update
replication schemes.
In Proceedings of SRDS '12: the 31st IEEE International
Symposium on Reliable Distributed Systems, pages 101--110. IEEE Computer
Society, October 2012.
[ bib |
DOI ]
Keywords: conference |
| [43] |
Konrad Siek and Pawel T. Wojciechowski.
A formal design of a tool for static analysis of upper bounds on
object calls in Java.
In Proceedings of FMICS '12: the 17th International Workshop on
Formal Methods for Industrial Critical Systems (co-located with FM '12: the
18th International Symposium on Formal Methods), volume 7437 of LNCS,
page 192–206. Springer, August 2012.
[ bib |
DOI ]
Keywords: conference |
| [44] |
Pawel T. Wojciechowski and Jan Kończak.
A formal model of crash recovery in distributed software
transactional memory (extended abstract).
In WTTM '12: the 4th Workshop on the Theory of Transactional
Memory (co-located with PODC '12: the 31st Annual ACM SIGACT-SIGOPS Symposium
on Principles of Distributed Computing), July 2012.
[ bib ]
Keywords: workshop |
| [45] |
Pawel T. Wojciechowski.
Conditional concurrency combinators.
In LaME '12: International Workshop on Languages for the
Multi-core Era (co-located with ECOOP '12: the 26th European Conference on
Object-Oriented Programming), June 2012.
[ bib ]
Keywords: workshop |
| [46] |
Pawel T. Wojciechowski and Konrad Siek.
Transaction concurrency control via dynamic scheduling based on
static analysis (abstract).
In WTM '12: 2nd Euro-TM Workshop on Transactional Memory
(co-located with EuroSys '12: the 7th ACM SIGOPS European Conference on
Computer Systems), April 2012.
[ bib ]
Keywords: workshop |
| [47] |
Tadeusz Kobus, Maciej Kokociński, and Pawel T. Wojciechowski.
Practical considerations of distributed STM systems development
(abstract).
In Proceedings of WDTM '12: the 1st Euro-TM Workshop on
Distributed Transactional Memory, February 2012.
[ bib ]
Keywords: workshop |
| [48] |
Tadeusz Kobus and Pawel T. Wojciechowski.
RESTGroups for resilient Web services.
In Mária Bieliková et al., editor, Proceedings of SOFSEM
'12: the 38th International Conference on Current Trends in Theory and
Practice of Computer Science, volume 7147 of LNCS, pages 505--517.
Springer, January 2012.
Software & Web Engineering Track.
[ bib ]
Keywords: conference |
| [49] | Jan Kończak, Nuno Santos, Tomasz Żurkowski, Pawel T. Wojciechowski, and André Schiper. JPaxos: State machine replication based on the Paxos protocol. Technical Report EPFL-REPORT-167765, Faculté Informatique et Communications, EPFL, July 2011. 38pp. [ bib ] |
| [50] |
Pawel T. Wojciechowski.
Typed first-class communication channels and mobility for concurrent
scripting languages.
In Uwe Aßmann and Anthony Sloane, editors, Proceedings of SLE
'11: the 4th ACM SIGPLAN International Conference on Software Language
Engineering, volume 6940 of LNCS, pages 378–--387. Springer, July
2011.
10pp.
[ bib ]
Keywords: conference |
| [51] |
Sebastian Kochman, Pawel T. Wojciechowski, and Milosz Kmieciak.
Batched transactions for RESTful Web services.
In Andreas Harth and Nora Koch, editors, Proceedings of
ComposableWeb '11: the 3rd International Workshop on Lightweight Integration
on the Web (co-located with ICWE '11: the 11th International Conference on
Web Engineering), volume 7059 of LNCS, pages 86–--98. Springer, June
2011.
[ bib ]
Keywords: workshop |
| [52] |
Jerzy Brzeziński, Arkadiusz Danilecki, Krzysztof Jankiewicz, Anna
Kobusińska, Mariusz Mamoński, Tadeusz Morzy, and Pawel T.
Wojciechowski.
Transaction and rollback-recovery support for Service-Oriented
Architecture.
In Stanislaw Ambroszkiewicz, Jerzy Brzeziński, Wojciech Cellary,
Adam Grzech, and Krzysztof Zieliński, editors, SOA Infrastructure
Tools: Concepts and Methods, pages 117--152. Poznań University of
Economics Press, 2010.
[ bib ]
Keywords: chapter |
| [53] |
Jerzy Brzeziński, Michal Kalewski, Marek Libuda, Cezary Sobaniec, Dariusz
Wawrzyniak, Pawel T. Wojciechowski, and Piotr Wysocki.
Replication tools for Service-Oriented Architecture.
In Stanislaw Ambroszkiewicz, Jerzy Brzeziński, Wojciech Cellary,
Adam Grzech, and Krzysztof Zieliński, editors, SOA Infrastructure
Tools: Concepts and Methods, pages 153--180. Poznań University of
Economics Press, 2010.
[ bib ]
Keywords: chapter |
| [54] |
Konrad Siek and Pawel T. Wojciechowski.
Statically computing upper bounds on object calls for pessimistic
concurrency control.
In Proceedings of (EC)2 '10: Workshop on Exploiting
Concurrency Efficiently and Correctly (co-located with CAV '10: the 22nd
International Conference on Computer Aided Verification), July 2010.
5pp.
[ bib ]
Keywords: workshop |
| [55] |
Tadeusz Kobus and Pawel T. Wojciechowski.
A 90% restful group communication service (extended abstract).
In Proceedings of DCDP '10: the Workshop on Decentralized
Coordination of Distributed Processes (co-located with COORDINATION '10: the
12th International Conference on Coordination Models and Languages), June
2010.
Published in Electronic Proceedings in Theoretical Computer Science
(EPTCS), Volume 27. A full version published as Technical Report RA-2/10,
Institute of Computing Science, Poznań University of Technology.
[ bib ]
Keywords: workshop |
| [56] |
Tadeusz Kobus and Pawel T. Wojciechowski.
A 90% restful group communication service.
Technical Report RA-02/10, Institute of Computing Science, Poznań
University of Technology, May 2010.
19pp.
[ bib ]
Keywords: techreport |
| [57] |
Peter Sewell, Pawel T. Wojciechowski, and Asis Unyapoth.
Nomadic Pict: Programming languages, communication infrastructure
overlays, and semantics for mobile computation.
ACM Transactions on Programming Languages and Systems
(TOPLAS), 32(4):12:1--12:63, April 2010.
[ bib |
DOI |
.pdf ]
Keywords: journal |
| [58] |
Pawel T. Wojciechowski.
Extending atomic tasks to distributed atomic tasks.
In Proceedings of the (EC)2 Workshop on Exploiting
Concurrency Efficiently and Correctly (co-located with CAV '08: the 20th
International Conference on Computer Aided Verification), July 2008.
[ bib ]
Keywords: workshop |
| [59] |
Peter Sewell and Pawel T. Wojciechowski.
Verifying overlay networks for relocatable computations (or: Nomadic
pict, relocated).
In Proceedings of the Workshop on the Rise and Rise of the
Declarative Datacentre, May 2008.
Appeared as Microsoft Research Technical Report MSR-TR-2008-61.
[ bib ]
Keywords: workshop |
| [60] |
Pawel T. Wojciechowski.
Language Design for Atomicity, Declarative Synchronization, and
Dynamic Update in Communicating Systems.
Publishing House of Poznan University of Technology, Pl. Marii
Sklodowskiej-Curie 2, Poznań 60-965, Poland, 2007.
204pp.
[ bib |
http ]
Keywords: thesis |
| [61] |
Pawel T. Wojciechowski.
Scalable message routing for mobile software assistants.
In Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim,
Laurence T. Yang, and Bin Xiao, editors, Proceedings of EUC '06: the
2006 IFIP International Conference on Embedded And Ubiquitous Computing,
volume 4096 of LNCS, pages 355--364. Springer, August 2006.
[ bib ]
Keywords: conference |
| [62] |
Pawel T. Wojciechowski.
Scalable message routing for mobile software assistants.
Technical Report RA-010/06, Institute of Computing Science, Poznań
University of Technology, May 2006.
22pp.
[ bib ]
Keywords: techreport |
| [63] |
Pawel T. Wojciechowski.
A class-based object calculus of dynamic binding: Reduction and
properties.
In Welf Löwe and Mario Südholt, editors, Proceedings of SC
'06: the 5th IFIP International Symposium on Software Composition (co-located
with ETAPS '06), volume 4089 of LNCS, pages 131--146. Springer, March
2006.
[ bib ]
Keywords: conference |
| [64] |
Daniel Bünzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and
Olivier Rütti and André Schiper and Pawel T. Wojciechowski.
Advances in the design and implementation of group communication
middleware.
In Jürg Kohlas, Bertrand Meyer, and André Schiper, editors,
Dependable Systems: Software, Computing, Networks, volume 4028 of
LNCS, pages 172--194. Springer, September 2006.
[ bib |
DOI ]
Keywords: selectedchapter |
| [65] |
Olivier Rütti, Pawel T. Wojciechowski, and André Schiper.
Structural and algorithmic issues of dynamic protocol update.
In Proceedings of IPDPS '06: the 20th IEEE International
Parallel and Distributed Processing Symposium. IEEE Computer Society, April
2006.
[ bib ]
Keywords: conference |
| [66] |
Olivier Rütti, Pawel T. Wojciechowski, and André Schiper.
Service Interface: A new abstraction for implementing and composing
protocols.
In Proceedings of SAC '06: the 21st ACM Symposium on Applied
Computing - Track on Dependable and Adaptive Distributed Systems, pages
691--696. Association for Computing Machinery (ACM), April 2006.
[ bib ]
Keywords: conference |
| [67] |
Pawel T. Wojciechowski.
Communication infrastructure design for wide-area mobile computation:
Specification in Nomadic Pict.
Technical Report LSR-2005-01, School of Computer and Communication
Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), August
2005.
27pp.
[ bib ]
Keywords: techreport |
| [68] |
Pawel T. Wojciechowski.
Isolation-only transactions by typing and versioning.
In Proceedings of PPDP '05: the 7th ACM-SIGPLAN International
Symposium on Principles and Practice of Declarative Programming, July 2005.
[ bib ]
Keywords: conference |
| [69] |
Pawel T. Wojciechowski.
Typing for reliable distributed systems - recent advances.
In Proceedings of Workshop on Dependable Software - Tools and
Methods (co-located with IEEE DSN '05: the 35th International Conference on
Dependable Systems and Networks), June 2005.
[ bib ]
Keywords: workshop |
| [70] |
Olivier Rütti, Pawel T. Wojciechowski, and André Schiper.
Dynamic update of distributed agreement protocols.
Technical Report IC-2005-012, School of Computer and Communication
Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), March
2005.
25pp.
[ bib ]
Keywords: techreport |
| [71] |
Pawel T. Wojciechowski and Olivier Rütti.
On correctness of dynamic protocol update.
In Martin Steffen and Gianluigi Zavattaro, editors, Proceedings
of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open
Object-Based Distributed Systems, volume 3535 of LNCS, pages 275--289.
Springer, June 2005.
[ bib ]
Keywords: conference |
| [72] |
Vlad Tanasescu and Pawel T. Wojciechowski.
Role-based declarative synchronization for reconfigurable systems.
In Manuel Hermenegildo and Daniel Cabeza, editors, Proceedings
of PADL '05: the 7th International Symposium on Practical Aspects of
Declarative Languages, volume 3350 of LNCS, pages 52--66. Springer,
January 2005.
[ bib ]
Keywords: conference |
| [73] |
Pawel T. Wojciechowski.
Isolation-only transactions by typing and versioning.
Technical Report IC-2004-104, School of Computer and Communication
Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), December
2004.
47pp.
[ bib ]
Keywords: techreport |
| [74] |
Pawel T. Wojciechowski.
Concurrency combinators for declarative synchronization.
In Wei-Ngan Chin, editor, Proceedings of APLAS '04: the 2nd
Asian Symposium on Programming Languages and Systems, volume 3302 of
LNCS, pages 163--178. Springer, November 2004.
[ bib ]
Keywords: conference |
| [75] |
Pawel T. Wojciechowski, Olivier Rütti, and André Schiper.
SAMOA: A framework for a synchronisation-augmented microprotocol
approach.
In Proceedings of IPDPS '04: the 18th IEEE International
Parallel and Distributed Processing Symposium, April 2004.
[ bib ]
Keywords: conference |
| [76] |
Sergio Mena, André Schiper, and Pawel T. Wojciechowski.
A step towards a new generation of group communication systems.
In Markus Endler and Douglas Schmidt, editors, Proceedings of
Middleware '03: the 4th ACM/IFIP/USENIX International Middleware Conference,
volume 2672 of LNCS, pages 414--432. Springer, June 2003.
[ bib ]
Keywords: conference |
| [77] |
Sergio Mena, André Schiper, and Pawel T. Wojciechowski.
A step towards a new generation of group communication systems.
Technical Report IC-2003-01, School of Computer and Communication
Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), January
2003.
[ bib ]
Keywords: techreport |
| [78] |
Pawel T. Wojciechowski, Sergio Mena, and André Schiper.
Semantics of protocol modules composition and interaction.
In Farhad Arbab and Carolyn Talcott, editors, Proceedings of
COORDINATION '02: the fifth International Conference on Coordination Models
and Languages, volume 2315 of LNCS, pages 389--404. Springer, April
2002.
[ bib ]
Keywords: conference |
| [79] |
Pawel T. Wojciechowski, Sergio Mena, and André Schiper.
Semantics of protocol modules composition and interaction.
Technical Report IC-2002-2, School of Computer and Communication
Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), February
2002.
33pp.
[ bib ]
Keywords: techreport |
| [80] |
Pawel T. Wojciechowski.
Algorithms for location-independent communication between mobile
agents.
In Proceedings of AISB '01 Symposium on Software Mobility and
Adaptive Behaviour, March 2001.
Also published as Technical Report IC-2001-13, School of Computer and
Communication Sciences, Ecole Polytechnique Fédérale de Lausanne
(EPFL).
[ bib ]
Keywords: conference |
| [81] |
Pawel T. Wojciechowski.
Algorithms for location-independent communication between mobile
agents.
Technical Report IC-2001-13, School of Computer and Communication
Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), March
2001.
24pp.
[ bib ]
Keywords: techreport |
| [82] |
Pawel T. Wojciechowski.
Nomadic Pict: Language and infrastructure design for mobile
computation.
Technical Report 492, Computer Laboratory, University of Cambridge,
June 2000.
184pp.
[ bib ]
Keywords: techreport |
| [83] |
Pawel T. Wojciechowski.
Nomadic Pict: Language and Infrastructure Design for Mobile
Computation.
PhD thesis, University of Cambridge, June 2000.
Also published as Technical Report 492, Computer Laboratory,
University of Cambridge. 184pp.
[ bib |
www: ]
Keywords: thesis |
| [84] |
Pawel T. Wojciechowski.
Nomadic Pict. Documentation and User's Manual, December 2000.
Available as part of the Nomadic Pict distribution from
http://www.cs.put.poznan.pl/pawelw/npict/.
[ bib ]
Keywords: manual |
| [85] |
Pawel T. Wojciechowski and Peter Sewell.
Nomadic Pict: Language and infrastructure design for mobile agents.
IEEE Concurrency, 8(2):42--52, April--June 2000.
Invited submission for ASA/MA '99.
[ bib |
.pdf ]
Keywords: journal |
| [86] |
Pawel T. Wojciechowski and Peter Sewell.
Nomadic Pict: Language and infrastructure design for mobile agents.
In Proceedings of ASA/MA '99: Symposium on Agent Systems and
Applications/Mobile Agents, pages 2--12. IEEE Computer Society, October
1999.
Best paper award.
[ bib ]
Keywords: conference |
| [87] |
Peter Sewell, Pawel T. Wojciechowski, and Benjamin C. Pierce.
Location-independent communication for mobile agents: a two-level
architecture.
In Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, editors,
Internet Programming Languages, volume 1686 of LNCS, pages 1--31.
Springer, October 1999.
[ bib |
DOI ]
Keywords: chapter,selectedchapter |
| [88] |
Peter Sewell, Pawel T. Wojciechowski, and Benjamin C. Pierce.
Location-independent communication for mobile agents: a two-level
architecture.
Technical Report 462, Computer Laboratory, University of Cambridge,
April 1999.
31pp.
[ bib ]
Keywords: techreport |
| [89] |
Peter Sewell, Pawel T. Wojciechowski, and Benjamin C. Pierce.
Location independence for mobile agents.
In Proceedings of the Workshop on Internet Programming Languages
(co-located with ICCL ’98: International Conference on Computer
Languages), May 1998.
[ bib ]
Keywords: workshop |
This file was generated by bibtex2html 1.99.