The research group FORMS aims at studying and realizing formal methods and tools for supporting software engineers and programmers during the development of software with high and formally verified levels of correctness, reliability, and reuse. The research carried out by the group members comprises the study of formal models and constructs for functional, object-oriented, and concurrent programs, the study of type theories, as well as the development of algorithms for the static and dynamic analysis of programs.

Below is a list of the most relevant research topics:

• fundamentals of lambda calculus and intersection types;
• constructs and methodologies for object-oriented programming languages;
• automatic synthesis of components and objects;
• formal models of concurrency and communication;
• contracts, behavioral types, and communication protocols.

• EUTYPES
• ICT COST Action IC1405
• BETTY
• CINA
• SALT
• DART
• BioBits
• MyMed
• DISCO

• yVar
• RunVar

• Ines Margaria
• Angelo Troina
• Maddalena Zacchi

Luca Padovani

+ 39 011 670 6777

luca.padovani@unito.it

Authors: Paolo Viviani, Maurizio Drocco, Daniele Baccega, Marco Aldinucci

Deep Learning at Scale

Published in: Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 

titoloEvento: 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

Year: 2019

Authors: Luca Padovani

Context-Free Session Type Inference

Published in: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Year: 2019

Authors: Maurizio Drocco, Paolo Viviani, Iacopo Colonnelli, Marco Aldinucci, Marco Grangetto

Accelerating spectral graph analysis through wavefronts of linear algebra operations

Published in: Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 

titoloEvento: 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

Year: 2019

Authors: Grelck, Clemens; Niewiadomska-Szynkiewicz, Ewa; Aldinucci, Marco; Bracciali, Andrea; Larsson, Elisabeth

Why High-Performance Modelling and Simulation for Big Data Applications Matters

Published in: High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet, Year: 2019

Authors: Rosita Gerbo; Luca Padovani

Concurrent Typestate-Oriented Programming in Java

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Year: 2019

Authors: ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

On the expressiveness of modal transition systems with variability constraints

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2019

Authors: Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca

A formal model for Multi Software Product Lines

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2019

Authors: Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob

A higher-order calculus of computational fields

Published in: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, Year: 2019

Authors: Rodrigues V.; Donetti S.; Damiani F.

Certifying delta-oriented programs

Published in: SOFTWARE AND SYSTEMS MODELING, Year: 2019

Authors: Ivan Merelli; Federico Fornari; Fabio Tordini; Daniele D'Agostino; Marco Aldinucci; Daniele Cesini

Exploiting Docker containers over Grid computing for a comprehensive study of chromatin conformation in different cell types

Published in: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Year: 2019

Authors: Audrito G.; Viroli M.; Damiani F.; Pianini D.; Beal J.

On a Higher-Order Calculus of Computational Fields

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019

Year: 2019

Authors: Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.

The share operator for field-based coordination

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019

Year: 2019

Authors: Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.

Aggregate processes in field calculus

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019

Year: 2019

Authors: Giuseppe Castagna, Mariangiola Dezani, Elena Giachino, Luca Padovani

Foundations of Session Types: 10 Years Later

Published in: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 

titoloEvento: 21st International Symposium on Principles and Practice of Programming Languages 2019

Year: 2019

Authors: Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf

Connecting open systems of communicating finite state machines

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Year: 2019

Authors: Viviana Bono

The Magda Language: Ten Years After

Published in: FUNDAMENTA INFORMATICAE, Year: 2019

Authors: Aldinucci, Marco; Bagnasco, Stefano; Concas, Matteo; Lusso, Stefano; Rabellino, Sergio; Demarchi, Danilo; Vallero, Sara

Managing a heterogeneous scientific computing cluster with cloud-like tools: ideas and experience

Published in: EPJ Web of Conferences Volume 214 (2019), 

titoloEvento: 23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2018)

Year: 2019

Authors: Cosimo Laneve, Luca Padovani

Deadlock Analysis of Wait-Notify Coordination

Published in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Year: 2019

Authors: Ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.

Static analysis of featured transition systems

Published in: ACM International Conference Proceeding Series, 

titoloEvento: 23rd International Systems and Software Product Line Conference, SPLC 2019

Year: 2019

Authors: Audrito G.; Damiani F.; Stolz V.; Viroli M.

On distributed runtime verification by aggregate computing

Published in: Electronic Proceedings in Theoretical Computer Science, EPTCS, 

titoloEvento: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018

Year: 2019

Authors: Damiani F.; Lienhardt M.; Paolini L.

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

Published in: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, Year: 2019

Authors: Audrito, G; Bergamini, S; Damiani, F; Viroli, M

Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems

Published in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 

titoloEvento: 18th International Conference on Autonomous Agents and MultiAgent Systems

Year: 2019

Authors: ter Beek M.H.; Damiani F.; Gnesi S.; Mazzanti F.; Paolini L.

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 15th International Conference on Integrated Formal Methods, IFM 2019

Year: 2019

Authors: Lienhardt M.; Damiani F.; Testa L.; Turin G.

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 15th International Conference on Integrated Formal Methods, IFM 2019

Year: 2019

Authors: Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo

From distributed coordination to field calculus and aggregate computing

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Year: 2019

Authors: Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph

A core calculus for dynamic delta-oriented programming

Published in: ACTA INFORMATICA, Year: 2018

Authors: Mencagli, Gabriele; Torquati, Massimo; Lucattini, Fabio; Cuomo, Salvatore; Aldinucci, Marco

Harnessing sliding-window execution semantics for parallel stream processing

Published in: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Year: 2018

Authors: Fabio, Tordini; Marco, Aldinucci; Paolo, Viviani; Ivan, Merelli; Pietro, Liò

Scientific workflows on clouds with heterogeneous and preemptible instances

