Paweł T. Wojciechowski: Publications

Books

• Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems.
  Paweł T. Wojciechowski.
  The Poznań University of Technology Press, 2007.


• Nomadic Pict: Language and Infrastructure Design for Mobile Computation.
  Paweł T. Wojciechowski.
  This is my Ph.D. thesis. Also appeared as Technical Report 492, Computer Laboratory, University of Cambridge, June 2000. [In ps]

Atomic Transactions, Replication

• JPaxos: State Machine Replication Based on the Paxos Protocol.
  Jan Kończak, Nuno Santos, Tomasz Żurkowski, Paweł T. Wojciechowski and André Schiper.
  Technical Report 167765, Faculté Informatique et Communications, EPFL, july 2011.


• Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control.
  Konrad Siek and Paweł T. Wojciechowski.
  In the Proc. of CAV '10 (the 22th International Conference on Computer Aided Verification) - Workshop on Exploiting Concurrency Efficiently and Correctly (EC)^2, July 2010.


• Extending Atomic Tasks to Distributed Atomic Tasks.
  Paweł T. Wojciechowski.
  In the Proc. of CAV '08 (the 20th International Conference on Computer Aided Verification) - Workshop on Exploiting Concurrency Efficiently and Correctly (EC)^2, July 2008. [In ps]


• Isolation-only Transactions by Typing and Versioning.
  Paweł T. Wojciechowski.
  In the Proc. of PPDP '05: the 7th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 2005. [In ps]
  A medium-length version. [In ps]


• Isolation-only Transactions by Typing and Versioning.
  Paweł T. Wojciechowski.
  See the short version above for some more discussion of motivations.
  Technical Report IC-2004-104, School of Computer and Communication Sciences, EPFL, December 2004. [In ps]

Web Services

• RESTGroups for Resilient Web Services.
  Tadeusz Kobus and Paweł T. Wojciechowski.
  In the Proc. of SOFSEM '12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science: Software & Web Engineering Track, Springer LNCS 7147, January 2012.


• Batched Transactions for RESTful Web Services.
  Sebastian Kochman, Paweł T. Wojciechowski and Miłosz Kmieciak.
  In the Proc. 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), Springer LNCS 7059, June 2011.


• A 90% RESTful Group Communication Service.
  Tadeusz Kobus and Paweł T. Wojciechowski.
  In the Proc. of DCDP '10: Workshop on Decentralized Coordination of Distributed Processes, June, 2010.
  Published as EPTCS volume 27 on-line.


• A 90% RESTful Group Communication Service.
  Tadeusz Kobus and Paweł T. Wojciechowski.
  Technical Report RA-2/10. This report has been subsumed by RESTGroups -- User Guide.

Dynamic Protocol Update [more details on the SAMOA page]

• Structural and Algorithmic Issues of Dynamic Protocol Update.
  Olivier Rütti, Paweł T. Wojciechowski and André Schiper.
  In the Proc. of IPDPS '06: the 20th IEEE International Parallel & Distributed Processing Symposium, April 2006. [In ps]


• Service Interface: A New Abstraction for Implementing and Composing Protocols.
  Olivier Rütti, Paweł T. Wojciechowski and André Schiper.
  In the Proc. of SAC '06: the 21st ACM Symposium on Applied Computing - Track on Dependable and Adaptive Distributed Systems, April 2006.


• Dynamic Update of Distributed Agreement Protocols.
  Olivier Rütti, Paweł T. Wojciechowski and André Schiper.
  Technical Report IC-2005-012, School of Computer and Communication Sciences, EPFL, March 2005. This is an extended version of the IPDPS '06 paper. [In ps]


• On Correctness of Dynamic Protocol Update.
  Paweł T. Wojciechowski and Olivier Rütti.
  In the Proc. of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems, Springer LNCS 3535, June 2005. [In ps]

Declarative Synchronization

• A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.
  Paweł T. Wojciechowski.
  In the Proc. of SC '06: the 5th IFIP International Symposium on Software Composition (co-located with ETAPS '06), Springer LNCS 4089, March 2006. [In ps]


• Role-Based Declarative Synchronization for Reconfigurable Systems.
  Vlad Tanasescu and Paweł T. Wojciechowski.
  In the Proc. of PADL '05: the 7th Symposium on Practical Aspects of Declarative Languages, Springer LNCS 3350, January 2005. [In ps]


• Concurrency Combinators for Declarative Synchronization.
  Paweł T. Wojciechowski.
  A version of this appeared in APLAS '04: the 2nd Asian Symposium on Programming Languages and Systems, Springer LNCS 3302, November 2004. [In ps]

Group Communication [more details on the Crystall page]

• SAMOA: A Framework for a Synchronisation-Augmented Microprotocol Approach.
  Paweł T. Wojciechowski, Olivier Rütti and André Schiper.
  In the Proc. of IPDPS '04: the 18th IEEE Parallel & Distributed Processing Symposium, April 2004. [In ps]


