Piotr Nienaltowski

Mailing address
Piotr Nienaltowski
Praxis High Integrity Systems Ltd
20, Manvers Street
Bath BA1 1PX UK		 Physical address
Piotr Nienaltowski
Praxis High Integrity Systems Ltd
20, Manvers Street
Bath BA1 1PX UK		 Contact
Piotr Nienaltowski
Phone: +44 1225 82 37 88
Fax: +44 1225 46 90 06
E-mail: Piotr.Nienaltowski at praxis-his.com
http://se.inf.ethz.ch/people/nienaltowski

Overview

I defended my PhD thesis Practical framework for contract-based concurrent object-oriented programming in February 2007, and moved to Bath, U.K., to work for Praxis HIS. Before that, I was a research and teaching assistant at the Chair of Software Engineering and worked on the SCOOP project.

SCOOP (Simple Concurrent Object-Oriented Programming) provides simple yet very powerful mechanism for concurrent computation. The model takes advantage of the inherent concurrency implicit in object-oriented programming to provide programmers with a simple extension enabling them to produce parallel applications with little more effort than sequential ones. The basic idea is to take object-oriented programming as given, and extend it in a minimal way to cover concurrency and distribution. The mechanism is based on the principles of Design by Contract: it largely derives from examining the semantics of contracts in a non-sequential setting. Writing concurrent applications with SCOOP is extremely simple, since it does not require the usual baggage of concurrent and multithreaded programming (semaphores, rendezvous, monitors, etc.). The model is applicable to many different physical setups, from multithreading to highly parallel scientific computation, to distributed systems and Web programming.

 Software news

  • scoop2scoopli 4.5 released (14.02.2007)
    Compile your SCOOP applications with scoop2scoopli.
    What's new:
    • Support for postcondition checking. Asynchronous semantics of postconditions applies.
    • Support for invariant checking.
    • Non-separate once features have once-per-processor status.
    • Separate once features have once-per-system status.
    • Precursor calls are now allowed in routines that take separate arguments. Use explicit parent name, e.g. Precursor {X} (... ).

  • SCOOPLI 4.4 released
    SCOOPLI, a library implementation of the SCOOP model, is available for download. SCOOPLI supports both native Windows and .NET.

Publications

2007

    
  • Nienaltowski P.: Practical framework for contract-based concurrent object-oriented programming, PhD dissertation 17061, Department of Computer Science, ETH Zurich, February 2007.
 

Dissertation (PDF)

2006

    
  • Arslan V., Eugster P., Nienaltowski P., Vaucouleur S.: SCOOP - concurrency made easy, in Meyer B., Schiper A., Kohlas J. (Eds) Dependable Systems: Software, Computing, Networks, Springer-Verlag, ISBN 3-540-36821-3, 2006.
 
  • Nienaltowski P., Meyer, B.: Contracts for concurrency, International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages (CORDIE), 4-5 July 2006, York, UK.
 

Paper (PDF)
 [BIB]
  • Nienaltowski P.: Flexible locking in SCOOP, International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages (CORDIE), 4-5 July 2006, York, UK.
 

Paper (PDF)
 [BIB]
  • Arslan V., Eugster P., Nienaltowski P.: Modeling embedded real-time applications with objects and events, 12th IEEE Real-Time and Embedded Technology and Applications Symposium RTAS 2006, April 2006, San Jose, USA.
Paper (PDF)
  • Nienaltowski P.: Refined access control policy for SCOOP, Technical Report tr511, ETH Zurich, February 2006
 

Paper (PDF)
 [BIB]

2004

    

Paper (PDF)
 [BIB]

2003

    
  • Nienaltowski P., Arslan V., Meyer B.: Concurrent object-oriented programming on .NET, IEE Proceedings Software, Special Issue on ROTOR, vol. 150, no. 5, 308-314, October 2003.
    Paper (PDF)
  • Arslan V., Nienaltowski P., Arnout K.: Event Library: an object-oriented library for event-driven design, JMLC 2003, 25-27 August 2003, Klagenfurt, Austria.

Paper (PDF)
 Slides (PPS)
  • Nienaltowski P.: SCOOP it up! (short talk), PPoPP'03, 11-13 June 2003, San Diego, USA.
  Slides (PPS)
  Paper (PDF)

Drafts

    
  • Nienaltowski P., Arslan V., Meyer B.: SCOOP: concurrent programming made easy, draft, June 2003
  Paper (PDF)

Editorial work

Journals

    

Proceedings

    
  • Skala V., Nienaltowski P.: Proceedings of the 3rd International Conference on .NET Technologies, May 30 - June 1, 2005, Pilsen, Czech Republic
  • Skala V., Nienaltowski P.: Proceedings of the 2nd International Workshop on .NET Technologies, May 31 - June 2, 2004, Pilsen, Czech Republic

 Events

2006

2005

2004

2003

Summer and winter schools I attended

Teaching

WS 2006/2007 37-001 Introduction to programming
SS 2006 251-0268-00 Concurrent Object-Oriented Programming
WS 2005/2006 37-001 Introduction to programming
SS 2005 251-0268-00 Concurrent Object-Oriented Programming
SS 2004 37-832 Informatik-II D-MAVT
WS 2003/2004 37-001 Introduction to programming
SS 2003 37-016 Informationssysteme

Personal

I love travelling and flying (see pictures  from my recent travels). I also enjoy learning foreign languages. For the moment, I have only learnt French, English, German, and a bit of Spanish. My favourite comedy series are Monty Python's Flying Circus and The Fast Show. My favourite colour is blue and my favourite island in the Indian Ocean is Mauritius.

 

Last update: 28-Feb-2007