Published in: Proc. of the Intl. Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy, 

titoloEvento: International Conference on Parallel Computing (ParCo 2017)

Year: 2018

Authors: Paolo, Viviani; Maurizio, Drocco; Marco, Aldinucci

Scaling Dense Linear Algebra on Multicore and Beyond: a Survey

Published in: Proc. of 26th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 

titoloEvento: Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

Year: 2018

Authors: Claudia, Misale; Maurizio, Drocco; Guy, Tremblay; Marco, Aldinucci

PiCo: a Novel Approach to Stream Data Analytics

Published in: Proc. of Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP), 

titoloEvento: Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP)

Year: 2018

Authors: Luca Padovani

Deadlock-Free Typestate-Oriented Programming

Published in: THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, Year: 2018

Authors: Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca

Multi software product lines in the wild

Published in: ACM International Conference Proceeding Series, 

titoloEvento: 12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018

Year: 2018

Authors: Marco Aldinucci; Maurizio Drocco; Claudia Misale; Guy Tremblay

Languages for Big Data analysis

Published in: Encyclopedia of Big Data Technologies, Year: 2018

Authors: van Bakel, S; Barbanera, F; de'Liguoro, U

INTERSECTION TYPES FOR THE lambda mu-CALCULUS

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Year: 2018

Authors: Bessai, J; Chen, TC; Dudenhefner, A; Duedder, B; de'Liguoro, U; Rehof, J

MIXIN COMPOSITION SYNTHESIS BASED ON INTERSECTION TYPES

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Year: 2018

Authors: Livio Bioglio, Sara Capecchi, Federico Peiretti, Dennis Sayed, Antonella Torasso, Ruggero G. Pensa

Social4School: a Serious Game for Educating Children on Privacy Awareness in Online Social Networks

Published in: 2018 International School and Conference on Network Science (NetSci 2018), 

titoloEvento: 2018 International School and Conference on Network Science (NetSci 2018)

Year: 2018

Authors: Luca Padovani

A Type Checking Algorithm for Concurrent Object Protocols

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Year: 2018

Authors: Ugo de'Liguoro; Luca Padovani

Mailbox Types for Unordered Interactions

Published in: 32nd European Conference on Object-Oriented Programming, 

