@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}}
}
@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)}
}
@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 = {},
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}}
}
@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, under grant agreement No. 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 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)},
optcrossref = {},
optkey = {},
editor = {},
volume = {},
number = {},
series = {},
year = {2016},
optorganization = {},
publisher = {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)}{}{}}
}
@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{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},
optorganization = {},
publisher = {IEEE Computer Society},
optaddress = {},
month = oct,
pages = {2--12},
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)}{}{}}
}
This file was generated by bibtex2html 1.99.