• Advances in the Design and Implementation of Group Communication Middleware.
  Daniel Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper and Paweł T. Wojciechowski.
  In Dependable Systems: Software, Computing, Networks, Springer LNCS 4028, September 2006.


• A Step Towards a New Generation of Group Communication Systems.
  Sergio Mena, André Schiper and Paweł T. Wojciechowski.
  In the Proc. of Middleware '03: the 4th ACM / IFIP / USENIX Middleware Conference, Springer LNCS 2672, June 2003.
  Also appeared as Technical Report IC-2003-01, School of Computer and Communication Sciences, EPFL, January 2003. [In ps]

Protocol Composition

• Semantics of Protocol Modules Composition and Interaction.
  Paweł T. Wojciechowski, Sergio Mena and André Schiper.
  In the Proc. of COORDINATION '02: the 5th ACM SIGSOFT Conference on Coordination Models and Languages, Springer LNCS 2315, April 2002. [In ps]


• Semantics of Protocol Modules Composition and Interaction.
  Paweł T. Wojciechowski, Sergio Mena and André Schiper.
  Technical Report IC-2002-02, School of Computer and Communication Sciences, EPFL, February 2002.
  This is an extended version of the paper above. [In ps]

Mobile Computation [see also the Nomadic Pict Language page]

• Typed First-class Communication Channels and Mobility for Concurrent Scripting Languages.
  Paweł T. Wojciechowski.
  In the Proc. of SLE '11: the 4th International Conference on Software Language Engineering, Springer LNCS 6940, July 2011. To appear.


• Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation.
  Peter Sewell, Paweł T. Wojciechowski, Asis Unyapoth.
  ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32 Issue 4, April 2010.


• Verifying Overlay Networks for Relocatable Computations (or: Nomadic Pict, relocated).
  Peter Sewell and Paweł T. Wojciechowski.
  In the Proc. of Workshop on the Rise and Rise of the Declarative Datacentre, May 2008.
  Appeared as Microsoft Research Technical Report MSR-TR-2008-61.


• Scalable Message Routing for Mobile Software Assistants.
  Paweł T. Wojciechowski.
  In the Proc. of EUC '06: the 2006 IFIP International Conference on Embedded And Ubiquitous Computing, Springer LNCS 4096, August 2006. [In ps]


• Scalable Message Routing for Mobile Software Assistants.
  Paweł T. Wojciechowski.
  Technical Report RA-010/06, Institute of Computing Science, Poznań University of Technology, May 2006.
  This is an extended version of the paper above. [In ps]
  A preliminary version also appeared as TR IC-2005-01, School of Computer and Communication Sciences, EPFL, August 2005.


• Algorithms for Location-Independent Communication between Mobile Agents.
  Paweł T. Wojciechowski.
  In the Proc. of AISB '01 Symposium on Software Mobility and Adaptive Behaviour.
  A longer version appeared as Technical Report IC-2001-13, Department of Communication Systems, EPFL, March 2001. [In ps]


• Nomadic Pict: Language and Infrastructure Design for Mobile Computation.
  Paweł T. Wojciechowski.
  This is my Ph.D. thesis. Also appeared as Technical Report 492, Computer Laboratory, University of Cambridge, June 2000. [In ps]


• Nomadic Pict: Language and Infrastructure Design for Mobile Agents.
  Paweł T. Wojciechowski and Peter Sewell.
  In IEEE Concurrency. The IEEE Computer Society's Systems Magazine, April-June 2000.


• Nomadic Pict: Language and Infrastructure Design for Mobile Agents.
  Paweł T. Wojciechowski and Peter Sewell.
  In the Proc. of ASA / MA '99: Symposium on Agent Systems and Applications/Mobile Agents, October 1999.
  Best paper award.
  An extended version appeared in IEEE Concurrency vol 8 no 2, 2000. [In ps]


• Location-Independent Communication for Mobile Agents: a Two-Level Architecture.
  Peter Sewell, Paweł T. Wojciechowski and Benjamin C. Pierce.
  Technical Report 462, Computer Laboratory, University of Cambridge, April 1999. [In ps]
  A version of this appeared in Internet Programming Languages, Springer LNCS 1686.


• Location Independence for Mobile Agents.
  Peter Sewell, Paweł T. Wojciechowski and Benjamin C. Pierce.
  In the Proc. of Workshop on Internet Programming Languages, May 1998. It is largely superseded by the paper above.

Other Papers

• Typing for Reliable Distributed Systems - Recent Advances.
  Paweł T. Wojciechowski.
  In the Proc. of DSN '05 IEEE Workshop on Dependable Software - Tools and Methods, June 2005. [In ps]

Copyright

(c) 1999-2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The published version of the LNCS 1686, LNCS 2315, LNCS 2672, LNCS 3302, LNCS 3350, LNCS 3535, LNCS 4028, LNCS 4089, LNCS 4096, LNCS 6940, LNCS 7059 and LNCS 7147 papers are (c) Springer-Verlag.