titoloEvento: 32nd European Conference on Object-Oriented Programming (ECOOP'18)

Year: 2018

Authors: Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca

On checking delta-oriented product lines of statecharts

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2018

Authors: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Optimal single-path information propagation in gradient-based algorithms

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2018

Authors: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Aggregate graph statistics

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: 1st Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT 2017

Year: 2018

Authors: Viroli, Mirko; Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo

Engineering resilient collective adaptive systems by self-stabilisation

Published in: ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, Year: 2018

Authors: Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko

Space-time universality of field calculus

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018

Year: 2018

Authors: Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo

From field-based coordination to aggregate computing

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018

Year: 2018

Authors: Røst, Thomas Brox*; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch; Chesta, Cristina

HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems

Published in: Communications in Computer and Information Science, 

titoloEvento: 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017

Year: 2018

Authors: Barbanera, Franco; Lanese, Ivan; de'Liguoro, Ugo

A theory of retractable and speculative contracts

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2018

Authors: marco aldinucci; luca padovani; massimo torquati

Euro-Par 2018: Parallel Processing

Year: 2018

Authors: Franco Barbanera; Ugo de’Liguoro

Session types and subtyping for orchestrated interactions

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Year: 2018

Authors: Bioglio, Livio; Capecchi, Sara; Peiretti, Federico; Sayed, Dennis; Torasso, Antonella; Pensa, Ruggero Gaetano

A Social Network Simulation Game to Raise Awareness of Privacy among School Children

Published in: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, Year: 2018

Authors: Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf

Global Types for Open Systems

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Interaction and Concurrency Experience - ICE 2018

Year: 2018

Authors: Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.

Interoperability of software product line variants

Published in: Proceedings of the 22nd International Systems and Software Product Line Conference, 

titoloEvento: 22nd International Systems and Software Product Line Conference

Year: 2018

Authors: Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

Java & Lambda: a Featherweight Story

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Year: 2018

Authors: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Bini, Enrico

Distributed Real-Time Shortest-Paths Computations with the Field Calculus

Published in: Proceedings - Real-Time Systems Symposium, 

titoloEvento: 39th IEEE Real-Time Systems Symposium, RTSS 2018

Year: 2018

Authors: Damiani Ferruccio; Michael LIENHARDT; Luca Paolini

A Formal Model for Multi SPLs

Published in: Fundamentals of Software Engineering. FSEN 2017, 

titoloEvento: 7th International Conference on Fundamentals of Software Engineering, FSEN 2017

Year: 2017

Authors: Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

FastFlow: high-level and efficient streaming on multi-core

Published in: Programming Multi-core and Many-core Computing Systems, Year: 2017

Authors: Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena

Isomorphism of intersection and union types

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2017

Authors: Concetto, Spampinato; Simone, Palazzo; Daniela, Giordano; Aldinucci, Marco; Rosalia, Leonardi

Deep Learning for Automated Skeletal Bone Age Assessment in X-Ray Images

Published in: MEDICAL IMAGE ANALYSIS, Year: 2017

Authors: Tordini, F.; Drocco, M.; Misale, C.; Milanesi, L.; Lio, P.; Merelli, I.; Torquati, M.; Aldinucci, M.

NuChart-II: The road to a fast and scalable tool for Hi-C data analysis

Published in: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, Year: 2017

Authors: Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel

A novel model-based testing approach for software product lines

Published in: SOFTWARE AND SYSTEMS MODELING, Year: 2017

Authors: Bettini, Lorenzo; Damiani, Ferruccio

Xtraitj: Traits for the Java platform

Published in: THE JOURNAL OF SYSTEMS AND SOFTWARE, Year: 2017

Authors: de' Liguoro, Ugo

The approximation theorem for the Λμ-calculus

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2017

Authors: Viviani, Paolo; Aldinucci, Marco; Torquati, Massimo; d'Ippolito, Roberto

Multiple back-end support for the Armadillo linear algebra interface

Published in: In proc. of the 32nd ACM Symposium on Applied Computing (SAC), 

titoloEvento: The 32nd ACM Symposium on Applied Computing

Year: 2017

Authors: Misale, Claudia; Drocco, Maurizio; Aldinucci, Marco; Tremblay, Guy

A Comparison of Big Data Frameworks on a Layered Dataflow Model

Published in: PARALLEL PROCESSING LETTERS, Year: 2017

Authors: Berardi, Stefano; de’ Liguoro, Ugo

Non-monotonic Pre-fix Points and Learning

Published in: FUNDAMENTA INFORMATICAE, Year: 2017

Authors: Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael

A unified and formal programming model for deltas and traits

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017

Year: 2017

Authors: Luca Padovani

A Simple Library Implementation of Binary Sessions

Published in: JOURNAL OF FUNCTIONAL PROGRAMMING, Year: 2017

Authors: Padovani, Luca

Context-Free Session Type Inference

Published in: Programming Languages and Systems, 

titoloEvento: European Symposium on Programming

Year: 2017

Authors: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed

Published in: Coordination Models and Languages, 

titoloEvento: 19th International Conference on Coordination Models and Languages

Year: 2017

Authors: Bono, Viviana; Coppo, Mario; Dezani, Mariangiola; Venneri, Betti

Data-driven adaptation for smart sessions

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Year: 2017

Authors: Crafa, Silvia; Padovani, Luca

The Chemical Approach to Typestate-Oriented Programming

Published in: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Year: 2017

Authors: Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo

Retractable and Speculative Contracts

Published in: Lecture Notes in Computer Science. Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, 

titoloEvento: COORDINATION 2017

Year: 2017

Authors: Paula, Severi; Padovani, Luca; Emilio, Tuosto; Mariangiola, Dezani

On Sessions and Infinite Data

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Year: 2017

Authors: Hernán, Melgratti; Padovani, Luca

Chaperone Contracts for Higher-Order Sessions

Published in: PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES, Year: 2017

Authors: Melgratti, Hernán; Padovani, Luca

Chaperone Contracts for Higher-Order Sessions

Year: 2017

Authors: Padovani, Luca

Type-Based Analysis of Linear Communications

Published in: Behavioural Types: from Theory to Tools, Year: 2017

Authors: Melgratti, Hernán; Padovani, Luca

An OCaml Implementation of Binary Sessions

Published in: Behavioural Types: from Theory to Tools, Year: 2017

Authors: Marco, Aldinucci; Marco, Danelutto; Daniele, De Sensi; Gabriele, Mencagli; Massimo, Torquati

Towards Power-Aware Data Pipelining on Multicores

Published in: Proceedings of the 10th International Symposium on High-Level Parallel Programming and Applications, 

titoloEvento: Hi

Year: 2017

Authors: Viviani, P.; and Aldinucci, M.; and d'Ippolito, R.; and Lemeire, J.; and Vucinic, D.

A Flexible Numerical Framework for Engineering---A Response Surface Modelling Application

Published in: Improved Performance of Materials: Design and Experimental Approaches, Year: 2017

Authors: Torquati, M.; Mencagli, G.; Drocco, M.; Aldinucci, M.; De Matteis, T.; Danelutto, M.

On dynamic memory allocation in sliding-window parallel patterns for streaming analytics

Published in: THE JOURNAL OF SUPERCOMPUTING, Year: 2017

Authors: Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael

Abstraction refinement for the analysis of software product lines

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017

Year: 2017

Authors: Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio

Self-adaptation to device distribution in the internet of things

Published in: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, Year: 2017

Authors: Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina

An extension of the ABS toolchain with a mechanism for type checking SPLs

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 13th International Conference on Integrated Formal Methods, IFM 2017

Year: 2017

Authors: Aldinucci, Marco; Brorsson, Mats; D'Agostino, Daniele; Daneshtalab, Masoud; Kilpatrick, Peter; Leppãnen, Ville

Guest editorial: preface

Published in: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, Year: 2017

Authors: Cuomo, Salvatore; Aldinucci, Marco; Torquati, Massimo

Guest Editorial for Programming Models and Algorithms for Data Analysis in HPC Systems

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Year: 2017

Authors: Muthuri, Robert; Boella, Guido; Hulstijn, Joris; Capecchi, Sara; Humphreys, LLIO BRYN

Compliance patterns: harnessing value modeling and legal interpretation to manage regulatory conversations

Published in: Proceedings of the 16th International Conference on Artificial Intelligence and Law, 

titoloEvento: 16th International Conference on Artificial Intelligence and Law

Year: 2017

Authors: Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko

Compositional Blocks for Optimal Self-Healing Gradients

Published in: Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 

titoloEvento: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017

Year: 2017

Authors: Marco, Danelutto; Tiziano De Matteis, ; Daniele De Sensi, ; Gabriele, Mencagli; Massimo, Torquati; Marco, Aldinucci; Peter, Kilpatrick

The RePhrase Extended Pattern Set for Data Intensive Parallel Computing

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Year: 2017

Authors: Aldinucci M.; Bagnasco S.; Lusso S.; Pasteris P.; Rabellino S.; Vallero S.

OCCAM: A flexible, multi-purpose and extendable HPC cluster

Published in: Journal of Physics: Conference Series, 

titoloEvento: 22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP 2016

Year: 2017

Authors: Mario Coppo; Mariangiola Dezani; Nobuko Yoshida; Luca Padovani

Global Progress for Dynamically Interleaved Multiparty Sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2016

Authors: Luca Padovani

Fair Subtyping for Multi-Party Session Types

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2016

Authors: Aldinucci, Marco; Campa, Sonia; Danelutto, Marco; Kilpatrick, Peter; Torquati, Massimo

Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Year: 2016

Authors: Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob

A type-sound calculus of computational fields

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2016

Authors: Barbanera, Franco; de’ Liguoro, Ugo

A Game Interpretation of Retractable Contracts

Published in: Coordination Models and Languages, 

titoloEvento: Coordination

Year: 2016

Authors: Winkelmann, Tim; Koscielny, Jonathan; Seidl, Christoph; Schuster, Sven; Damiani, Ferruccio; Schaefer, Ina

Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts

Published in: CEUR Workshop Proceedings, 

titoloEvento: Workshops of the Conference on Software Engineering, SE-WS 2016

Year: 2016

Authors: Damiani, Ferruccio; Lienhardt, Michael

Refactoring Delta-Oriented Product Lines to achieve Monotonicity

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE’16)

