Research projects

Below is a list of research projects in reverse chronological order, grouped by countries, with my role and the sources of funding. The results are described in papers and patents. In some projects, we developed proof-of-concept software.

In Poland

Principal Investigator

  1. Scalable in-memory data store systems based on mixed-consistency data types and replication algorithms for efficient and anomaly-free data management in the emerging NVM-based computer architectures, in short: The Persistent Datastore Project, funded by Foundation for Polish Science (FNP), TEAM.

  2. Novel methods and coherence algorithms for transactional datastores, funded by Foundation for Polish Science (FNP), IMPULS.

  3. Eventually consistent replication: Algorithms and methods, funded by Polish National Science Centre (NCN), OPUS.

  4. Concurrency control and fault-tolerance for distributed transactional memory, funded by Polish National Science Centre (NCN), HARMONIA.

Supervisor

  1. Development, design and implementation of methods, algorithms, and tools for transactional replication in distributed transactional memory. This was my PhD student’s grant, funded by Polish National Science Centre (NCN), PRELUDIUM.

Co-Investigator

  1. Novel information technologies for public sector based on the Service-Oriented Architecture (SOA) paradigm – a part at PUT, funded by Polish Ministry of Science and Higher Education. A project consortium with AGH University of Science and Technology, Wrocław University of Technology, Poznan University of Economics, and IPI (Polish Academy of Sciences).

Participant in European consortia

  1. Transactional Memories: Foundations, Algorithms, Tools, and Applications. ICT European Cooperation in Science and Technology (COST) Action IC1001. A was a member of the Management Committee, representing Poland.

  2. Behavioural Types for Reliable Large-Scale Software Systems. ICT European Cooperation in Science and Technology (COST) Action IC1201.

Participant

  1. Effective service state replication and recovery in distributed mobile systems, funded by Polish National Research Council (KBN).

  2. Integration of information systems for public administration, funded by Polish National Research Council (KBN).

  3. Algorithms for distributed systems management, funded by Polish National Research Council (KBN).

In Switzerland

Co-Investigator

  1. Semantics-guided design and implementation of group communication middleware, with prof. André Schiper and prof. Uwe Nestmann, funded by Swiss National Science Foundation (SNF).

  2. Semantics-guided design and implementation of group communication middleware, with prof. Uwe Nestmann and prof. André Schiper, funded by Hasler-Stiftung Foundation.

  3. Semantics-guided design and implementation of group communication middleware, with prof. André Schiper and prof. Uwe Nestmann, funded by EPFL.

In England

Participant

  1. Wide-area programming: Language, semantics and infrastructure design, funded by Engineering and Physical Sciences Research Council (EPSRC). Grant applicants: prof. Peter Sewell (Principal Investigator), prof. Robin Milner (Co-Investigator, a Turing Award laureate 1991), and dr James Leifer.

  2. Calculi for interactive systems: Theory and experiment, funded by Engineering and Physical Sciences Research Council (EPSRC). Grant applicants: prof. Robin Milner (Principal Investigator), prof. Philippa Gardner (Co-Investigator), and prof. Peter Sewell.

Software

Below are proof-of-concept software developed within some of the above projects and my PhD project (the last one):

Jiffy

A very fast index based on Skip-List supporting batch updates and range scans for NoSQL databases and data warehouses.

Creek

A speculation-based solution that combines atomic transactions and eventually consistent operations without restrictions that occur in commercial NoSQL databases.

JPaxos

A variant of Paxos-based state machine replication tool with efficient recovery of a crashed replica from other replicas.

mPaxos(SM)

Two variants of the above system, but with recovery from persistent memory (Intel® Optane™ Persistent Memory).

Atomic RMI

A library implementing distributed atomic transactions in Java, with pessimistic concurrency control.

nPict

A strongly typed programming language with mobile agents, with formal semantics based on the \(\pi\)-calculus. See a brief introduction to the \(\pi\)-calculus.

Note

This page is under development.

This document was generated on Apr 01, 2025.