% Paweł T. Wojciechowski (c) 2024 % The 14 BibTeX entry types: % https://www.bibtex.com/e/entry-types/ % Legend: % -c conferece papers % -w workshop papers % -ch book chapters % -phd -hab dissertations % -arxiv arxiv % -tr tech reports % -draft % -man manuals % -a abstracts % Punkty CORE i MEiN podano takie, jakie obowiązywały w czasie submission lub acceptance. % Series @string{lncs="Lecture Notes in Computer Science"} %@string{lncs="LNCS"} % Keynotes @InProceedings{Woj23-a, keywords = {keynote}, author = {Pawe{\l} T. Wojciechowski}, title = {A selective and biased choice of techniques for building a distributed data store}, OPTbooktitle = {Proceedings of DEBS ’23: the 17th ACM International Conference on Distributed and Event-based Systems, June 27–30, 2023, Neuchatel, Switzerland}, booktitle = {Proceedings of DEBS ’23: the 17th ACM International Conference on Distributed and Event-based Systems}, editor = {}, year = {2023}, month = jun, pages = {pp. }, OPTpublisher = {ACM Press}, doi = {10.1145/3583678.3603441}, url = {PDF/debs23-keynote-abstract.pdf}, OPTurl = {}, OPTissn = {}, isbn = {ISBN: 979-8-4007-0122-1/23/06}, note = {}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{}{}{debs23-keynote-abstract.pdf}}, } % Patents % Warning: there is an patent{...} type which, while not standard, is supported by many styles. @misc{WKK18-us-patent, keywords = {patent}, title = {Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, url = {https://patents.google.com/patent/US10135929B2}, year = {2018}, OPTmonth = nov # "~20,", month = nov, publisher = {Google Patents}, note = {Date of filing: January 14, 2016. United States Patent No. US 10,135,929 B2}, annote = {FNP grant 103/UD/SKILLS/2014 (partially)} } @misc{WKK18-eu-patent, keywords = {patent}, title = {A fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, url = {https://patents.google.com/patent/EP3193256B1}, year = {2018}, OPTmonth = aug # "~1,", month = aug, publisher = {Google Patents}, note = {Date of filing: January 12, 2016. European Patent Specification No. EP 3 193 256 B1}, annote = {FNP grant 103/UD/SKILLS/2014 (partially)} } % Papers @InProceedings{KKKW26, keywords = {conference}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Krzysztof Kortas and Pawe{\l} T. Wojciechowski}, title = {A Scalable Persistent Key-Value Store with Atomic Batches and Snapshots}, OPTbooktitle = {Proceedings of SPAA ’26: the 38th ACM Symposium on Parallelism in Algorithms and Architectures (London, UK)}, booktitle = {Proceedings of SPAA ’26: the 38th ACM Symposium on Parallelism in Algorithms and Architectures}, editor = {}, year = {2026}, month = jul, pages = {}, OPTpublisher = {Association for Computing Machinery (ACM)}, doi = {}, url = {}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/spaa26.pdf}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: ISBN }, note = {Published: }, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0766}, addendum = {\rank{A→B}{140}{spaa26.pdf}} } % do 2021 ta konfrencja miała w CORE rank A, ale obniżyli do B, bo nie było "submission" @Article{WKK26, keywords = {journal}, author = {Pawe{\l} T. Wojciechowski and Maciej Kokoci\'nski and Tadeusz Kobus}, title = {Creek: {A} Single-Order Mixed-Consistency Replication Scheme}, journal = {Theoretical Computer Science (TCS)}, volume = {1075}, OPTnumber = {}, year = {2026}, month = jun, pages = {1--18}, publisher = {Elsevier}, doi = {10.1016/j.tcs.2026.115927}, url = {https://www.sciencedirect.com/science/article/pii/S0304397526001866}, issn = {0304-3975, 1879-2294}, note = {Received 31 January 2026; Accepted 20 March 2026; Available online 1 April 2026. Invited submission for ICDCN '26.}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant no. 0311/SBAD/0766 and the Excellence Initiative International Co-operation – Internship Programme}, addendum = {\rank{A}{100}{tcs26-journal.pdf}}}, } % ISSN (wersja drukowana): 0304-3975, e-ISSN (wersja online): 1879-2294 @InProceedings{KKW25-c, keywords = {conference}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {A Single-Order Mixed-Consistency Replication Scheme}, OPTbooktitle = {Proceedings of ICDCN '26: the 27th ACM International Conference on Distributed Computing and Networking (Nara, Japan)}, booktitle = {Proceedings of ICDCN '26: the 27th ACM International Conference on Distributed Computing and Networking}, editor = {}, year = {2026}, month = jan, pages = {21--30}, OPTpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3772290.3772304}, url = {https://dl.acm.org/doi/10.1145/3772290.3772304}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/icdcn26.pdf}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: ISBN 979-8-4007-1888-5/26/01}, note = {Published: 5 January 2026}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0766}, addendum = {\rank{}{20}{icdcn26.pdf}} } % ICDCN has B in old CORE rankings, and 70 points on the MNiSW 2021 list. @InProceedings{KKW24b-c, keywords = {conference}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Krzysztof Kortas and Pawe{\l} T. Wojciechowski}, title = {{KDB}: {A} Persistent Key-Value Data Store with Batch Updates and Snapshots}, OPTbooktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium (Honk Kong, China)}, booktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium}, editor = {}, year = {2024}, month = dec, pages = {pp. 23--24}, OPTpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3704440.3704790}, url = {https://dl.acm.org/doi/10.1145/3704440.3704790}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/middleware24b.pdf}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: }, note = {Published: 27 December 2024}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0748}, addendum = {\rank{A}{140}{middleware24b.pdf}}, } @InProceedings{KKW24a-c, keywords = {conference}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Creek: {A} Mixed-Consistency Replication Scheme}, OPTbooktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium (Honk Kong, China)}, booktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium}, editor = {}, year = {2024}, month = dec, pages = {pp. 17--18}, OPTpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3704440.3704785}, url = {https://dl.acm.org/doi/10.1145/3704440.3704785}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/middleware24a.pdf}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: }, note = {Published: 27 December 2024}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0748}, addendum = {\rank{A}{140}{middleware24a.pdf}}, } @InProceedings{KKW24-w, keywords = {workshop}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract)}, OPTbooktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures, Nantes, France)}, booktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures)}, editor = {}, year = {2024}, month = jun, pages = {pp. 5--7}, OPTpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3670684.3673410}, url = {https://dl.acm.org/doi/10.1145/3670684.3673410}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/hopc24a.pdf}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: }, note = {Published: 26 July 2024}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0736}, addendum = {\rank{}{}{hopc24a.pdf}}, } @InProceedings{SW24-w, keywords = {workshop}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Last-use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract)}, OPTbooktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures, Nantes, France)}, booktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures)}, editor = {}, year = {2024}, month = jun, pages = {pp. 33--35}, OPTpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3670684.3673411}, url = {https://dl.acm.org/doi/10.1145/3670684.3673411}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/hopc24b.pdf}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: }, note = {Published: 26 July 2024}, annote = {NCN grant DEC-2012/07/B/ST6/01230 and the Czech Ministry of Education, Youth, and Sports from the Czech Operational Programme Research, Development, and Education grant CZ.02.1.01/0.0/0.0/15 003/0000421 and PUT's internal grant 0311/SBAD/0736}, addendum = {\rank{}{}{hopc24b.pdf}}, } @Article{KKW23, keywords = {journal}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On the correctness of highly available systems in the presence of failures}, journal = {Journal of Parallel and Distributed Computing (JPDC)}, volume = {180}, number = {}, year = {2023}, month = oct, pages = {pp. 1--18}, publisher = {Elsevier}, doi = {10.1016/j.jpdc.2023.04.008}, url = {PDF/jpdc23-journal-full.pdf}, issn = {}, note = {Received 12 March 2022, Revised 4 April 2023, Accepted 21 April 2023, Available online 10 May 2023, Version of Record 13 June 2023}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{A}{100}{jpdc23-journal-full.pdf}}, } % w KKW23 wcześniej mialem wpisane 140, ale to chyba błąd, bo w 2019 i 2021 to czasopismo miało 100 pkt. @Article{SW22, keywords = {journal}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Last-use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support}, journal = {Distributed Computing}, year = {2022}, OPTkey = {}, volume = {35}, number = {3}, month = jun, publisher = {Springer}, pages = {265--301}, doi = {10.1007/s00446-022-00420-2}, url = {PDF/dc22-journal.pdf}, note = {Published: 17 April 2022}, annote = {NCN grant DEC-2012/07/B/ST6/01230 and the Czech Ministry of Education, Youth, and Sports from the Czech Operational Programme Research, Development, and Education grant CZ.02.1.01/0.0/0.0/15 003/0000421}, OPTaddendum = {\rank{A}{70}, \href{run:./PDF/dc22-journal.pdf}{dc22-journal.pdf}}, addendum = {\rank{A}{70}{dc22-journal.pdf}} } @Article{KKW22, keywords = {journal}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On Mixing Eventual and Strong Consistency: {Acute Cloud Types}}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {33}, number = {6}, year = {2022}, month = jun, pages = {1338--1356}, OPTpublisher = {IEEE Computer Society}, doi = {10.1109/TPDS.2021.3090318}, OPTurl = {https://ieeexplore.ieee.org/document/9459528}, url = {PDF/tpds22-journal.pdf}, issn = {Print ISSN: 1045-9219. Online ISSN: 1558-2183. CD: 2161-9883}, note = {Date of Publication: 17 June 2021}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{140}{tpds22-journal.pdf}}, } @InProceedings{KKW22-c, keywords = {conference}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Jiffy: A Lock-free Skip List with Batch Updates and Snapshots}, booktitle = {Proceedings of PPoPP '22: the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, editor = {}, year = {2022}, month = apr, pages = {pp. 400--415}, OPTpublisher = {ACM Press}, doi = {10.1145/3503221.3508437}, url = {https://dl.acm.org/doi/10.1145/3503221.3508437}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/ppopp22.pdf}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: }, note = {Online: 28 March 2022}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{A}{140}{ppopp22-full.pdf}}, } @InProceedings{KW21-c, keywords = {conference}, author = {Jan Ko\'nczak and Pawe{\l} T. Wojciechowski}, title = {Failure Recovery from Persistent Memory in {Paxos}-based State Machine Replication}, OPTbooktitle = {Proceedings of SRDS '21: the 40th IEEE International Symposium on Reliable Distributed Systems (Chicago, IL, USA)}, booktitle = {Proceedings of SRDS '21: the 40th IEEE Symposium on Reliable Distributed Systems}, editor = {}, year = {2021}, month = sep, pages = {pp. 88--98}, OPTpublisher = {IEEE Computer Society}, doi = {10.1109/SRDS53918.2021.00018}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/srds21.pdf}, url = {PDF/srds21.pdf}, issn = {Electronic ISSN: 2575-8462, PoD ISSN: 1060-9857}, isbn = {Electronic ISBN: 978-1-6654-3819-3, PoD ISBN: 978-1-6654-3820-9}, note = {}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{B}{140}{srds21.pdf}}, } @InProceedings{KKW19-c, keywords = {conference}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On Mixing Eventual and Strong Consistency: {Bayou} Revisited}, OPTbooktitle = {Proceedings of PODC '19: the 38th ACM Symposium on Principles of Distributed Computing (Toronto, ON, Canada)}, booktitle = {Proceedings of PODC '19: the 38th ACM Symposium on Principles of Distributed Computing}, editor = {}, year = {2019}, month = {July-August}, pages = {pp. 458--460}, OPTpublisher = {Association for Computing Machinery (ACM)}, OPTaddress = {New York, NY, USA}, doi = {10.1145/3293611.3331583}, url = {http://www.cs.put.poznan.pl/pawelw/pub/podc19-arxiv.pdf}, isbn = {ISBN: 978-1-4503-6217-7}, note = {}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{200}{podc19-full.pdf}}, } @misc{kkw19-arxiv, keywords = {arxiv}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Creek: Low-latency, Mixed-Consistency Transactional Replication Scheme}, journal = {CoRR}, volume = {abs/1907.00748}, url = {https://arxiv.org/abs/1907.00748}, month = dec, year = {2019} } @Article{KWS+19, keywords = {journal}, author = {{Jan Ko\'nczak and Pawe{\l} T. Wojciechowski and Nuno Santos and Tomasz \.Zurkowski and Andr\'e Schiper}}, title = {Recovery Algorithms for {Paxos}-based State Machine Replication}, journal = {IEEE Transactions on Dependable and Secure Computing (TDSC)}, volume = {18}, number = {2}, year = {2021}, month = {March-April}, pages = {623--640}, publisher = {IEEE Computer Society}, doi = {10.1109/TDSC.2019.2926723}, OPTurl = {http://www.cs.put.poznan.pl/pawelw/pub/tdsc19-accepted.pdf}, url = {PDF/tdsc21-journal.pdf}, issn = {Print ISSN: 1545-5971. Electronic ISSN: 1941-0018. CD: 2160-9209}, note = {Date of Publication: 10 July 2019}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{140}{tdsc21-journal.pdf}}, } @Article{KKW18, keywords = {journal}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {29}, number = {7}, year = {2018}, month = jul, pages = {1499--1514}, publisher = {IEEE Computer Society}, doi = {10.1109/TPDS.2018.2796079}, url = {PDF/tpds18-journal-full.pdf}, issn = {Print ISSN: 1045-9219. Electronic ISSN: 1558-2183}, note = {Date of Publication: January 23, 2018}, annote = {NCN grant DEC-2011/01/N/ST6/06762 and FNP grant 103/UD/SKILLS/2014}, addendum = {\rank{A*}{}{tpds18-journal-full.pdf}}, } @Article{KSBW18, keywords = {journal}, author = {{Pawe{\l} Kobyli\'nski and Konrad Siek and Jan Baranowski and Pawe{\l} T. Wojciechowski}}, title = {Helenos: {A} Realistic Benchmark for Distributed Transactional Memory}, journal = {Software: Practice and Experience}, year = {2018}, OPTkey = {}, volume = {48}, number = {3}, month = mar, publisher = {Wiley}, pages = {528--549}, doi = {10.1002/spe.2548}, OPTurl = {https://doi.org/10.1002/spe.2548}, url = {PDF/jspe17-journal.pdf}, note = {First published: 9 October 2017}, OPTannote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{B}{}{jspe17-journal.pdf}}, } @misc{WK17-draft, keywords = {draft}, author = {Pawe{\l} T. Wojciechowski and Pawe{\l} Kobyli\'nski and Sebastian Kochman}, title = {Strongly and Eventually Consistent Transactions for {RESTful} Web Services}, journal = {}, year = {2017}, OPTkey = {}, volume = {}, number = {}, month = {}, publisher = {}, pages = {}, doi = {}, note = {In preparation}, annote = {NCN grant DEC-2012/07/B/ST6/01230} } @Article{KWG17, keywords = {journal}, OPTauthor = {Jan Z. Ko\'nczak and Pawe{\l} T. Wojciechowski and Rachid Guerraoui}, author = {Jan Ko\'nczak and Pawe{\l} T. Wojciechowski and Rachid Guerraoui}, title = {Operation-Level Wait-Free Transactional Memory with Support for Irrevocable Operations}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {28}, number = {12}, year = {2017}, month = dec, pages = {3570--3583}, publisher = {IEEE Computer Society}, issn = {Print ISSN: 1045-9219. Electronic ISSN: 1558-2183}, doi = {10.1109/TPDS.2017.2734879}, url = {PDF/tpds17b-journal.pdf}, note = {Date of publication: August 2, 2017}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A*}{40}{tpds17b-journal.pdf}}, } @TechReport{KKW17-tr, keywords = {techreport}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Bridging eventual and strong consistency}, institution = {Institute of Computing Science, Pozna\'n University of Technology}, year = {2017}, OPTkey = {}, OPTtype = {}, OPTnumber = {RA-??/17}, OPTaddress = {}, month = aug, OPTnote = {Unpublished manuscript}, OPTannote = {} } @misc{SW17-draft, keywords = {draft}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {A Recipe for Implementing Multi-agent Systems with Distributed Transactional Memory}, booktitle = {}, publisher = {Springer}, OPTaddress = {Cham, Heidelberg, New York, Dordrecht, London}, editor = {}, pages = {1--23}, OPTseries = {}, series = {Lecture Notes in Computer Science "State of the Art"}, volume = {}, year = {2017}, month = feb, isbn = {}, note = {In preparation}, annote = {NCN grant DEC-2012/07/B/ST6/01230} } @InProceedings{WS16-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {{Atomic RMI 2}: Distributed Transactions for {Java}}, OPTbooktitle = {Proceedings of AGERE '16: the 6th Workshop on Programming based on Actors, Agents, and Decentralized Control (in conjunction with SPLASH '16, Amsterdam, The Netherlands)}, booktitle = {Proceedings of AGERE '16: the 6th Workshop on Programming based on Actors, Agents, and Decentralized Control (in conjunction with SPLASH '16: the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2016}, OPTorganization = {}, OPTpublisher = {Association for Computing Machinery (ACM)}, OPTaddress = {New York, NY, USA}, month = oct, pages = {61--69}, doi = {http://dx.doi.org/10.1145/3001886.3001893}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A* (OOPSLA)}{}{}}, } @misc{SW16-arxiv, keywords = {arxiv}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Atomic {RMI} 2: Highly Parallel Pessimistic Distributed Transactional Memory}, journal = {CoRR}, volume = {abs/1606.03928}, year = {2016}, url = {http://arxiv.org/abs/1606.03928}, archivePrefix = {arXiv}, eprint = {1606.03928}, timestamp = {Wed, 07 Jun 2017 14:42:08 +0200}, biburl = {http://dblp.org/rec/bib/journals/corr/SiekW16}, bibsource = {dblp computer science bibliography, http://dblp.org}, note = {In preparation}, annote = {NCN grant DEC-2012/07/B/ST6/01230} } @InProceedings{KWG16-w, keywords = {workshop}, author = {Jan Ko\'nczak and Pawe{\l} T. Wojciechowski and Rachid Guerraoui}, title = {Ensuring Irrevocability in Wait-free Transactional Memory}, OPTbooktitle = {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, Barcelona, Spain)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2016}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = mar, pages = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A (PPoPP)}{}{}}, } @misc{WS16b-arxiv, keywords = {arxiv}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {The Optimal Pessimistic Transactional Memory Algorithm}, journal = {CoRR}, volume = {abs/1605.01361}, year = {2016}, url = {http://arxiv.org/abs/1605.01361}, archivePrefix = {arXiv}, eprint = {1605.01361}, timestamp = {Wed, 07 Jun 2017 14:41:42 +0200}, biburl = {http://dblp.org/rec/bib/journals/corr/WojciechowskiS16}, bibsource = {dblp computer science bibliography, http://dblp.org}, note = {In preparation}, annote = {NCN grants DEC-2012/06/M/ST6/00463 and DEC-2012/07/B/ST6/01230} } @misc{BKSW16-arxiv, keywords = {arxiv}, author = {Jan Baranowski and Pawe{\l} Kobyli\'nski and Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Helenos: {A} Realistic Benchmark for Distributed Transactional Memory}, journal = {CoRR}, volume = {abs/1603.07899}, url = {https://arxiv.org/abs/1603.07899}, month = mar, year = {2016} } @Article{WKK16, keywords = {journal}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, title = {State-Machine and Deferred-Update Replication: Analysis and Comparison}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {28}, number = {3}, year = {2017}, month = mar, pages = {891--904}, publisher = {IEEE Computer Society}, doi = {10.1109/TPDS.2016.2590422}, url = {PDF/tpds17a-journal-full.pdf}, issn = {Print ISSN: 1045-9219. Electronic ISSN: 1558-2183}, note = {Published: 12 July 2016}, annote = {NCN grants DEC-2012/06/M/ST6/00463 and DEC-2011/01/N/ST6/06762}, addendum = {\rank{A*}{40}{tpds17a-journal-full.pdf}}, } @Article{KKW16, keywords = {journal}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Relaxing Real-time Order in Opacity and Linearizability}, journal = {Journal of Parallel and Distributed Computing (JPDC)}, volume = {100}, number = {}, year = {2017}, month = feb, pages = {57--70}, publisher = {Elsevier}, doi = {10.1016/j.jpdc.2016.10.007}, url = {PDF/jpdc17-journal-full.pdf}, issn = {Print ISSN: 0743-7315}, note = {Accepted: October 4, 2016. Available online: October 24, 2016}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{30}{jpdc17-journal-full.pdf}}, } @Article{SW16, keywords = {journal}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {{Atomic RMI}: a Distributed Transactional Memory Framework}, journal = {International Journal of Parallel Programming}, publisher = {Springer US}, year = {2016}, OPTkey = {}, volume = {44}, number = {3}, month = jun, pages = {598--619}, doi = {10.1007/s10766-015-0361-x}, url = {PDF/ijpp15-journal.pdf}, issn = {Print ISSN: 0885-7458. Online ISSN: 1573-7640}, note = {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}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{15}{ijpp15-journal.pdf}}, } @misc{SW15-draft, keywords = {draft}, author = {Konrad Siek and Pawe{\l}T. Wojciechowski}, title = {Transactions Scheduled While You Wait: Augmenting Transactional Memory with a Sorting Queue}, journal = {Journal of Grid Computing}, year = {2015}, OPTkey = {}, volume = {}, number = {}, month = {}, publisher = {Springer}, pages = {}, doi = {}, note = {Rejected}, annote = {NCN grant DEC-2012/06/M/ST6/00463} } @Article{SW15, keywords = {other}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Proving Opacity of Transactional Memory with Early Release}, journal = {Foundations of Computing and Decision Sciences}, year = {2015}, OPTkey = {}, volume = {40}, number = {4}, month = dec, publisher = {Publishing House of Poznan University of Technology}, pages = {317--335}, doi = {10.1515/fcds-2015-0018}, url = {PDF/fcds15-journal.pdf}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, OPTaddendum = {\rank{}{15 (lista B)}{fcds15-journal.pdf}}, addendum = {\rank{}{}{fcds15-journal.pdf}}, } @InProceedings{KKW15b-c, keywords = {conference}, OPTcrossref = {}, OPTkey = {}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Brief Announcement: Eventually Consistent Linearizability}, OPTbooktitle = {Proceedings of ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing (Donostia-San Sebastián, Spain)}, booktitle = {Proceedings of ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing}, editor = {}, year = {2015}, month = jul, pages = {pp. 237--239}, OPTpublisher = {Association for Computing Machinery (ACM)}, OPTaddress = {New York, NY, USA}, doi = {10.1145/2767386.2767448}, url = {http://www.cs.put.poznan.pl/pawelw/pub/podc15.pdf}, isbn = {ISBN: 978-1-4503-3617-8}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{}{podc15.pdf}}, } @InProceedings{KKW15a-w, keywords = {workshop}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {The Correctness Criterion for Deferred Update Replication}, OPTbooktitle = {Proceedings of TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15, Portland, Oregon, USA)}, booktitle = {Proceedings of TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2015}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jun, pages = {}, issn = {}, isbn = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A* (STOC i PLDI)}{}{}}, } @InCollection{GR15-ch, keywords = {chapter,selectedchapter}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Introduction to Transactional Replication}, booktitle = {Transactional Memory: Foundations, Algorithms, Tools, and Applications. COST Action Euro-TM IC1001}, publisher = {Springer}, OPTaddress = {Cham, Heidelberg, New York, Dordrecht, London}, editor = {Rachid Guerraoui and Paolo Romano}, pages = {309--340}, OPTseries = {Lecture Notes in Computer Science}, series = lncs, volume = {8913}, year = {2015}, OPTissn = {}, isbn = {978-3-319-14719-2 (Print), 978-3-319-14720-8 (Online)}, doi = {10.1007/978-3-319-14720-8_15}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, OPTaddendum = {\rank{}{13}{}}, } @InProceedings{SW14c-c, keywords = {conference}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Brief Announcement: Relaxing Opacity in Pessimistic Transactional Memory}, OPTbooktitle = {Proceedings of DISC '14: the 28th International Symposium on Distributed Computing (Austin, Texas, USA)}, booktitle = {Proceedings of DISC '14: the 28th International Symposium on Distributed Computing}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {Fabian Kuhn}, volume = {8784}, number = {}, series = lncs, year = {2014}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {Berlin, Heidelberg}, month = oct, pages = {540--541}, doi = {10.1007/978-3-662-45174-8}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{}{disc14.pdf}}, } @InProceedings{KKW14b-c, keywords = {conference}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Make the Leader Work: Executive Deferred Update Replication}, OPTbooktitle = {Proceedings of SRDS '14: the 33rd IEEE Symposium on Reliable Distributed Systems (Nara, Japan)}, booktitle = {Proceedings of SRDS '14: the 33rd IEEE Symposium on Reliable Distributed Systems}, editor = {}, year = {2014}, month = oct, pages = {pp. 89--94}, OPTpublisher = {IEEE Computer Society}, doi = {10.1109/SRDS.2014.42}, url = {http://www.cs.put.poznan.pl/pawelw/pub/srds14.pdf}, issn = {ISSN: 1060-9857. Electronic ISSN: 1060-9857}, isbn = {ISBN: 978-1-4799-5584-8}, note = {}, annote = {NCN grant DEC-2011/01/N/ST6/06762}, addendum = {\rank{B}{}{srds14.pdf}}, } @InProceedings{KKW14a-w, keywords = {workshop}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On Safety of Replicated Transactional Memory}, OPTbooktitle = {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, Paris, France)}, booktitle = {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)}, Optcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jul, pages = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A* (PODC)}{}{}}, } @InProceedings{SW14b-w, keywords = {workshop}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Zen and the Art of Concurrency Control: An Exploration of {TM} Safety Property Space with Early Release in Mind}, OPTbooktitle = {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, Paris, France)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jul, pages = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A* (PODC)}{}{}}, } % THIS IS REMOVED AS PROBABLY NO PROCEEDINGS WERE PRODUCED, I.E. PAPERS APPEARED IN A JOURNAL ONLY % % InProceedings{SW14a-c, % keywords = {conference}, % author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, % title = {{Atomic RMI}: a Distributed Transactional Memory Framework}, % OPTbooktitle = {Proceedings of HLPP '14: the 7th International Symposium on High-level Parallel Programming and Applications (Amsterdam, Netherlands)}, % booktitle = {Proceedings of HLPP '14: the 7th International Symposium on High-level Parallel Programming and Applications}, % OPTcrossref = {}, % OPTkey = {}, % editor = {}, % volume = {}, % number = {}, % series = {}, % year = {2014}, % OPTorganization = {}, % publisher = {}, % OPTaddress = {}, % month = jul, % pages = {}, % doi = {}, % note = {A revised version appeared in the special issue of Springer's International Journal of Parallel Programming}, % annote = {NCN grant DEC-2012/06/M/ST6/00463. Early work on Atomic RMI was funded by the Polish Ministry of Science and Higher Education grant POIG.01.03.01-00-008/08.}, % addendum = {\rank{C}{}{hlpp14.pdf}}, %} @InProceedings{KKW14-abstract-w, keywords = {workshop}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Towards a more scalable Deferred Update Replication (Abstract)}, OPTbooktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems, Amsterdam, The Netherlands)}, booktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = apr, pages = {}, note = {}, annote = {Maciej, Tadeusz: COST Euro-TM} } @InProceedings{KGW14-abstract-w, keywords = {workshop}, author = {Jan Ko\'nczak and Rachid Guerraoui and Pawe{\l} T. Wojciechowski}, Title = {Towards wait-free transactional memory with irrevocables (Abstract)}, OPTbooktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems, Amsterdam, The Netherlands)}, booktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = apr, pages = {}, note = {}, annote = {Jan: DEC-2012/06/M/ST6/00463 + EuroSys grant} } % InProceedings{FSW14-w, % keywords = {workshop}, % author = {Szymon Francuzik and Cezary Sobaniec and Dariusz Wawrzyniak}, % title = {A generic model of consistency guarantees for replicated services}, % OPTbooktitle = {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, Amsterdam, The Netherlands)}, % booktitle = {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)}, % OPTcrossref = {}, % OPTkey = {}, % editor = {}, % volume = {}, % number = {}, % series = {}, % year = {2014}, % OPTorganization = {}, % publisher = {Association for Computing Machinery (ACM)}, % OPTaddress = {New York, NY, USA}, % month = apr, % pages = {}, % doi = {10.1145/2596631.2596643}, % note = {}, % annote = {NCN grant DEC-2012/07/B/ST6/01230} %} @InProceedings{WS14-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {Having Your Cake and Eating it Too: Combining Strong and Eventual Consistency}, OPTbooktitle = {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, Amsterdam, The Netherlands)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, OPTorganization = {}, publisher = {Association for Computing Machinery (ACM)}, OPTaddress = {New York, NY, USA}, month = apr, pages = {}, doi = {10.1145/2596631.2596637}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A (EuroSys)}{}{}}, } @InCollection{BDK+14-ch, keywords = {chapter}, author = {Jerzy Brzezi\'nski and Dariusz Dwornikowski and Anna Kobusi\'nska and Jacek Kobusi\'nski and Micha{\l} Sajkowski and Cezary Sobaniec and Micha{\l} Szychowiak and Dariusz Wawrzyniak and Pawe{\l} T. Wojciechowski}, title = {{Dependability Infrastructure for SOA Applications}}, booktitle = {{Advanced SOA Tools and Applications}}, publisher = {Springer}, editor = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski}, pages = {203--260}, series = {Studies in Computational Intelligence}, volume = {499}, year = {2014}, isbn = {978-3-642-38956-6} } @InProceedings{SW13-c, keywords = {conference}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Brief Announcement: Towards a Fully-Articulated Pessimistic Distributed Transactional Memory}, OPTbooktitle = {Proceedings of SPAA '13: the 25th ACM Symposium on Parallelism in Algorithms and Architectures (Montréal, Québec, Canada)}, booktitle = {Proceedings of SPAA '13: the 25th ACM Symposium on Parallelism in Algorithms and Architectures}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2013}, OPTorganization = {}, publisher = {Association for Computing Machinery (ACM)}, OPTaddress = {New York, NY, USA}, month = jul, pages = {111--114}, doi = {10.1145/2486159.2486166}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{}{spaa13.pdf}}, } @InProceedings{KKW13-c, keywords = {conference}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Hybrid Replication: State-Machine-based and Deferred-Update Replication Schemes Combined}, OPTbooktitle = {Proceedings of ICDCS '13: the 33rd International Conference on Distributed Computing Systems (Philadelphia, USA)}, booktitle = {Proceedings of ICDCS '13: the 33rd International Conference on Distributed Computing Systems}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2013}, OPTorganization = {}, publisher = {IEEE Computer Society}, OPTaddress = {}, month = jul, pages = {286--296}, doi = {10.1109/ICDCS.2013.30}, note = {}, OPTannote = {NCN grant DEC-2011/01/N/ST6/06762}, addendum = {\rank{A}{}{icdcs13.pdf}}, } @InProceedings{WK13-abstract-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Jan Ko\'nczak}, title = {Back to the Futures: the Futures-based Distributed Transactional Memory (Abstract)}, OPTbooktitle = {WTM '13: 3rd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '13: the 8th ACM SIGOPS European Conference on Computer Systems, Prague, Czech Republic)}, booktitle = {WTM '13: 3rd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '13: the 8th ACM SIGOPS European Conference on Computer Systems)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2013}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = apr, pages = {}, note = {}, annote = {Pawel, Jan: COST Euro-TM} } @InProceedings{WKK12-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, title = {Model-Driven Comparison of State-Machine-based and Deferred-Update Replication Schemes}, OPTBooktitle = {Proceedings of SRDS '12: the 31st IEEE International Symposium on Reliable Distributed Systems (Irvine, USA)}, Booktitle = {Proceedings of SRDS '12: the 31st IEEE International Symposium on Reliable Distributed Systems}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, OPTorganization = {}, publisher = {IEEE Computer Society}, OPTaddress = {}, month = oct, pages = {101--110}, doi = {10.1109/SRDS.2012.44}, OPTnote = {A longer version appeared as Technical Report RA-01/12, Institute of Computing Science, Pozna\'n University of Technology, April 2012}, annote = {NCN grant DEC-2011/01/N/ST6/06762. The initial work on Paxos STM was funded in part by the Polish Ministry of Science and Higher Education within the European Regional Development Fund, Grant No. POIG.01.03.01-00-008/08}, addendum = {\rank{B}{}{srds12.pdf}}, } @InProceedings{WS12-c, keywords = {conference}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in {Java}}, OPTbooktitle = {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, Paris, France)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {7437}, number = {}, series = lncs, year = {2012}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = aug, pages = {192–206}, doi = {10.1007/978-3-642-32469-7_13}, note = {}, annote = {Polish Ministry of Science and Higher Education within the European Regional Development Fund grant POIG.01.03.01-00-008/08}, addendum = {\rank{C}{13}{fmics12.pdf}}, } @InProceedings{WK12-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Jan Ko\'nczak}, title = {A Formal Model of Crash Recovery in Distributed Software Transactional Memory (Extended Abstract)}, OPTbooktitle = {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, Madeira, Portugal)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jul, pages = {}, note = {}, annote = {}, addendum = {\rank{A* (PODC)}{}{}}, } @InProceedings{Woj12-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski}, title = {Conditional Concurrency Combinators}, OPTbooktitle = {LaME '12: International Workshop on Languages for the Multi-core Era (co-located with ECOOP '12: the 26th European Conference on Object-Oriented Programming, Beijing, China)}, booktitle = {LaME '12: International Workshop on Languages for the Multi-core Era (co-located with ECOOP '12: the 26th European Conference on Object-Oriented Programming)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jun, pages = {}, note = {}, OPTannote = {}, addendum = {\rank{A (ECOOP)}{}{}}, } @InProceedings{WS12-abstract-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {Transaction Concurrency Control via Dynamic Scheduling Based on Static Analysis (Abstract)}, OPTbooktitle = {WTM '12: 2nd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '12: the 7th ACM SIGOPS European Conference on Computer Systems, Bern, Switzerland)}, booktitle = {WTM '12: 2nd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '12: the 7th ACM SIGOPS European Conference on Computer Systems)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = apr, pages = {}, note = {}, OPTannote = {} } @InProceedings{KKW12-abstract-w, keywords = {workshop}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Practical Considerations of Distributed {STM} Systems Development (Abstract)}, OPTbooktitle = {Proceedings of WDTM '12: the 1st Euro-TM Workshop on Distributed Transactional Memory (Lisbon, Portugal)}, booktitle = {Proceedings of WDTM '12: the 1st Euro-TM Workshop on Distributed Transactional Memory}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = feb, pages = {}, note = {}, OPTannote = {} } @InProceedings{KW11-c, keywords = {conference}, author = {Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {{RESTGroups} for Resilient {Web} Services}, OPTbooktitle = {Proceedings of SOFSEM '12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science (Špindlerův Mlýn, Czech Republic)}, booktitle = {Proceedings of SOFSEM '12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science}, OPTcrossref = {}, OPTkey = {}, editor = {M\'aria Bielikov\'a et al.}, volume = {7147}, number = {}, series = lncs, year = {2012}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = jan, pages = {505--517}, note = {Software \& Web Engineering Track}, OPTannote = {}, addendum = {\rank{B}{13}{sofsem12.pdf}}, } @TechReport{EPFL-REPORT-167765, author = {Jan Ko\'nczak and Nuno Santos and Tomasz \.Zurkowski and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {{JPaxos}: State Machine Replication Based on the {Paxos} Protocol}, number = {EPFL-REPORT-167765}, institution = {Facult\'e Informatique et Communications, EPFL}, month = jul, year = {2011}, note = {38pp} } @InProceedings{Woj11-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Typed First-class Communication Channels and Mobility for Concurrent Scripting Languages}, OPTbooktitle = {Proceedings of SLE '11: the 4th ACM SIGPLAN International Conference on Software Language Engineering (Braga, Portugal)}, booktitle = {Proceedings of SLE '11: the 4th ACM SIGPLAN International Conference on Software Language Engineering}, OPTcrossref = {}, OPTkey = {}, editor = {Uwe Aßmann and Anthony Sloane}, volume = {6940}, OPTnumber = {}, series = lncs, year = {2011}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = jul, pages = {378–-387}, note = {10pp.}, OPTannote = {}, addendum = {\rank{B}{13}{sle11.pdf}}, } @InProceedings{KWM11-w, keywords = {workshop}, author = {Sebastian Kochman and Pawe{\l} T. Wojciechowski and Mi{\l}osz Kmieciak}, title = {Batched Transactions for {RESTful Web} Services}, OPTbooktitle = {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, Paphos, Cyprus)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {Andreas Harth and Nora Koch}, volume = {7059}, OPTnumber = {}, series = lncs, year = {2011}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = jun, pages = {86–-98}, note = {}, OPTannote = {}, addendum = {\rank{B (ICWE)}{13}{}}, } @InCollection{BDJ+10-ch, keywords = {chapter}, author = {Jerzy Brzezi\'nski and Arkadiusz Danilecki and Krzysztof Jankiewicz and Anna Kobusi\'nska and Mariusz Mamo\'nski and Tadeusz Morzy and Pawe{\l} T. Wojciechowski}, title = {Transaction and Rollback-Recovery Support for {Service-Oriented Architecture}}, booktitle = {{SOA Infrastructure Tools: Concepts and Methods}}, publisher = {Pozna\'n University of Economics Press}, editor = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski}, pages = {117--152}, year = {2010}, isbn = {978-83-7417-544-9} } @InCollection{BKL+10-ch, keywords = {chapter}, author = {Jerzy Brzezi\'nski and Micha{\l} Kalewski and Marek Libuda and Cezary Sobaniec and Dariusz Wawrzyniak and Pawe{\l} T. Wojciechowski and Piotr Wysocki}, title = {Replication Tools for {Service-Oriented Architecture}}, booktitle = {{SOA Infrastructure Tools: Concepts and Methods}}, publisher = {Pozna\'n University of Economics Press}, editor = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski}, pages = {153--180}, year = {2010}, isbn = {978-83-7417-544-9} } @InProceedings{SW10-w, keywords = {workshop}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control}, OPTbooktitle = {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, Edinburgh, UK)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, OPTnumber = {}, OPTseries = {}, year = {2010}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jul, pages = {}, note = {5pp}, OPTannote = {}, addendum = {\rank{A* (CAV)}{}{}}, } @InProceedings{KW10-w, keywords = {workshop}, author = {Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {A 90\% RESTful Group Communication Service (Extended Abstract)}, OPTbooktitle = {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, Amsterdam, The Netherlands)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, OPTnumber = {}, OPTseries = {}, year = {2010}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jun, pages = {}, note = {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\'n University of Technology}, OPTannote = {}, addendum = {\rank{A (Coordination)}{}{}}, } @TechReport{KW10-tr, keywords = {techreport}, author = {Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {A 90\% RESTful Group Communication Service}, institution = {Institute of Computing Science, Pozna\'n University of Technology}, year = {2010}, OPTkey = {}, OPTtype = {}, number = {RA-02/10}, OPTaddress = {}, month = may, note = {19pp}, OPTannote = {} } @Article{SWU10, keywords = {journal}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Asis Unyapoth}, title = {{Nomadic Pict}: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation}, journal = {{ACM Transactions on Programming Languages and Systems (TOPLAS)}}, publisher = {Association for Computing Machinery (ACM)}, year = {2010}, OPTkey = {}, volume = 32, number = 4, month = apr, pages = {12:1--12:63}, note = {}, OPTannote = {}, doi = {10.1145/1734206.1734209}, url = {PDF/toplas10-journal-full.pdf}, addendum = {\rank{A*}{30}{toplas10-journal-full.pdf}}, } @InProceedings{Woj08-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski}, title = {Extending Atomic Tasks to Distributed Atomic Tasks}, OPTbooktitle = {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, Princeton, USA)}, booktitle = {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)}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, OPTnumber = {}, OPTseries = {}, year = {2008}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = jul, pages = {}, note = {}, OPTannote = {}, addendum = {\rank{A* (CAV)}{}{}}, } @InProceedings{SW08-w, keywords = {workshop}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski}, title = {Verifying Overlay Networks for Relocatable Computations (or: Nomadic Pict, relocated)}, OPTbooktitle = {Proceedings of the Workshop on the Rise and Rise of the Declarative Datacentre (Cambridge, UK)}, booktitle = {Proceedings of the Workshop on the Rise and Rise of the Declarative Datacentre}, OPTcrossref = {}, OPTkey = {}, editor = {}, volume = {}, OPTnumber = {}, OPTseries = {}, year = {2008}, OPTorganization = {}, publisher = {}, OPTaddress = {}, month = may, pages = {}, note = {Appeared as Microsoft Research Technical Report MSR-TR-2008-61}, OPTannote = {} } @Book{Woj07-hab, OPTtype = {Habilitation thesis}, OPTschool = {Poznan University of Technology}, keywords = {thesis}, author = "Pawe{\l} T. Wojciechowski", title = "Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems", OPTpublisher = "Wydawnictwo Politechniki Pozna\'nskiej", publisher = "Publishing House of Poznan University of Technology", year = "2007", number = "", series = "", address = "Pl. Marii Sk{\l}odowskiej-Curie 2, Pozna\'n 60-965, Poland", OPTedition = "1st", ISSN = "0551-6528", ISBN = "978-83-7143-323-8", note = "204pp", url = {https://www.cs.put.poznan.pl/pawelw/book/}, addendum = {\rank{}{}{habilitation.pdf}}, } @InProceedings{Woj06b-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Scalable Message Routing for Mobile Software Assistants}, OPTbooktitle = {Proceedings of EUC '06: the 2006 IFIP International Conference on Embedded And Ubiquitous Computing (Seoul, Korea)}, booktitle = {Proceedings of EUC '06: the 2006 IFIP International Conference on Embedded And Ubiquitous Computing}, OPTcrossref = {}, OPTkey = {}, editor = {Edwin Sha and Sung-Kook Han and Cheng-Zhong Xu and Moon-Hae Kim and Laurence T. Yang and Bin Xiao}, volume = {4096}, OPTnumber = {}, series = lncs, year = {2006}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = aug, pages = {355--364}, note = {}, OPTannote = {}, addendum = {\rank{C}{13}{euc06.pdf}}, } @TechReport{Woj06b-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Scalable Message Routing for Mobile Software Assistants}, institution = {Institute of Computing Science, Pozna\'n University of Technology}, year = {2006}, OPTkey = {}, OPTtype = {}, number = {RA-010/06}, OPTaddress = {}, month = may, note = {22pp}, OPTannote = {} } @InProceedings{Woj06-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties}, OPTbooktitle = {Proceedings of SC '06: the 5th IFIP International Symposium on Software Composition (co-located with ETAPS '06, Vienna, Austria)}, booktitle = {Proceedings of SC '06: the 5th IFIP International Symposium on Software Composition (co-located with ETAPS '06)}, OPTcrossref = {}, OPTkey = {}, editor = {Welf L\"owe and Mario S\"udholt}, volume = {4089}, OPTnumber = {}, series = lncs, year = {2006}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = mar, pages = {131--146}, note = {}, OPTannote = {}, addendum = {\rank{d'ed}{13}{sc06.pdf}}, } @InCollection{BFMNRSW06-ch, keywords = {selectedchapter}, author = {{Daniel B{\"u}nzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier R{\"u}tti and Andr\'e Schiper and Pawe{\l} T. Wojciechowski}}, title = {Advances in the Design and Implementation of Group Communication Middleware}, booktitle = {Dependable Systems: Software, Computing, Networks}, OPTcrossref = {}, OPTkey = {}, editor = {J{\"u}rg Kohlas and Bertrand Meyer and Andr\'e Schiper}, volume = {4028}, OPTnumber = {}, series = lncs, year = {2006}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = sep, pages = {172--194}, issn = {}, isbn = {}, doi = {10.1007/11808107}, note = {}, OPTannote = {}, OPTaddendum = {\rank{}{13}{}}, } @InProceedings{RWS06b-c, keywords = {conference}, author = {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {Structural and Algorithmic Issues of Dynamic Protocol Update}, OPTbooktitle = {Proceedings of IPDPS '06: the 20th IEEE International Parallel and Distributed Processing Symposium (Rhodes Island, Greece)}, booktitle = {Proceedings of IPDPS '06: the 20th IEEE International Parallel and Distributed Processing Symposium}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, year = {2006}, OPTorganization = {}, publisher = {IEEE Computer Society}, OPTaddress = {}, month = apr, OPTpages = {}, note = {}, OPTannote = {}, addendum = {\rank{A}{}{ipdps06.pdf}}, } @InProceedings{RWS06-c, keywords = {conference}, author = {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {{Service Interface}: A New Abstraction for Implementing and Composing Protocols}, OPTbooktitle = {Proceedings of SAC '06: the 21st ACM Symposium on Applied Computing - Track on Dependable and Adaptive Distributed Systems (Dijon, France)}, booktitle = {Proceedings of SAC '06: the 21st ACM Symposium on Applied Computing - Track on Dependable and Adaptive Distributed Systems}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, year = {2006}, OPTorganization = {}, publisher = {Association for Computing Machinery (ACM)}, OPTaddress = {}, month = apr, pages = {691--696}, note = {}, OPTannote = {}, addendum = {\rank{B}{}{sac06.pdf}}, } @TechReport{Woj05b-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Communication Infrastructure Design for Wide-Area Mobile Computation: Specification in {N}omadic {P}ict}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2005}, OPTkey = {}, OPTtype = {}, number = {LSR-2005-01}, OPTaddress = {}, month = aug, note = {27pp}, OPTannote = {} } @InProceedings{Woj05b-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Isolation-only Transactions by Typing and Versioning}, OPTbooktitle = {Proceedings of PPDP '05: the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (Lisboa, Portugal)}, booktitle = {Proceedings of PPDP '05: the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, year = {2005}, OPTorganization = {}, OPTpublisher = {Association for Computing Machinery (ACM)}, OPTaddress = {}, month = jul, OPTpages = {}, OPTnote = {}, OPTannote = {}, addendum = {\rank{B}{}{ppdp05-full.pdf}}, } @InProceedings{Woj05a-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski}, title = {Typing for Reliable Distributed Systems - Recent Advances}, OPTbooktitle = {Proceedings of Workshop on Dependable Software - Tools and Methods (co-located with IEEE DSN '05: the 35th International Conference on Dependable Systems and Networks, Yokohama, Japan)}, booktitle = {Proceedings of Workshop on Dependable Software - Tools and Methods (co-located with IEEE DSN '05: the 35th International Conference on Dependable Systems and Networks)}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, year = {2005}, OPTorganization = {}, OPTpublisher = {IEEE Computer Society}, OPTaddress = {}, month = jun, OPTpages = {}, OPTnote = {}, OPTannote = {}, addendum = {\rank{A (DSN)}{}{}}, } @TechReport{RWS05-tr, keywords = {techreport}, author = {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {Dynamic Update of Distributed Agreement Protocols}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2005}, OPTkey = {}, OPTtype = {}, number = {IC-2005-012}, OPTaddress = {}, month = mar, note = {25pp}, OPTannote = {} } @InProceedings{WR05-c, keywords = {conference}, title = "On Correctness of Dynamic Protocol Update", author = "Pawe{\l} T. Wojciechowski and Olivier R{\"u}tti", OPTbooktitle = "Proceedings of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (Athens, Greece)", booktitle = "Proceedings of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems", editor = "Martin Steffen and Gianluigi Zavattaro", publisher = "Springer", series = lncs, volume = "3535", month = jun, year = "2005", OPTnote = "", pages = "275--289", addendum = {\rank{C}{13}{fmoods05.pdf}}, } @InProceedings{TW05-c, keywords = {conference}, title = "Role-Based Declarative Synchronization for Reconfigurable Systems", author = "Vlad Tanasescu and Pawe{\l} T. Wojciechowski", OPTbooktitle = "Proceedings of PADL '05: the 7th International Symposium on Practical Aspects of Declarative Languages (Long Beach, CA, USA)", booktitle = "Proceedings of PADL '05: the 7th International Symposium on Practical Aspects of Declarative Languages", editor = "Manuel Hermenegildo and Daniel Cabeza", publisher = "Springer", series = lncs, volume = 3350, month = jan, year = "2005", note = "", pages = "52--66", addendum = {\rank{B}{13}{padl05.pdf}}, } @TechReport{Woj04-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Isolation-only Transactions by Typing and Versioning}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2004}, OPTkey = {}, OPTtype = {}, number = {IC-2004-104}, OPTaddress = {}, month = dec, note = {47pp}, OPTannote = {} } @InProceedings{Woj04-c, keywords = {conference}, author = "Pawe{\l} T. Wojciechowski", title = "Concurrency Combinators for Declarative Synchronization", OPTbooktitle = "Proceedings of APLAS '04: the 2nd Asian Symposium on Programming Languages and Systems (Taipei, Taiwan)", booktitle = "Proceedings of APLAS '04: the 2nd Asian Symposium on Programming Languages and Systems", editor = "Wei-Ngan Chin", publisher = "Springer", series = lncs, volume = 3302, month = nov, year = "2004", pages = "163--178", addendum = {\rank{B}{13}{aplas04.pdf}}, } @InProceedings{WRS04-c, keywords = {conference}, author = "Pawe{\l} T. Wojciechowski and Olivier R{\"u}tti and Andr\'e Schiper", title = "{SAMOA}: A Framework for a Synchronisation-Augmented Microprotocol Approach", OPTbooktitle = "Proceedings of IPDPS '04: the 18th IEEE International Parallel and Distributed Processing Symposium (Santa Fe, USA)", booktitle = "Proceedings of IPDPS '04: the 18th IEEE International Parallel and Distributed Processing Symposium", OPTeditor = "", OPTpublisher = "IEEE Computer Society", OPTseries = "", OPTvolume = "", month = apr, year = "2004", addendum = {\rank{A}{}{ipdps04.pdf}}, } @InProceedings{MSW03-c, keywords = {conference}, author = "Sergio Mena and Andr\'e Schiper and Pawe{\l} T. Wojciechowski", title = "A Step Towards a New Generation of Group Communication Systems", OPTbooktitle = "Proceedings of Middleware '03: the 4th ACM/IFIP/USENIX International Middleware Conference (Rio de Janeiro, Brazil)", booktitle = "Proceedings of Middleware '03: the 4th ACM/IFIP/USENIX International Middleware Conference", editor = "Markus Endler and Douglas Schmidt", publisher = "Springer", series = lncs, volume = 2672, month = jun, year = "2003", pages = "414--432", addendum = {\rank{A}{13}{middleware03.pdf}}, } @TechReport{MSW03-tr, keywords = {techreport}, author = "Sergio Mena and Andr\'e Schiper and Pawe{\l} T. Wojciechowski", title = "A Step Towards a New Generation of Group Communication Systems", number = "IC-2003-01", institution = "School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)", month = jan, year = "2003" } @InProceedings{WMS02-c, keywords = {conference}, author = "Pawe{\l} T. Wojciechowski and Sergio Mena and Andr\'e Schiper", title = "Semantics of Protocol Modules Composition and Interaction", OPTbooktitle = "Proceedings of COORDINATION '02: the fifth International Conference on Coordination Models and Languages (York, UK)", booktitle = "Proceedings of COORDINATION '02: the fifth International Conference on Coordination Models and Languages", editor = "Farhad Arbab and Carolyn Talcott", publisher = "Springer", series = lncs, volume = 2315, month = apr, year = "2002", pages = "389--404", addendum = {\rank{A}{13}{coordination02.pdf}}, } @TechReport{WMS02-tr, keywords = {techreport}, author = "Pawe{\l} T. Wojciechowski and Sergio Mena and Andr\'e Schiper", title = "Semantics of Protocol Modules Composition and Interaction", number = "IC-2002-2", institution = "School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)", month = feb, year = "2002", note = "33pp" } @InProceedings{Woj01-c, keywords = {conference}, author = "Pawe{\l} T. Wojciechowski", title = "Algorithms for Location-Independent Communication between Mobile Agents", OPTbooktitle = "Proceedings of AISB '01 Symposium on Software Mobility and Adaptive Behaviour (York, UK)", booktitle = "Proceedings of AISB '01 Symposium on Software Mobility and Adaptive Behaviour", OPTeditor = "", OPTpublisher = "", OPTseries = "", OPTvolume = "", year = "2001", month = mar, OPTpages = "10--19", note = "Also published as Technical Report IC-2001-13, School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)", addendum = {\rank{d'ed}{13}{aisb01.pdf}}, } @TechReport{Woj01-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Algorithms for Location-Independent Communication between Mobile Agents}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2001}, OPTkey = {}, OPTtype = {}, number = {IC-2001-13}, OPTaddress = {}, month = mar, note = {24pp}, OPTannote = {} } @TechReport{Woj00-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Nomadic {P}ict: Language and Infrastructure Design for Mobile Computation}, institution = {Computer Laboratory, University of Cambridge}, year = {2000}, OPTkey = {}, OPTtype = {}, number = {492}, OPTaddress = {}, month = jun, note = {184pp}, OPTannote = {} } @PhdThesis{Woj00-phd, keywords = {thesis}, author = "Pawe{\l} T. Wojciechowski", title = "Nomadic {P}ict: Language and Infrastructure Design for Mobile Computation", school = "University of Cambridge", year = "2000", OPTcrossref = "", OPTkey = "", OPTaddress = "", month = jun, OPTtype = "", note = "Also published as Technical Report 492, Computer Laboratory, University of Cambridge. 184pp", OPTannote = "", url = {}, addendum = {\rank{}{}{cl-tr-492.pdf}}, } @manual{Woj00-man, keywords = {manual}, author = {Pawe{\l} T. Wojciechowski}, title = {Nomadic {P}ict. Documentation and User's Manual}, OPThowpublished = {Available from \url{http://www.cs.put.poznan.pl/pawelw/npict/}}, year = {2000}, month = dec, note = {Available as part of the {N}omadic {P}ict distribution from \url{http://www.cs.put.poznan.pl/pawelw/npict/}}, OPTannote = {} } @Article{WS00, keywords = {journal}, author = {Pawe{\l} T. Wojciechowski and Peter Sewell}, title = {Nomadic {P}ict: Language and Infrastructure Design for Mobile Agents}, journal = {{IEEE} {C}oncurrency}, year = {2000}, OPTkey = {}, volume = {8}, number = {2}, month = {April--June}, pages = {42--52}, note = {Invited submission for ASA/MA '99. }, OPTannote = {}, url = {PDF/concurrency00-journal.pdf}, addendum = {\rank{A}{}{concurrency00-journal.pdf}}, } @InProceedings{WS99-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski and Peter Sewell}, title = {Nomadic {P}ict: Language and Infrastructure Design for Mobile Agents}, OPTbooktitle = {Proceedings of ASA/MA '99: Symposium on Agent Systems and Applications/Mobile Agents (Palm Springs, CA, USA)}, booktitle = {Proceedings of ASA/MA '99: Symposium on Agent Systems and Applications/Mobile Agents}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, year = {1999}, month = oct, pages = {2--12}, OPTorganization = {}, publisher = {IEEE Computer Society}, OPTaddress = {}, doi = {10.1109/ASAMA.1999.805388}, url = {https://ieeexplore.ieee.org/document/805388}, OPTissn = {ISSN: Electronic ISSN: }, OPTisbn = {ISBN: 0-7695-0340-3}, note = {Best paper award}, OPTannote = {}, addendum = {\rank{d'ed}{}{asama99.pdf}}, } @InCollection{SWP99-ch, keywords = {chapter,selectedchapter}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce}, title = {Location-Independent Communication for Mobile Agents: a Two-Level Architecture}, booktitle = {Internet Programming Languages}, OPTcrossref = {}, OPTkey = {}, editor = {Henri~E. Bal and Boumediene Belkhouche and Luca Cardelli}, volume = {1686}, OPTnumber = {}, series = lncs, year = {1999}, OPTorganization = {}, publisher = {Springer}, OPTaddress = {}, month = oct, pages = {1--31}, note = {}, OPTannote = {}, doi ={10.1007/3-540-47959-7}, OPTaddendum = {\rank{}{13}{}}, } @TechReport{SWP99-tr, keywords = {techreport}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce}, title = {Location-Independent Communication for Mobile Agents: a Two-Level Architecture}, institution = {Computer Laboratory, University of Cambridge}, year = {1999}, OPTkey = {}, OPTtype = {}, number = {462}, OPTaddress = {}, month = apr, note = {31pp.}, OPTannote = {} } @InProceedings{SWP98-w, keywords = {workshop}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce}, title = {Location Independence for Mobile Agents}, OPTbooktitle = {Proceedings of the Workshop on Internet Programming Languages (co-located with ICCL ’98: International Conference on Computer Languages, Chicago, USA)}, booktitle = {Proceedings of the Workshop on Internet Programming Languages (co-located with ICCL ’98: International Conference on Computer Languages)}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, year = {1998}, OPTorganization = {}, OPTpublisher = {}, OPTaddress = {}, month = may, OPTpages = {}, note = {}, OPTannote = {}, addendum = {\rank{A (ICCL)}{}{}}, }