Year: 2016

Authors: Damiani, Ferruccio; Lienhardt, Michael

On Type Checking Delta-Oriented Product Lines

Published in: Integrated Formal Methods, 

titoloEvento: 12th International Conference, IFM 2016

Year: 2016

Authors: Aldinucci, M.; Danelutto, M.; Drocco, M; Kilpatrick, P.; Misale, C.; Peretti Pezzi, G.; Torquati, M.

A parallel pattern for iterative stencil + reduce

Published in: THE JOURNAL OF SUPERCOMPUTING, Year: 2016

Authors: Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; De’Liguoro, Ugo

Reversible client/server interactions

Published in: FORMAL ASPECTS OF COMPUTING, Year: 2016

Authors: Castellani, Ilaria; Dezani, Mariangiola; De'Liguoro, Ugo

Secure Multiparty Sessions with Topics

Published in: Proceedings PLACES 2016, 

titoloEvento: PLACES 2016

Year: 2016

Authors: Olivier, Danvy; Ugo, De'Liguoro

Proceedings of the Workshop on Continuations

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, Year: 2016

Authors: Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko

Global escape in multiparty sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2016

Authors: Bracciali, Andrea; Aldinucci, Marco; Patterson, Murray; Marschall, Tobias; Pisanti, Nadia; Merelli, Ivan; Torquati, Massimo

PWHATSHAP: efficient haplotyping for future generation sequencing

Published in: BMC BIOINFORMATICS, Year: 2016

Authors: Tordini, Fabio; Merelli, Ivan; Liò, Pietro; Milanesi, Luciano; Aldinucci, Marco

NuchaRt: Embedding High-Level Parallel Computing in R for Augmented Hi-C Data Analysis

Published in: Computational Intelligence Methods for Bioinformatics and Biostatistics, 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers, Year: 2016

Authors: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida

Behavioral Types in Programming Languages

Published in: FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES, Year: 2016

Authors: Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Lúis Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro

Foundations of session types and behavioural contracts

Published in: ACM COMPUTING SURVEYS, Year: 2016

Authors: Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini

On sessions and infinite data

Published in: Coordination Models and Languages, 

titoloEvento: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016

Year: 2016

Authors: Janjic, V.; Brown, C.; Mackenzie, K.; Hammond, K.; Danelutto, M.; Aldinucci, M.; Garcia, J. Daniel

RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications

Published in: Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 

titoloEvento: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016

Year: 2016

Authors: Drocco, Maurizio; Misale, Claudia; Aldinucci, Marco

A Cluster-as-Accelerator Approach for SPMD-Free Data Parallelism

Published in: Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 

titoloEvento: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016

Year: 2016

Authors: Tordini, Fabio; Aldinucci, Marco; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan

The Genome Conformation as an Integrator of Multi-Omic Data: The Example of Damage Spreading in Cancer

Published in: FRONTIERS IN GENETICS, Year: 2016

Authors: Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh

Introduction to the track on variability modeling for scalable software evolution

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 

titoloEvento: 7th International Symposium, ISoLA 2016

Year: 2016

Authors: Damiani, Ferruccio; Lienhardt, Michael

Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 

titoloEvento: 7th International Symposium, ISoLA 2016

Year: 2016

Authors: Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven

A toolchain for delta-oriented modeling of software product lines

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 

titoloEvento: 7th International Symposium, ISoLA 2016

Year: 2016

Authors: Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh

Proof repositories for compositional verification of evolving software systems managing change when proving software correct

Published in: Transactions on Foundations for Mastering Change I, Year: 2016

Authors: Dougherty, Daniel J.; De’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude

A realizability interpretation for intersection and union types

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 14th Asian Symposium on Programming Languages and Systems, APLAS 2016

Year: 2016

Authors: Viviani, Paolo; Aldinucci, Marco; d'Ippolito, Roberto

An hybrid linear algebra framework for engineering

Published in: Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) -- Poster Abstracts, 

titoloEvento: Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)

Year: 2016

Authors: Viviani, Paolo; Aldinucci, Marco; d'Ippolito Roberto; Lemeire, Jan; Vucinic, Dean

A flexible numerical framework for engineering - a Response Surface Modelling application

Published in: 10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X) -- Abstract Book, 

titoloEvento: 10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X)

Year: 2016

Authors: Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio

Self-Adaptation to Device Distribution Changes

Published in: Proceedings - IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, 

titoloEvento: 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016

Year: 2016

Authors: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto

Run-Time management of computation domains in field calculus

Published in: Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, 

titoloEvento: 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016

Year: 2016

Authors: Bettini, Lorenzo; Capecchi, Sara

VDML4RS: a tool for reputation systems modeling and design

Published in: SSE 2016 Proceedings of the 8th International Workshop on Social Software Engineering, 

titoloEvento: 8th International Workshop on Social Software Engineering

Year: 2016

Authors: Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola

Information flow safety in multiparty sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2016

Authors: Aldinucci, Marco; Torquati, Massimo

Message from ScalCom 2016 Program Chairs

Year: 2016

Authors: Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer

Implementing type-safe software product lines using parametric traits

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2015

Authors: Drocco, Maurizio; Misale, Claudia; Peretti Pezzi, Guilherme; Tordini, Fabio; Aldinucci, Marco

Memory-Optimised Parallel Processing of Hi-C Data

Published in: PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, 

titoloEvento: PDP 2015: Parallel Distributed and network-based Processing

Year: 2015

Authors: Tordini, Fabio; Drocco, Maurizio; Misale, Claudia; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan; Aldinucci, Marco

Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II

Published in: Proceedings of the International Euromicro PDP 2015: Parallel Distributed and network-based Processing, 2015, 

titoloEvento: International Euromicro PDP 2015: Parallel Distributed and network-based Processing

Year: 2015

Authors: Merelli, Ivan; Tordini, Fabio; Drocco, Maurizio; Aldinucci, Marco; Liò, Pietro; Milanesi, Luciano.

Integrating Multi-omic features exploiting Chromosome Conformation Capture data

Published in: FRONTIERS IN GENETICS, Year: 2015

Authors: Tordini, Fabio; Drocco, Maurizio; Merelli, Ivan; Milanes, Luciano; Liò, Pietro; Aldinucci, Marco.

NuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data

Published in: LNCS post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014, 

titoloEvento: CIBB 2014

Year: 2015

Authors: Aldinucci, Marco; Peretti Pezzi, Guilherme; Drocco, Maurizio; Spampinato, Concetto; Torquati, Massimo

Parallel Visual Data Restoration on Multi-GPGPUs using Stencil-Reduce Pattern

Published in: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, Year: 2015

Authors: Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena

On Isomorphism of "Functional" Intersection and Union Types.

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: 7-th workshop on intersection types and related systems

Year: 2015

Authors: ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Published in: Software Engineering and Formal Methods, 

titoloEvento: 13th International Conference on Software Engineering and Formal Methods, SEFM 2015

Year: 2015

Authors: Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati

High-Performance Haplotype Assembly

Published in: LNBI post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014, 

titoloEvento: Intl. meeting on Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB 2014)

Year: 2015

Authors: Marco Aldinucci; Marco Danelutto; Maurizio Drocco; Peter Kilpatrick; Guilherme Peretti Pezzi; Massimo Torquati

The Loop-of-Stencil-Reduce paradigm

Published in: Proc. of Intl. Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara), 

titoloEvento: International Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)

Year: 2015

Authors: Marcin Benke; Viviana Bono; Aleksy Schubert

Lucretia - intersection type polymorphism for scripting languages

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Seventh Workshop on Intersection Types and Related Systems, ITRS 2014

Year: 2015

Authors: Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob

Mixin Composition Synthesis Based on Intersection Types

Published in: 13th International Conference on Typed Lambda Calculi and Applications,TLCA 2015, July 1-3, 2015, Warsaw, Poland, 

titoloEvento: TLCA 2015

Year: 2015

Authors: Barbanera Franco; Steffen van Bakel; De'Liguoro, Ugo

Orchestrated Session Compliance

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Interaction and Concurrency Experience, ICE 2015

Year: 2015

Authors: Jan Bessai; Boris D\"udder; Andrej Dudenhefner; Chen Tzu-Chun; De'Liguoro, Ugo

Typing Classes and Mixins with Intersection Types

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Intersection Types and Related Systems

Year: 2015

Authors: Padovani, Luca; Chen, Tzu-Chun; Tosatto, Andrea

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

Published in: Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), 

titoloEvento: International Conference on Coordination Models and Languages

Year: 2015

Authors: Padovani, Luca; Novara, Luca

Types for Deadlock-Free Higher-Order Programs

Published in: Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15), 

titoloEvento: IFIP International Conference on Formal Methods and Techniques

Year: 2015

Authors: Crafa, Silvia; Padovani, Luca

The Chemical Approach to Typestate-Oriented Programming

Published in: Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), 

titoloEvento: ACM International Conference on Object Oriented Programming Systems Languages & Applications

Year: 2015

Authors: Cosimo Laneve; Luca Padovani

An Algebraic Theory for Web Service Contracts

Published in: FORMAL ASPECTS OF COMPUTING, Year: 2015

Authors: Damiani, Ferruccio; Viroli, Mirko; Pianini, Danilo; Beal, Jacob

Code mobility meets self-organisation: A higher-order calculus of computational fields

Published in: Formal Techniques for Distributed Objects, Components, and Systems., 

titoloEvento: 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015

Year: 2015

Authors: Ferruccio Damiani, Mirko Viroli

Type-based Self-stabilisation for Computational Fields

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Year: 2015

Authors: Padovani, Luca

Type Reconstruction for the Linear π-Calculus with Composite Regular Types

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Year: 2015

Authors: Bono, Viviana

Program Committee member of the 29th edition of the European Conference on Object-Oriented Programming (ECOOP 2015).

Year: 2015

Authors: Luca Padovani

FuSe - A simple library implementation of binary sessions

Year: 2015

Authors: Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields

Published in: International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 

titoloEvento: 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015

Year: 2015

Authors: Massimo Bartoletti; Castellani Ilaria; Pierre-Malo Denielou; Dezani Mariangiola; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez; Peter Thiemann; Bernardo Toninho; Vieira Hugo Torres

Combining behavioural types with security analysis

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Year: 2015

Authors: Capecchi, Sara; Giraudo, Mauro; Negro, Claudia; Pisano, Paola

Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling

Published in: Proceedings - 12th IEEE International Conference on E-Business Engineering, ICEBE 2015, 

titoloEvento: 12th IEEE International Conference on E-Business Engineering, ICEBE 2015

Year: 2015

Authors: Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena

Partial and Complete Processes in Multiparty Sessions

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Italian Conference on Theoretical Computer Science (ICTCS)

Year: 2015

Authors: Aldinucci, Marco; Daneshtalab, Masoud; Leppänen, Ville; Lilius, Johan

Preface from general co-chairs

Year: 2015

Authors: Marco Aldinucci; Massimo Torquati

FastFlow (v2.1)

Year: 2015

A gentle introduction to multiparty asynchronous session types

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Year: 2015

Authors: Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati

Decision tree building on multi-core using FastFlow

Published in: CONCURRENCY AND COMPUTATION, Year: 2014

Authors: Concetto Spampinato; Isaak Kavasidis; Marco Aldinucci; Carmelo Pino; Daniela Giordano; Alberto Faro

Discovering biological knowledge by integrating high-throughput data and scientific literature on the cloud

Published in: CONCURRENCY AND COMPUTATION, Year: 2014

Authors: Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

Design patterns percolating to parallel programming framework implementation

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Year: 2014

Authors: Stefano Berardi; Ugo de'Liguoro

Knowledge Spaces and the Completeness of Learning Strategies

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Year: 2014

Authors: M. Coppo;M. Dezani-Ciancaglini;B. Venneri

Self-Adaptive Monitors for Multiparty Sessions

Published in: PDP'14, 

titoloEvento: PDP 2014

Year: 2014

Authors: Svetlana Jakšić; Luca Padovani

Exception Handling for Copyless Messaging

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2014

Authors: Viviana Bono

Program Committee member of the 23rd European Symposium on Programming (ESOP 2014)

Year: 2014

Authors: Claudia Misale;Giulio Ferrero;Massimo Torquati;Marco Aldinucci

Sequence Alignment Tools: One Parallel Pattern to Rule Them All?

Published in: BIOMED RESEARCH INTERNATIONAL, Year: 2014

Authors: M. Coppo;M. Dezani;I. Margaria;M. Zacchi

Isomorphism of "Functional" Intersection Types

Published in: 19th International Conference on Types for Proofs and Programs (TYPES 2013), 

titoloEvento: TYPES 213

Year: 2014

Authors: F. Barbanera; M. Dezani; U. de'Liguoro

Compliance for reversible client/server interactions

Published in: Proceedings Third Workshop on Behavioural Types, 

titoloEvento: Third Workshop on Behavioural Types

Year: 2014

Authors: F. Barbanera; U. de'Liguoro

Loosening the notions of compliance and sub-behaviour in client/server systems

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Interaction and Concurrency Experience

Year: 2014

Authors: M. Dezani;S. Ghilezan

Preciseness of Subtyping on Intersection and Union Types

Published in: RTATLCA'14, 

titoloEvento: RTA/TLCA'14

Year: 2014

Authors: I. Castellani;M. Dezani;J. A. Perez

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: BEAT'14

Year: 2014

Authors: T. Chen;M. Dezani;N. Yoshida

On the Preciseness of Subtyping in Session Types

Published in: PPDP'14, 

titoloEvento: PPDP'14

Year: 2014

Authors: M. Dezani;L. Padovani;J. Pantovic

Session Type Isomorphisms

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: PLACES'14

Year: 2014

Authors: S. Capecchi;I. Castellani;M. Dezani

Typing access control and secure information flow in sessions

Published in: Information and Computation, Year: 2014

Authors: Ferruccio Damiani;Johan Dovland;Einar Broch Johnsen;Ina Schaefer

Verifying traits: an incremental proof system for fine-grained reuse

Published in: FORMAL ASPECTS OF COMPUTING, Year: 2014

Authors: Marco Aldinucci;Cristina Calcagno;Mario Coppo;Ferruccio Damiani;Maurizio Drocco;Eva Sciacca;Salvatore Spinella;Massimo Torquati;Angelo Troina

On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics

Published in: BIOMED RESEARCH INTERNATIONAL, Year: 2014

Authors: Ferruccio Damiani;Ina Schaefer;Sven Schuster;Tim Winkelmann

Delta-Trait Programming of Software Product Lines

Published in: Lecture Notes in Computer ScienceLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 

titoloEvento: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Year: 2014

Authors: Mirko Viroli;Ferruccio Damiani

A Calculus of Self-stabilising Computational Fields

Published in: Lecture Notes in Computer Science, Coordination Models and Languages, 

titoloEvento: COORDINATION - 16th International Conference on Coordination Models and Languages

Year: 2014

Authors: Ferruccio Damiani;Ina Schaefer;Tim Winkelmann

Delta-oriented multi software product lines

Published in: Proceedings of the 18th International Software Product Line Conference on - SPLC '14, 

titoloEvento: 18th International Software Product Line Conference, SPLC 2014

Year: 2014

Authors: Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer

Formal Methods for Executable Software Models

Published in: LECTURE NOTES IN COMPUTER SCIENCE, Year: 2014

Authors: Bono, Viviana; Mensa, Enrico; Naddeo, Marco;

Trait-oriented programming in Java 8

Published in: 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, 

titoloEvento: 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools (PPPJ'14)

Year: 2014

Authors: Jonathan Koscielny;Sönke Holthusen;Ina Schaefer;Sandro Schulze;Lorenzo Bettini;Ferruccio Damiani

DeltaJ 1.5: delta-oriented programming for Java 1.5

Published in: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 

titoloEvento: 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ 2014)

Year: 2014

Authors: Lorenzo Bettini;Ferruccio Damiani

Generic traits for the Java platform

Published in: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 

titoloEvento: International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ'14)

Year: 2014

Authors: Giuseppe Castagna; Kim Nguyễn; Zhiwu Xu; Hyeonseung Im; Sergueï Lenglet; Luca Padovani

Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation

Published in: ACM SIGPLAN NOTICES, 

titoloEvento: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Year: 2014

Authors: Luca Padovani

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types

Published in: Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), 

titoloEvento: 17th International Conference on Foundations of Software Science and Computation Structures

Year: 2014

Authors: Luca Padovani; Vasco Thudichum Vasconcelos; Hugo Torres Vieira

Typing Liveness in Multiparty Communicating Systems

Published in: Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), 

titoloEvento: 16th International Conference on Coordination Models and Languages

Year: 2014

Authors: Luca Padovani

Deadlock and Lock Freedom in the Linear π-Calculus

Published in: Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), 

titoloEvento: Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science

Year: 2014

Authors: Marco Aldinucci; Maurizio Drocco; Guilherme Peretti Pezzi; Claudia Misale; Fabio Tordini; Massimo Torquati

Exercising High-Level Parallel Programming on Streams: A Systems Biology Use Case

Published in: Proceedings of 34th International Conference on Distributed Computing Systems Workshops, 

titoloEvento: 34th International Conference on Distributed Computing Systems Workshops, ICDCSW 2014

Year: 2014

Authors: Mario Coppo;Mariangiola Dezani;Betti Venneri

Self-adaptive multiparty sessions

Published in: SERVICE ORIENTED COMPUTING AND APPLICATIONS, Year: 2014

Authors: M. Aldinucci; G. Peretti Pezzi; M. Drocco; F. Tordini; P. Kilpatrick; M. Torquati

Parallel video denoising on heterogeneous platforms

Published in: Proc. of Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU), 

titoloEvento: International Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems

Year: 2014

Authors: Michael G. Epitropakis; Andrea Bracciali; Marco Aldinucci; Emily Potts; Edmund K. Burke

Predictive scheduling for optimal cloud configuration

Published in: Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling, 

titoloEvento: International Conference on the Practice and Theory of Automated Timetabling

Year: 2014

Authors: Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

Pool evolution: a domain specific parallel pattern

Published in: Proc.of the 7th Intl. Symposium on High-level Parallel Programming and Applications (HLPP), 

titoloEvento: Symposium on High-level Parallel Programming and Applications (HLPP)

Year: 2014

Authors: Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme; Peretti Pezzi; Concetto Spampinato

FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs

Published in: GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 

titoloEvento: GPU Technology Conference (GTC 2014)

Year: 2014

Authors: Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme Peretti Pezzi; Concetto Spampinato

An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs

Published in: GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 

titoloEvento: GPU Technology Conference (GTC 2014)

Year: 2014

Authors: S. Capecchi; P.Pisano

Reputation by Design: Using VDML and Service ML for Reputation Systems Modeling

Published in: PROCEEDINGS of The Eleventh IEEE International Conference on E-Business Engineering ICEBE 2014, 

titoloEvento: ICEBE 2014

Year: 2014

Authors: Marco Aldinucci; Daniele D'Agostino; Peter Kilpatrick

Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Preface from the program chairs

Year: 2014

Authors: Aldinucci, Marco; Rabellino, Sergio

Preface from the organizing chairs

Year: 2014

Authors: Barbanera, Franco; De'Liguoro, Ugo

Sub-behaviour relations for session-based client/server systems

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2014

Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation

Published in: ACM SIGPLAN NOTICES, 

titoloEvento: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Year: 2014

Authors: Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer

Combining Traits with Boxes and Ownership Types in a Java-like Setting

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2013

Authors: Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco

TraitRecordJ: A programming language with traits and records

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2013

Authors: Bernhard Beckert; Frank de Boer; Marcello Bonsangue; Ferruccio Damiani

Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers

Published in: LECTURE NOTES IN COMPUTER SCIENCE, Year: 2013

Authors: Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi

Toward Isomorphism of Intersection and Union Types

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Sixth Workshop on Intersection Types and Related Systems

Year: 2013

Authors: Luca Padovani

Fair Subtyping for Open Session Types

Published in: Proceedings of the 40th International Colloquium on Automata, Languages and Programming, Part II, 

titoloEvento: 40th International Colloquium on Automata, Languages and Programming

Year: 2013

Authors: Cosimo Laneve; Luca Padovani

An Algebraic Theory for Web Service Contracts

Published in: Proceedings of the 10th International Conference on integrated Formal Methods, 

titoloEvento: 10th International Conference on integrated Formal Methods

Year: 2013

Authors: Viviana Bono; Luca Padovani; Andrea Tosatto

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language

Published in: Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems, 

titoloEvento: 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13)

Year: 2013

Authors: Mario Coppo; Mariangiola Dezani; Luca Padovani; Nobuko Yoshida

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

Published in: Proceedings of the 15th International Conference on Coordination Models and Languages, 

titoloEvento: 15th International Conference on Coordination Models and Languages

Year: 2013

Authors: Luca Padovani

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types

Year: 2013

Authors: Stefano Berardi; Ugo de'Liguoro

Non-monotonic Pre-fixed Points and Learning

Published in: EPTCS 126 - Fixed Points in Computer Science, 

titoloEvento: Fixed Points in Computer Science (FICS'13)

Year: 2013

Authors: Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro

Characterisation of Strongly Normalising lambda-mu-Terms

Published in: EPTCS 121 - Intersection Types and Related Systems, 

titoloEvento: ITRS'13 - Intersection Types and Related Systems

Year: 2013

Authors: Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo

Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations

Published in: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)

Year: 2013

Authors: Ferruccio Damiani

Three cases of composition and a question

Published in: pide and Conquer: the Quest for Compositional Design and Analysis, 

titoloEvento: pide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)

Year: 2013

Authors: Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio

On Flexible Dynamic Trait Replacement for Java-like Languages

Published in: SCIENCE OF COMPUTER PROGRAMMING, Year: 2013

Authors: Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati

Parallel Stochastic Simulators in System Biology: The Evolution of the Species

Published in: 2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 

titoloEvento: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013

Year: 2013

Authors: Marco Aldinucci; Massimo Torquati; Concetto Spampinato; Maurizio Drocco; Claudia Misale; Cristina Calcagno; Mario Coppo

Parallel stochastic systems biology in the cloud

Published in: BRIEFINGS IN BIOINFORMATICS, Year: 2013

Authors: Marco Aldinucci; Sonia Campa; Peter Kilpatrick; Massimo Torquati

Structured Data Access Annotations for Massively Parallel Computations

Published in: Parallel Processing Workshops, Euro-Par 2012: BDMC 2012, CGWS 2012, HeteroPar 2012, HiBB 2012, OMHI 2012, Paraphrase 2012, PROPER 2012, Resilience 2012, UCHPC 2012, VHPC 2012; Rhodes Island; Greece; 27 August 2012 through 31 August 2012, Selected Revised Papers, Year: 2013

Authors: Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

Targeting Distributed Systems in FastFlow

Published in: Lecture Notes in Computer ScienceEuro-Par 2012: Parallel Processing Workshops, 

titoloEvento: Euro-Par 2012 Workshops, CoreGrid Workshop on Grids, Clouds and P2P Computing

Year: 2013

Authors: L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri

Deriving Session and Union Types for Objects

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2013

Authors: Lorenzo Bettini;Ferruccio Damiani

Pure trait-based programming on the Java platform

Published in: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 

titoloEvento: International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13

Year: 2013

Authors: Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer

Compositional Type Checking of Delta-Oriented Software Product Lines

Published in: ACTA INFORMATICA, Year: 2013

Authors: Ferruccio Damiani;Christoph Gladisch;Shmuel Tyszberowicz

Refinement-based testing of delta-oriented product lines

Published in: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 

titoloEvento: 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13

Year: 2013

Authors: Luca Padovani

From Lock Freedom to Progress Using Session Types

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Programming Language Approaches to Concurrency and Communication-cEntric Software

Year: 2013

Authors: Ugo de'Liguoro; Alexis Saurin

Control Operators and their Semantics

Year: 2013

Authors: C. Misale; M. Aldinucci; and M. Torquati

Memory affinity in multi-threading: the Bowtie2 case study

Published in: Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) — Poster Abstracts, 

titoloEvento: HiPEAC IX ACACES Summer School

Year: 2013

Authors: F. Alessi;H. Barendregt;W. Dekkers;M. Dezani;F. Honsell;P. Severi;R. Statman

Intersection Types

Published in: Lambda Calculus with Types, Year: 2013

Authors: Viviana Bono

Program Committee member of the Programming Language Approaches to Concurrency and Communication-cEntric Software workshop (PLACES 2013)

Year: 2013

Authors: Luca Padovani

Hypha - Type Reconstruction for the Linear π-Calculus

Year: 2013

Authors: L. Bioglio;M. Dezani;P. Giannini;A. Troina

Type Directed Semantics for the Calculus of Looping Sequences

Published in: INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS, Year: 2013

Authors: Henk Barendregt; Wil Dekkers; Richard Statman; Felice Cardone; Mario Coppo

Part II, Recursive types

Published in: Lambda Calculus with Types, Year: 2013

Authors: Mirko Viroli; Ferruccio Damiani; Jacob Beal

A Calculus of Computational Fields

Published in: Communications in Computer and Information ScienceAdvances in Service-Oriented and Cloud Computing, 

titoloEvento: FOCLASA 2013 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems

Year: 2013

Authors: G. Barbara Demo; Lawrence Williams; Alessandro Rabbone; Alberto Barbero; Sara Capecchi; Ruggero Pensa; Flaviano MOnge; Maria Grazia Maffucci; Carlos Bayon Rodriguez; Cristina Bosco; Liliana Ardissono

Teachers for teachers T4T 2014

Year: 2013

Authors: Claudia Misale; Marco Aldinucci; Massimo Torquati

Memory affinity in multi-threading: the Bowtie2 case study

Published in: Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), 

titoloEvento: Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)

Year: 2013

Authors: Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati

An Abstract Annotation Model for Skeletons

Published in: Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, Year: 2013

Authors: Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Montangero, Carlo; Semini, Laura

Managing Adaptivity in Parallel Systems

Published in: Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, Year: 2013

Authors: Hammond, Kevin; Aldinucci, Marco; Brown, Christopher; Cesarini, Francesco; Danelutto, Marco; González-Vélez, Horacio; Kilpatrick, Peter; Keller, Rainer; Rossbory, Michael; Shainer, Gilad

The ParaPhrase Project: Parallel patterns for adaptive heterogeneous multicore systems

Published in: Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, Year: 2013

Authors: Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina

A formal foundation for dynamic delta-oriented software product lines

Published in: ACM SIGPLAN NOTICES, 

titoloEvento: 11th International Conference on Generative Programming and Component Engineering (GPCE'12)

Year: 2013