WE ARE HIRING! If you are Research Engineers, Ph.D. Candidates and Post-Doctoral Researchers send your CV to alpha@di.unito.it

Publications

2027
Euro-Par 2026: Parallel Processing - 32nd European Conference on Parallel and Distributed Processing, Pisa, Italy, August 24-28, 2026, Proceedings, Part I

Springer

Euro-Par 2026: Parallel Processing - 32nd European Conference on Parallel and Distributed Processing, Pisa, Italy, August 24-28, 2026, Proceedings, Part II

Springer

2026
Optimizing the Execution Strategy of Node-Local Quantum Decision Trees via Circuit Batching

Mario Bifulco, Luca Roversi

Accepted for publication in: Euro-Par 2026: Parallel Processing Workshops

Hypergraph Clustering via Quantum Optimization

Mario Bifulco, Doriana Medić, Alessia Antelmi, Marco Aldinucci

Accepted for publication in: Optimization and Decision Science Conference 2026: Book of Abstracts

TMPDiff: Temporal Mixed-Precision for Diffusion Models

Basile Lewandowski, Simon Kurz, Aditya Shankar, Robert Birke, Jian-Jia Chen, Lydia Y. Chen

arXiv preprint arXiv:2603.14062

Political Persuasion and Endorsement in Large Language Models

Alessia Antelmi, Alessia Galdeman, Lucio La Cava, Arianna Pera, Giovanni Da San Martino

arXiv preprint arXiv:2606.05961

Kenji-Endo: a BabyLM @EVALITA

Calogero Jerik Scozzaro, Matteo Rinaldi, Gianluca Mittone, Marco Antonio Stranisci

Proceedings of the Ninth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop (EVALITA 2026)

Digital Twins for Mission-Critical Infrastructures: A BIM-Based Framework for Real-Time Monitoring and Decision Support

Viviana Vaccaro, Lavinia Chiara Tagliabue, Robert Birke, Marco Aldinucci, Silvia Meschini

Proc. of Smart and Sustainable Built Environment Conference Series

DCs dyman hpc4ai
European Data Platform for HPC and AI: A Path to Data Sovereignty

Jean-Thomas Acquaviva, André Brinkmann, José Noudohouenou, George Markomanolis, Jesús Carretero, Javier Garcı́a-Blas, Marco Aldinucci, Felix Wolf, Erwin Laure, Sai Narasimhamurthy, Angelos Bilas, Philippe Deniel, Martin Barisits, Bryan Lawrence, Simon Smart, Valéry Guilleaume

admire hpc ICSC IT4LIA
Enhancing Datacenter Integration in the Built Environment through Digital Twins

Lavinia Chiara Tagliabue, Marco Aldinucci, Viviana Vaccaro, Silvia Meschini, Robert Birke

Proceedings of the Stati Generali del Patrimonio Industriale 2026

DCs dyman
LEED Certification and Data Centers: A Critical Assessment of Building Sustainability Rating Systems for HPC Facilities

Lavinia Chiara Tagliabue, Viviana Vaccaro, Alessandro Zichi, Robert Birke, Marco Aldinucci, Silvia Meschini

2026 34th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

DCs dyman
Preliminary Life Cycle Assessment of a HighPerformance Computing Data Center: A Case Study of the HPC4AI Facility at the University of Turin

Lavinia Chiara Tagliabue, Viviana Vaccaro, Alessadro Zichi, Robert Birke, Marco Aldinucci

2026 34th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

DCs dyman
Digital Twin for DCs: a Reference Architecture Based On BIM, IoT and Analytics Control

Silvia Meschini, Paola Gasbarri, Lavinia Chiara Tagliabue, Viviana Vaccaro, Robert Birke, Marco Aldinucci

34th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

DCs dyman
The Italian pathfinding strategy for RISC-V-based HPC: Progress within DARE-SGA1 project

Giovanni Agosta, Marco Aldinucci, Marcello Barbirotta, Andrea Bartolini, Laura Bellentani, Andrea Biagioni, Daniele Cattaneo, Daniele Cesarini, Carlotta Chiarini, Iacopo Colonnelli, Francesco Conti, Pietro Delugas, Lev Denisov, Ottorino Frezza, Angelo Garofalo, Marco Grangetto, Juan David Guerrero Balaguera, Francesca Lo Cicero, Alessandro Lonardo, Michele Martinelli, Andrea Maslov, Francesco Menichelli, Mauro Olivieri, Pierpaolo Perticaroli, Luca Pontisso, Cristian Rossi, Josie Esteban Rodriguez Condia, Daniele Rossi, Davide Rossi, Sergio Saponara, Antonio Sciarappa, Francesco Simula, Matteo Sonza Reorda, Gabriele Spadaro, Massimo Torquati, Piero Vicini

Microprocessors and Microsystems

capio dare jupyter-workflow streamflow
Three ways to share a QPU: Scheduling strategies for hybrid Quantum-HPC applications

Marco Cipollini, Simone Rizzo, Sergio Iserte, Paolo Viviani, Giacomo Vitali, Matteo Barbieri, Gabriella Bettonte, Elisabetta Boella, Fulvio Ganz, Roberto Rocco, Orazio Spina, Antonio J. Peña, Petter Sandås, Iacopo Colonnelli, Alberto Scionti, Chiara Vercellino, Emanuele Dri, Jonathan Frassineti, Sara Marzella, Andrea Muratori, Daniele Ottaviani, Olivier Terzo, Bartolomeo Montrucchio, Daniele Gregori

Future Generation Computer Systems

icsc streamflow
Hybrid Streaming Workflows for Scalable Visualization in Astronomy and Cosmology

Eva Sciacca, Nicola Tuccari, Marco Edoardo Santimaria, Valentina Cesare, Fabio Vitello, Alberto Mulone, Doriana Medić, Iacopo Colonnelli

SN Computer Science

icsc space streamflow
SuperHype: Hypergraph Generation via Graph-Superposition Decomposition

Lucas Gantes, Abele Mălan, Roberto Gheda, Robert Birke, Lydia Chen

Forty-third International Conference on Machine Learning

ai dyman
Modeling the impact of group interactions on climate-related opinion change in Reddit

Alessia Antelmi, Carmine Spagnuolo, Luca Maria Aiello

Online Social Networks and Media

analytics icsc IT4LIA
Mapping personality traits: A network approach to uncovering Personality Inventory for Diagnostic and Statistical Manual of Mental Disorders, fifth edition, Brief Form's factorial structure.

L. Oppici, A. Antelmi, C. Mazza, M. Monaro, F. Bosco, P. Roma

Personality Disorders: Theory, Research, and Treatment

analytics
Evaluating Portable Programming Models for Hypergraph Label Propagation on GPUs

Antonio De Caro, Dario De Maio, Francesco Monzillo, Alessia Antelmi, Biagio Cosenza

2026 34th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

analytics hpc icsc
The complex ecosystem of hyperprolific authors

Jussara M. Almeida, Alessia Antelmi, Marcos André Gonçalves, Maria Angela Pellegrino

Scientometrics

analytics icsc
When Curvature Counts: Hyperbolic Geometry in Prototype-Based Image Classification

Silvia Grosso, Samuele Fonio, Mirko Polato, Roberto Esposito, Sara Bouchenak

34th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN

ai icsc
The TEXTAROSSA project: Cool all the Way Down to the Hardware

Antonio Filgueras, Giovanni Agosta, Marco Aldinucci, Carlos Álvarez, Pasqua D'Ambra, Massimo Bernaschi, Andrea Biagioni, Daniele Cattaneo, Alessandro Celestini, Massimo Celino, Carlotta Chiarini, Francesca Lo Cicero, Paolo Cretaro, William Fornaciari, Ottorino Frezza, Andrea Galimberti, Francesco Giacomini, Juan Miguel Haro Ruiz, Francesco Iannone, Daniel Jaschke, Daniel Jiménez-González, Michał Kulczewski, Alberto Leva, Alessandro Lonardo, Michele Martinelli, Xavier Martorell, Simone Montangero, Lucas Morais, Ariel Oleksiak, Paolo Palazzari, Luca Pontisso, Federico Reghenzani, Cristian Rossi, Sergio Saponara, Carlo Saverio Lodi, Francesco Simula, Federico Terraneo, Piero Vicini, Miquel Vidal, Davide Zoni, Giuseppe Zummo

Microprocessors and Microsystems

icsc textarossa
Inference performance of large language models on a 64-core RISC-V CPU with silicon-enabled vectors

Adriano Marques Garcia, Giulio Malenza, Robert Birke, Marco Aldinucci

Future Gener. Comput. Syst.

dare icsc
A formal framework for fault tolerance in hybrid scientific workflows

Alberto Mulone, Doriana Medić, Iacopo Colonnelli, Marco Aldinucci

Future Generation Computer Systems

eupex icsc space streamflow
A comprehensive performance evaluation of TEEs for confidential DNA alignment

Lorenzo Brescia, Iacopo Colonnelli, Robert Birke, Valerio Schiavoni, Pascal Felber, Marco Aldinucci

Future Generation Computer Systems

confidential icsc
A terminology for scientific workflow systems

Frédéric Suter, Tainã Coleman, İlkay Altintaş, Rosa M. Badia, Bartosz Balis, Kyle Chard, Iacopo Colonnelli, Ewa Deelman, Paolo Di Tommaso, Thomas Fahringer, Carole Goble, Shantenu Jha, Daniel S. Katz, Johannes K"oster, Ulf Leser, Kshitij Mehta, Hilary Oliver, J.-Luc Peterson, Giovanni Pizzi, Lo"ic Pottier, Ra"ul Sirvent, Eric Suchyta, Douglas Thain, Sean R. Wilkinson, Justin M. Wozniak, Rafael Ferreira da Silva

Future Generation Computer Systems

streamflow
Dynamic transparent streaming in file-based workflows with CAPIO

Marco Edoardo Santimaria, Iacopo Colonnelli, Barbara Cantalupo, Massimo Torquati, Doriana Medić, Nicola Tuccari, Eva Sciacca, Marco Aldinucci

Future Generation Computer Systems

capio eupex icsc space
QSplit: A Workflow-Oriented Hybrid Quantum-Classical Optimization Framework

Mario Bifulco, Francesco Medina, Doriana Medic, Luca Roversi, Marco Aldinucci

Euro-Par 2026: Parallel Processing - 32nd European Conference on Parallel and Distributed Processing, Pisa, Italy, August 24-28, 2026, Proceedings, Part II

Reversible Computation with Stacks and "Reversible Management of Failures"

Matteo Palazzo, Luca Roversi

Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday, Logics and Type Theory 2026, Turin, Italy, 12th April 2026

Reversible Computation - 18th International Conference, RC 2026, Turin, Italy, July 9-10, 2026, Proceedings

Springer

Large-scale HPC approaches and applications on highly distributed platforms

Alessia Antelmi, Emanuele Carlini

Future Gener. Comput. Syst.

Thread Monitoring Tool: Transparent Characterization of Threading Patterns with eBPF

Marco Edoardo Santimaria, Adriano Marques Garcia, Giulio Malenza, Stefano Monaldi, Marco Aldinucci, Robert Birke

Lecture Notes in Computer Science

dare icsc
Hyperlink Prediction on Hypergraphs of Text

Alessia Antelmi, Tiziano Citro, Dario De Maio, Daniele De Vinco, Valerio Di Pasquale, Mirko Polato, Carmine Spagnuolo

Proceedings of the 35th ACM International Conference on Information and Knowledge Management

ai analytics IT4LIA
T2F: Forecasting Irregularly Sampled Time Series via Time Features

Consuelo Bridda, Doriana Medić, Lavinia Chiara Tagliabue, Robert Birke, Marco Aldinucci

Accepted for publication in: 2026 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS)

ai
Fast Federated Time Series Classification using Rocket Kernels and Closed-form Classifiers

Bruno Casella, Samuele Fonio, Lorenzo Sciandra, Marco Aldinucci, Claudio Gallicchio, Mirko Polato, Roberto Esposito

Data Mining and Knowledge Discovery

ai epi eupilot fl icsc
Experimenting with Federated Learning for Multivariate Time Series Classification

Bruno Casella, Lorenzo Sciandra

The 5th Italian Conference on Big Data and Data Science - ITADATA2026

ai epi eupilot icsc
Accelerating Sharded Data Parallelism at Scale with Federated Learning

Gianluca Mittone, Marco Aldinucci

Euro-Par 2026: Parallel Processing - 32nd European Conference on Parallel and Distributed Processing, Pisa, Italy, August 24-28, 2026, Proceedings, Part II

ai dyman fl hpc icsc space
A Lightweight Random Feature Framework for Efficient Image Classification

Luca Grandi, Loris Signoretti, Lorenzo Sciandra, Bruno Casella, Marco Aldinucci, Roberto Esposito

35th International Conference on Artificial Neural Networks – ICANN 2026

ai epi eupilot icsc
Towards User-Friendly HPC: A Web Platform for Hybrid Workflows

Tommaso Foglio Bonda, Ivan Lusso, Doriana Medić, Alessia Antelmi, Eva Sciacca, Nicola Tuccari, Fabio Vitello

Proceedings of the 18th International Workshop on Science Gateways (IWSG 2026)

hpc4ai space streamflow visivo
A Privacy-Preserving Hybrid Machine Learning Pipeline for Regulated Environments: Architecture and Evaluation

Roberto Bagnato, Doriana Medić, Luca Vollero, Anna Sabatini, Tommaso Foglio Bonda, Manuele Innocenti, Marco Aldinucci

2026 IEEE International Conference on Cyber Security and Resilience (CSR) Workshops (2P-DPA)

confidential hpc4ai streamflow
2025
Embedding-Aware Quantum-Classical SVMs for Scalable Quantum Machine Learning

Sebastián Andrés Cajas Ordóñez, Luis Fernando Torres Torres, Mario Bifulco, Carlos Andres Duran, Cristian Bosch, Ricardo Simon Carbajo

Proceedings of the 3rd International Workshop on AI for Quantum and Quantum for AI (AIQxQIA 2025)

Building an Accelerated OpenFOAM Proof-of-Concept Application using Modern C++

Giulio Malenza, Giovanni Stabile, Filippo Spiga, Robert Birke, Marco Aldinucci

arXiv preprint arXiv:2507.18268

Open Data in Education: Fostering Data Literacy Among High-school Learners

Maria Angela Pellegrino, Alessia Antelmi, Carmine Spagnuolo, Vittorio Scarano

Computer Supported Cooperative Work (CSCW)

analytics icsc opendata
Towards RISC-V-based HPC: The Italian Pathfinding Activities in the DARE-SGA1 Project

Giovanni Agosta, Marco Aldinucci, Andrea Bartolini, Laura Bellentani, Andrea Biagioni, Daniele Cesarini, Carlotta Chiarini, Iacopo Colonnelli, Pietro Delugas, Lev Denisov, Ottorino Frezza, Marco Grangetto, Francesca Lo Cicero, Alessandro Lonardo, Michele Martinelli, Andrea Maslov, Mauro Olivieri, Pierpaolo Perticaroli, Luca Pontisso, Cristian Rossi, Davide Rossi, Sergio Saponara, Antonio Sciarappa, Francesco Simula, Matteo Sonza Reorda, Massimo Torquati, Piero Vicini

28th Euromicro Conference on Digital System Design, DSD 2025

capio dare streamflow
Dynamic Solutions for Hybrid Quantum-HPC Resource Allocation

Roberto Rocco, Simone Rizzo, Matteo Barbieri, Gabriella Bettonte, Elisabetta Boella, Fulvio Ganz, Sergio Iserte, Antonio J. Peña, Petter Sandås, Alberto Scionti, Olivier Terzo, Chiara Vercellino, Giacomo Vitali, Paolo Viviani, Jonathan Frassineti, Sara Marzella, Daniele Ottaviani, Iacopo Colonnelli, Daniele Gregori

2025 IEEE International Conference on Quantum Computing and Engineering (QCE)

icsc streamflow
Collaborative and Confidential Junction Trees for Hybrid Bayesian Networks

Roberto Gheda, Abele Mălan, Thiago Guzella, Carlo Lancia, Robert Birke, Lydia Y. Chen

Proceedings of The Thirty-ninth Annual Conference on Neural Information Processing Systems

ai dyman icsc
Personalized Aggregation for Federated Prototypical Learning

Samuele Fonio, Bruno Casella, Marco Aldinucci

Proceedings of the ECML-PKDD Workshop, 3nd workshop on advancements in Federated Learning

epi icsc
Decentralized Time Series Classification with ROCKET Features

Bruno Casella, Matthias Jakobs, Marco Aldinucci, Sebastian Buschjaeger

Proceedings of the ECML-PKDD Workshop, 3nd workshop on advancements in Federated Learning

epi icsc
Overcoming Dynamic I/O Boundaries: a Double-Sided Streaming Methodology with dispel4py and CAPIO

Marco Edoardo Santimaria, Rosa Filgueira, Doriana Medić, Iacopo Colonnelli, Marco Aldinucci

Proceedings of the SC 25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis

capio dare icsc
A Simulation-Based Framework to Reduce I/O Contention in HPC

Simone Pernice, Ahmad Tarraf, Jean-Baptiste Besnard, Barbara Cantalupo, Alberto Cascajo, David E. Singh, Felix Wolf, Jesús Carretero, Sameer Shende, Marco Aldinucci

2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

admire
Dynamic Resources Management for Exascale in ADMIRE Framework

Jesus Carretero, David E. Singh, Javier Fernandez-Muñoz, Rocco Sedona, Simone Pernice, Barbara Cantalupo, Marco Aldinucci, Massimo Torquati, Ahmad Tarraf, Emmanuel Jeannot, Felix Wolf

Procedia Computer Science

admire
BookedSlurm: meeting user needs for advanced resource reservations in Slurm

Sandro Gepiro Contaldo, Lorenzo Bosio, Janneth Estefania Hoyos Rea, Elisa Li Perottino, Sergio Rabellino, Marco Aldinucci, Marco Beccuti, Iacopo Colonnelli

IEEE International Conference on eScience, eScience 2025

icsc
Fed2RC: Federated Rocket Kernels and Ridge Classifier for Time Series Classification

Bruno Casella, Samuele Fonio, Lorenzo Sciandra, Marco Aldinucci, Claudio Gallicchio, Mirko Polato, Roberto Esposito

28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)

epi fl icsc
Directed Acyclic Graph on Cross-Application Programmable I/O: Adding streaming flavour to scientific workflows

Simone Perrotta, Marco Edoardo Santimaria, Ciro Giuseppe De Vita, Massimo Torquati, Diana Di Luccio, Pasquale Corvino, Antonella Pirozzi, Raffaele Montella

2025 IEEE International Conference on eScience (eScience)

capio icsc
EuroHPC SPACE CoE: Redesigning Scalable Parallel Astrophysical Codes for Exascale. Invited Paper

Nitin Shukla, Alessandro Romeo, Caterina Caravita, Lubomir Riha, Ondrej Vysocky, Petr Strakos, Milan Jaros, João Barbosa, Radim Vavrı́k, Andrea Mignone, Marco Rossazza, Stefano Truzzi, Vittoria Berta, Iacopo Colonnelli, Doriana Medić, Elisabetta Boella, Daniele Gregori, Eva Sciacca, Luca Tornatore, Giuliano Taffoni, Pranab J. Deka, Fabio Bacchini, Rostislav-Paul Wilhelm, Georgios Doulis, Khalil Pierre, Luciano Rezzolla, Tine Colman, Benoı̂t Commerçon, Othman Bouizi, Matthieu Kuhn, Erwan Raffin, Marc Sergent, Robert Wissing, Guillermo Marin, Klaus Dolag, Geray S. Karademir, Gino Perna, Marisa Zanotti, Sebastian Trujillo-Gomez

Proceedings of the 22nd ACM International Conference on Computing Frontiers: Workshops and Special Sessions, CF 2025, Cagliari, Italy, May 28-30, 2025

space streamflow
End-To-End Confidentiality with Sev-Snp Leveraging in-Memory Storage

Lorenzo Brescia, Iacopo Colonnelli, Valerio Schiavoni, Pascal Felber, Marco Aldinucci

2025 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)

confidential icsc
Hypergraph Motif Representation Learning

Alessia Antelmi, Gennaro Cordasco, Daniele De Vinco, Valerio Di Pasquale, Mirko Polato, Carmine Spagnuolo

Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.1

analytics icsc
Empowering Data Literacy Among High School Learners

Alessia Antelmi, Pasquale Esposito

Methodologies and Intelligent Systems for Technology Enhanced Learning, Workshops - 14th International Conference

analytics icsc
Performance Portability Assessment in Gaia

Giulio Malenza, Valentina Cesare, Marco Edoardo Santimaria, Robert Birke, Alberto Vecchiato, Ugo Becciani, Marco Aldinucci

IEEE Transactions on Parallel and Distributed Systems

astro dyman HPC icsc
Streaming I/O for scientific workflow engine acceleration

Simone Perrotta, Ciro Giuseppe De Vita, Gennaro Mellone, Marco Edoardo Santimaria, Massimo Torquati, Javier Garcia Blas, Raffaele Montella

Future Generation Computer Systems

capio
Analysis of Model Parallelism for AI Applications on a 64-core RV64 Server CPU

Giulio Malenza, Adriano Marques Garcia, Robert Birke, Luca Benini, Marco Aldinucci

International Journal of Parallel Programming

dyman eupilot icsc riscv
Extending a Scientific Workflow Engine with Streaming I/O Capabilities: DAGonStar and CAPIO

Simone Perrotta, Ciro Giuseppe De Vita, Gennaro Mellone, Marco Edoardo Santimaria, Giuseppe Salvi, Marco Lapegna, Massimo Torquati, Angelo Ciaramella

Euro-Par 2024: Parallel Processing Workshops

capio
Sustainable-HPC: toward Digital Twin for active management of self-cooled data centers with Renewable Energy Sources and waste heat recovery

Silvia Meschini, Lavinia Chiara Tagliabue, Giuseppe Martino Di Giuda, Marco Aldinucci, Paola Gasbarri, Daniele Accardo

33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2025, Turin, Italy, March 12-14, 2025

DCs dyman
A Survey on Deep Learning Hardware Accelerators for Heterogeneous HPC Platforms

Cristina Silvano, Daniele Ielmini, Fabrizio Ferrandi, Leandro Fiorin, Serena Curzel, Luca Benini, Francesco Conti, Angelo Garofalo, Cristian Zambelli, Enrico Calore, Sebastiano Schifano, Maurizio Palesi, Giuseppe Ascia, Davide Patti, Nicola Petra, Davide De Caro, Luciano Lavagno, Teodoro Urso, Valeria Cardellini, Gian Carlo Cardarilli, Robert Birke, Stefania Perri

ACM Comput. Surv.

icsc riscv
Detective SAM: Adapting SAM to Localize Diffusion-based Forgeries via Embedding Artifacts

Gert Lek, Chaoyi Zhu, Pin-Yu Chen, Robert Birke, Lydia Y. Chen

ICML 2025 Workshop DIG-BUG

icsc
TabuLa: Harnessing Language Models for Tabular Data Synthesis

Zilong Zhao, Robert Birke, Lydia Y. Chen

Advances in Knowledge Discovery and Data Mining - 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025

Sustainable Data Centers: Advancing Energy Efficiency and Resource Optimization

Viviana Vaccaro, Lavinia Chiara Tagliabue, Marco Aldinucci

33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2025, Turin, Italy, March 12-14, 2025

DCs dyman HPC
Covariances computation in the Gaia AVU-GSR Parallel Solver with I/O techniques: a performance study as a function of writing cycle length

Valentina Cesare, Ugo Becciani, Alberto Vecchiato, Mario Gilberto Lattanzi, Marco Aldinucci, Beatrice Bucciarelli

33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2025, Turin, Italy, March 12-14, 2025

astro eupex HPC icsc
The Cloud-HPC infrastructure for Hazard Mapping and vulnerability Monitoring (HaMMon)

Mauro Imbrosciano, Eva Sciacca, Fabio Vitello, Leonardo Pelonero, Francesco Franchina, Ugo Becciani, Iacopo Colonnelli, Doriana Medić

2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

hpc4ai icsc jupyter-workflow streamflow system-sw
High Performance Visualization for Astrophysics and Cosmology

Nicola Tuccari, Eva Sciacca, Fabio Vitello, Iacopo Colonnelli, Yolanda Becerra, Enric Sosa Cintero, Guillermo Marin, Milan Jaros, Lubomir Riha, Petr Strakos, Sebastian Trujillo-Gomez, Emiliano Tramontana, Robert Wissing

2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

icsc space streamflow
Cloud Detection Challenge - Methods and Results

Alessio Barbaro Chisari, Luca Guarnera, Alessandro Ortis, Wladimiro Carlo Patatu, Bruno Casella, Luca Naso, Giuseppe Puglisi, Vincenzo Del Zoppo, Mario Valerio Giuffrida, Sebastiano Battiato

IEEE Access

ai
A performance analysis of VM-based Trusted Execution Environments for Confidential Federated Learning

Bruno Casella

2025 33rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)

epi icsc
HPC4AI@UNITO: A Use Case For Datacenter Digital Twin

Viviana Vaccaro, Robert Birke, Lavinia Chiara Tagliabue, Sergio Rabellino, Marco Aldinucci

2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

DCs dyman icsc
TabWak: A Watermark for Tabular Diffusion Models

Chaoyi Zhu, Jiayi Tang, Jeroen Galjaard, Pin-Yu Chen, Robert Birke, Cornelis Bos, Lydia Y. Chen

The Thirteenth International Conference on Learning Representations

dyman icsc
Towards a European HPC/AI ecosystem: a community-driven report

Petr Taborsky, Iacopo Colonnelli, Krzysztof Kurowski, Rakesh Sarma, Niels Henrik Pontoppidan, Branislav Jansı́k, Nicki Skafte Detlefsen, Jens Egholm Pedersen, Rasmus Larsen, Lars Kai Hansen

Procedia Computer Science

streamflow
CAPIO-CL: The CAPIO Coordination Language

Marco Edoardo Santimaria, Alberto R. Martinelli, Iacopo Colonnelli, Barbara Cantalupo, Massimo Torquati, Marco Aldinucci

International Journal of Parallel Programming

capio icsc
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows

Iacopo Colonnelli, Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci

Formal Methods. FM 2024

eupex icsc
Benchmarking Federated Learning Frameworks' Scalability

Gianluca Mittone, Samuele Fonio, Robert Birke, Marco Aldinucci

Proceedings of the 3rd Special Track on Big Data and High-Performance Computing (BigHPC 2025) co-located with the 4th Italian Conference on Big Data and Data Science (ITADATA 2025), Turin, Italy, September 9-11, 2025.

fl hpc icsc space
Hyperbolic Prototypical Entailment Cones for Image Classification

Samuele Fonio, Roberto Esposito, Marco Aldinucci

Proceedings of The 28th International Conference on Artificial Intelligence and Statistics

ai icsc
Partially typed multiparty sessions with internal delegation

Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini

J. Log. Algebraic Methods Program.

Open compliance in multiparty sessions with partial typing

Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini

J. Log. Algebraic Methods Program.

Termination of rewriting on reversible Boolean circuits as a free 3-category problem

Adriano Barile, Stefano Berardi, Luca Roversi

Theor. Comput. Sci.

Exploring an implementation of quantum learning pipeline for support vector machines

Mario Bifulco, Luca Roversi

Proceedings of the 3rd Special Track on Big Data and High-Performance Computing (BigHPC 2025) co-located with the 4th Italian Conference on Big Data and Data Science (ITADATA 2025), Turin, Italy, September 9-11, 2025

Towards a Characterization of Two-Way Bijections in a Reversible Computational Model

Matteo Palazzo, Luca Roversi

Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings

Exploring Topologies in Quantum Annealing: A Hardware-Aware Perspective

Mario Bifulco, Luca Roversi

CoRR

Characterizing swing voters in online social media: the case of the 2022 Italian elections

Alessia Antelmi, Lucio La Cava, Arianna Pera

Soc. Netw. Anal. Min.

A Tutorial on Hypergraph Neural Networks: An In-Depth and Step-By-Step Guide

Sunwoo Kim, Soo Yong Lee, Yue Gao, Alessia Antelmi, Mirko Polato, Kijung Shin

Proceedings of the 34th ACM International Conference on Information and Knowledge Management, CIKM 2025, Seoul, Republic of Korea, November 10-14, 2025

Stay and Play - Modeling Social Influence of Players in the Steam Gaming Community

Enrica Loria, Alessia Antelmi, Carmine Spagnuolo, Johanna Pirker

Entertainment Computing - ICEC 2025 - 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedings

Proceedings of the 3rd Special Track on Big Data and High-Performance Computing (BigHPC 2025) co-located with the 4th Italian Conference on Big Data and Data Science (ITADATA 2025), Turin, Italy, September 9-11, 2025

CEUR-WS.org

The Complex Ecosystem of Hyperprolific Authors - Replication Package (Version 1)

Jussara M. Almeida, Alessia Antelmi, Marcos André Gonçalves, Maria Angela Pellegrino

Zenodo

The Complex Ecosystem of Hyperprolific Authors - Replication Package (Version 2)

Jussara M. Almeida, Alessia Antelmi, Marcos André Gonçalves, Maria Angela Pellegrino

Zenodo

Accelerating SWIRL Workflows: A High-Performance Rust Backend for Distributed Execution

Tommaso Foglio Bonda, Doriana Medić, Alberto Mulone, Marco Aldinucci

Euro-Par 2025: Parallel Processing Workshops (HiPES 2025)

eupex icsc streamflow swirl
2024
Analysis and Contributions to an Open Source Kyber Library in Rust

Francesco Medina, Maria Chiara Molteni, Antonio Jose Di Scala, Lorenzo Nava

2024 IEEE 29th Symposium on Computers and Communications (ISCC)

The Gaia AVU–GSR solver: CPU+GPU parallel solutions for linear systems solving and covariances calculation toward Exascale systems

Valentina Cesare, Ugo Becciani, Alberto Vecchiato, Mario Gilberto Lattanzi, Marco Aldinucci, Beatrice Bucciarelli

Software and Cyberinfrastructure for Astronomy VIII

astro HPC
Performance portability via C++ PSTL, SYCL, OpenMP, and HIP: the Gaia AVU-GSR case study

Giulio Malenza, Valentina Cesare, Marco Edoardo Santimaria, Robert Birke, Alberto Vecchiato, Ugo Becciani, Marco Aldinucci

SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis

astro eupex icsc
KGSnap! in Practice: a Block-based Programming Environment for Enabling Knowledge Graph Literacy

Alessia Antelmi, Vincenzo Offertucci, Maria Angela Pellegrino

Proceedings of the 9th International Workshop on the Visualization and Interaction for Ontologies, Linked Data and Knowledge Graphs co-located with the 23rd International Semantic Web Conference (ISWC 2024)

analytics
High-Performance Computation on a Rust-based distributed ABM engine

Daniele De Vinco, Andrea Tranquillo, Alessia Antelmi, Carmine Spagnuolo, Vittorio Scarano

Proceedings of BigHPC2024: Special Track on Big Data and High-Performance Computing, co-located with the 3ʳᵈ Italian Conference on Big Data and Data Science, ITADATA2024

analytics icsc
Federated AdaBoost for Survival Analysis

Oussama Harrak, Bruno Casella, Samuele Fonio, Piero Fariselli, Gianluca Mittone, Tiziana Sanavia, Marco Aldinucci

Proceedings of the ECML-PKDD Workshop, 2nd workshop on advancements in Federated Learning

ai epi fl icsc
Assessing Large Language Models Inference Performance on a 64-core RISC-V CPU with Silicon-Enabled Vectors

Adriano Marques Garcia, Giulio Malenza, Robert Birke, Marco Aldinucci

Proceedings of BigHPC2024: Special Track on Big Data and High-Performance Computing, co-located with the 3ʳᵈ Italian Conference on Big Data and Data Science, ITADATA2024

eupilot icsc
Performance Analysis on DNA Alignment Workload with Intel SGX Multithreading

Lorenzo Brescia, Iacopo Colonnelli, Marco Aldinucci

Proceedings of BigHPC2024: Special Track on Big Data and High-Performance Computing, co-located with the 3ʳᵈ Italian Conference on Big Data and Data Science, ITADATA2024

confidential icsc
Federated Learning in a Semi-Supervised Environment for Earth Observation Data

Bruno Casella, Alessio Barbaro Chisari, Marco Aldinucci, Sebastiano Battiato, Mario Valerio Giuffrida

Proceedings of the 32nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN

ai epi icsc
Federated Time Series Classification with ROCKET features

Bruno Casella, Jakobs Matthias, Marco Aldinucci, Sebastian Buschjager

Proceedings of the 32nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN

ai epi icsc
A Survey on Hypergraph Neural Networks: An In-Depth and Step-By-Step Guide

Sunwoo Kim, Soo Yong Lee, Yue Gao, Alessia Antelmi, Mirko Polato, Kijung Shin

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

ai analytics icsc
Recording provenance of workflow runs with RO-Crate

Simone Leo, Michael R. Crusoe, Laura Rodríguez-Navas, Ra"ul Sirvent, Alexander Kanitz, Paul De Geest, Rudolf Wittner, Luca Pireddu, Daniel Garijo, José M. Fernández, Iacopo Colonnelli, Matej Gallo, Tazro Ohta, Hirotaka Suetake, Salvador Capella-Gutierrez, Renske Wit, Bruno P. Kinoshita, Stian Soiland-Reyes

PLoS ONE

across eupex icsc streamflow
A Fault Tolerance mechanism for Hybrid Scientific Workflows

Alberto Mulone, Doriana Medić, Marco Aldinucci

1st workshop about High-Performance e-Science (HiPES)

eupex icsc streamflow
Cross-Facility Federated Learning

Iacopo Colonnelli, Robert Birke, Giulio Malenza, Gianluca Mittone, Alberto Mulone, Jeroen Galjaard, Lydia Y. Chen, Sanzio Bassini, Gabriella Scipione, Jan Martinovič, Vit Vondrák, Marco Aldinucci

Procedia Computer Science

fl hpc icsc space streamflow
A Convolutional-Transformer Model for FFR and iFR Assessment from Coronary Angiography

Raffaele Mineo, Federica Proietto Salanitri, Giovanni Bellitto, Isaak Kavasidis, Ovidio. De Filippo, Michele Millesimo, Gaetano Maria Ferrari, Marco Aldinucci, Daniela Giordano, Simone Palazzo, Fabrizio D'Ascenzo, Concetto Spampinato

IEEE Transaction on Medical Imaging

ai cardio
CLUES: Collusive Theft of Conditional Generative Adversarial Networks

Simon Queyrut, Robert Birke, Pascal Felber, Valerio Schiavon

43rd International Symposium on Reliable Distributed Systems SRDS

ai icsc
Secure Generic Remote Workflow Execution with TEEs

Lorenzo Brescia, Marco Aldinucci

Proc. of the 2nd Workshop on Workflows in Distributed Environments (WiDE)

confidential icsc
Experimenting With Normalization Layers in Federated Learning on Non-IID Scenarios

Bruno Casella, Roberto Esposito, Antonio Sciarappa, Carlo Cavazzoni, Marco Aldinucci

IEEE Access

ai epi icsc
Toward HPC application portability via C++ PSTL: the Gaia AVU-GSR code assessment

Giulio Malenza, Valentina Cesare, Marco Aldinucci, Ugo Becciani, Alberto Vecchiato

The Journal of Supercomputing

astro eupex HPC icsc
Benchmarking Parallelization Models through Karmarkar Interior-point method

Marco Edoardo Santimaria, Samuele Fonio, Giulio Malenza, Iacopo Colonnelli, Marco Aldinucci

Proc. of 32nd Euromicro intl. Conference on Parallel, Distributed and Network-based Processing (PDP)

HPC icsc
DALLMi: Domain Adaption for LLM-Based Multi-label Classifier

Miruna Betianu, Abele Malan, Marco Aldinucci, Robert Birke, Lydia Y. Chen

Proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining

ai eupilot icsc
On Dark Knowledge for Distilling Generators

Chi Hong, Robert Birke, Pin-Yu Chen, Lydia Y. Chen

Proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining

ai epi icsc
A Performance Analysis for Confidential Federated Learning

Bruno Casella, Iacopo Colonnelli, Gianluca Mittone, Robert Birke, Walter Riviera, Antonio Sciarappa, Carlo Cavazzoni, Marco Aldinucci

Proceedings of the 2024 Deep Learning Security and Privacy Workshop, IEEE Symposium on Security and Privacy 2024

confidential epi fl icsc
Performance and programmability of GrPPI for parallel stream processing on multi-cores

Adriano Marques Garcia, Dalvan Griebler, Claudio Schepke, José Daniel García, Javier Fernández Muñoz, Luiz Gustavo Fernandes

The Journal of Supercomputing

admire
Deciphering Conversational Networks: Stance Detection via Hypergraphs and LLMs

Daniele De Vinco, Alessia Antelmi, Carmine Spagnuolo, Luca Maria Aiello

Companion Publication of the 16th ACM Web Science Conference

analytics icsc
HypergraphRepository: A Community-Driven and Interactive Hypernetwork Data Collection

Alessia Antelmi, Daniele De Vinco, Carmine Spagnuolo

Modelling and Mining Networks

analytics icsc
Analyzing FOSS license usage in publicly available software at scale via the SWH-analytics framework

Alessia Antelmi, Massimo Torquati, Giacomo Corridori, Daniele Gregori, Francesco Polzella, Gianmarco Spinatelli, Marco Aldinucci

The Journal of Supercomputing

analytics icsc
Reliable and Efficient Agent-Based Modeling and Simulation

Alessia Antelmi, Pasquale Caramante, Gennaro Cordasco, Giuseppe D'Ambrosio, Daniele De Vinco, Francesco Foglia, Luca Postiglione, Carmine Spagnuolo

Journal of Artificial Societies and Social Simulation

analytics icsc
Protocol for training MERGE: A federated multi-input neural network for COVID-19 prognosis

Bruno Casella, Walter Riviera, Marco Aldinucci, Gloria Menegaz

STAR Protocols

epi icsc
Distributed Edge Inference: an Experimental Study on Multiview Detection

Gianluca Mittone, Giulio Malenza, Marco Aldinucci, Robert Birke

Proc. of the 16th IEEE/ACM Intl. Conference on Utility and Cloud Computing Companion (UCC)

eupilot fl icsc
FedER: Federated Learning through Experience Replay and Privacy-Preserving Data Synthesis

Matteo Pennisi, Federica Proietto Salanitri, Giovanni Bellitto, Bruno Casella, Marco Aldinucci, Simone Palazzo, Concetto Spampinato

Computer Vision and Image Understanding

ai
FedHP: Federated Learning with Hyperspherical Prototypical Regularization

Samuele Fonio, Mirko Polato, Roberto Esposito

32nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, (ESANN)

ai icsc
Efficiently Distributed Federated Learning

Gianluca Mittone, Robert Birke, Marco Aldinucci

Euro-Par 2023: Parallel Processing Workshops

eupilot fl hpc icsc
An ambient assisted living architecture for hospital at home coupled with a process-oriented perspective

Emilio Sulis, Ilaria Angela Amantea, Marco Aldinucci, Guido Boella, Renata Marinello, Marco Grosso, Paolo Platter, Serena Ambrosini

Journal of Ambient Intelligence and Humanized Computing

ai
CTAB-GAN+: enhancing tabular data synthesis

Zilong Zhao, Aditya Kunar, Robert Birke, Hiek Van der Scheer, Lydia Y. Chen

Frontiers Big Data

ai
Guest Editorial: Special section on Networks, Systems, and Services Operations and Management Through Intelligence

Nur Zincir-Heywood, Robert Birke, Elias Bou-Harb, Takeru Inoue, Neeraj Kumar, Hanan Lutfiyya, Deepak Puthal, Abdallah Shami, Natalia Stakhanova

IEEE Trans. Netw. Serv. Manag.

ai
Artifact for paper "Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows" (Version 1)

Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci

Zenodo

Certifying expressive power and algorithms of reversible primitive permutations with Lean

Giacomo Maletto, Luca Roversi

J. Log. Algebraic Methods Program.

Host-Core Calculi for Non-classical Computations: A First Insight

Matteo Palazzo, Luca Paolini, Luca Roversi, Margherita Zorzi

Proceedings of the 25th Italian Conference on Theoretical Computer Science, Torino, Italy, September 11-13, 2024

Algorithmically Expressive, Always-Terminating Model for Reversible Computation

Matteo Palazzo, Luca Roversi

Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings

Proceedings of the 25th Italian Conference on Theoretical Computer Science, Torino, Italy, September 11-13, 2024

CEUR-WS.org

Quantum-Classical Sentiment Analysis

Mario Bifulco, Luca Roversi

CoRR

Proceedings of the 2nd Special Track on Big Data and High-Performance Computing (BigHPC 2024) co-located with the 3rd Italian Conference on Big Data and Data Science (ITADATA 2024), Pisa, Italy, September 17-19, 2024

CEUR-WS.org

Finding Hidden Swing Voters in the 2022 Italian Elections Twitter Discourse

Alessia Antelmi, Lucio La Cava, Arianna Pera

CoRR

Pushing Federated Learning Boundaries: Three Innovative Distributed Intelligence Approaches

Gianluca Mittone

Computer Science Dept., University of Turin

ai fl
2023
Micro-batch and data frequency for stream processing on multi-cores

Adriano Marques Garcia, Dalvan Griebler, Claudio Schepke, Luiz Gustavo Fernandes

The Journal of Supercomputing

parallel
A Latency, Throughput, and Programmability Perspective of GrPPI for Streaming on Multi-cores

Adriano Marques Garcia, Dalvan Griebler, Claudio Schepke, André Sacilotto Santos, José Daniel García, Javier Fernández Muñoz, Luiz Gustavo Fernandes

31st Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)

admire
Tell Me Who You Are and I Will Predict Your Vulnerability to Political Persuasion Techniques

Alessia Antelmi, Luca La Cava, Arianna Pera

The 12th International Conference on Complex Networks and their Applications-Book of Abstracts

analytics icsc
Finding Hidden Swingers in the 2022 Italian Elections Twitter Discourse

Alessia Antelmi, Luca La Cava, Arianna Pera

The 12th International Conference on Complex Networks and their Applications-Book of Abstracts

analytics icsc
The SWH-Analytics Framework

Alessia Antelmi, Massimo Torquati, Daniele Gregori, Francesco Polzella, Gianmarco Spinatelli, Marco Aldinucci

Proceedings of the 2nd Italian Conference on Big Data and Data Science (ITADATA 2023), Naples, Italy, September 11-13, 2023

admire analytics icsc
Workflow Models for Heterogeneous Distributed Systems

Iacopo Colonnelli

Proceedings of the 2nd Italian Conference on Big Data and Data Science (ITADATA 2023), Naples, Italy, September 11-13, 2023

across eupex icsc jupyter-workflow streamflow
Predicting Cryptocurrencies Market Phases through On-Chain Data Long-Term Forecasting

Bruno Casella, Lorenzo Paletto

Proceedings of the 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-5 May 2023, Dubai

epi icsc
Architecture-Based FedAvg for Vertical Federated Learning

Bruno Casella, Samuele Fonio

Proceedings of the 3rd Workshop on Distributed Machine Learning for the Intelligent Computing Continuum (DML-ICC), IEEE/ACM UCC 2023, Taormina, Italy, 4 December 2023

ai epi icsc
Experience Replay as an Effective Strategy for Optimizing Decentralized Federated Learning

Matteo Pennisi, Federica Proietto Salanitri, Giovanni Bellitto, Bruno Casella, Marco Aldinucci, Simone Palazzo, Concetto Spampinato

Proceedings of the 1st Workshop on Visual Continual Learning, ICCV 2023, Paris, France, 2 October 2023

ai
GDTS: GAN-based Distributed Tabular Synthesizer

Zilong Zhao, Robert Birke, Lydia Y. Chen

16th IEEE International Conference on Cloud Computing (CLOUD)

ai
CAPIO: a Middleware for Transparent I/O Streaming in Data-Intensive Workflows

Alberto R. Martinelli, Massimo Torquati, Marco Aldinucci, Iacopo Colonnelli, Barbara Cantalupo

2023 IEEE 30th International Conference on High Performance Computing, Data, and Analytics (HiPC)

admire capio eupex icsc
Parallelising an Aggregate Programming Framework with Message-Passing Interface

Giorgio Audrito, Alberto R. Martinelli, Gianluca Torta

2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)

HPC
Forecasting the Risk of Heart Failure Hospitalization After Acute Coronary Syndromes: the CORALYS HF Score

Fabrizio D'Ascenzo, Enrico Fabris, Caterina Gregorio, Gianluca Mittone, Ovidio De Filippo, Wojciech Wańha, Sergio Leonardi, Sergio Raposeiras Roubin, Alessandra Chinaglia, Alessandra Truffa, Zenon Huczek, Nicola Gaibazzi, Alfonso Ielasi, Bernardo Cortese, Andrea Borin, Beniamino Pagliaro, Iván J. Núñez-Gil, Fabrizio Ugo, Giorgio Marengo, Lucia Barbieri, Federico Marchini, Piotr Desperak, Marı́a Melendo-Viu, Claudio Montalto, Matteo Bianco, Francesco Bruno, Massimo Mancone, Marcos Ferrandez-Escarabajal, Nuccia Morici, Marco Scaglione, Domenico Tuttolomondo, Mariusz Gąsior, Maciej Mazurek, Guglielmo Gallone, Gianluca Campo, Wojciech Wojakowski, Emad Abu Assi, Giulio Stefanini, Gianfranco Sinagra, Gaetano Maria Ferrari

The American Journal of Cardiology

ai cardio
MERGE: A model for multi-input biomedical federated learning

Bruno Casella, Walter Riviera, Marco Aldinucci, Gloria Menegaz

Patterns

ai epi icsc
A Systematic Mapping Study of Italian Research on Workflows

Marco Aldinucci, Elena Maria Baralis, Valeria Cardellini, Iacopo Colonnelli, Marco Danelutto, Sergio Decherchi, Giuseppe Di Modica, Luca Ferrucci, Marco Gribaudo, Francesco Iannone, Marco Lapegna, Doriana Medić, Giuseppa Muscianisi, Francesca Righetti, Eva Sciacca, Nicola Tonellotto, Mauro Tortonesi, Paolo Trunfio, Tullio Vardanega

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023

icsc jupyter-workflow streamflow
Hercules: Scalable and Network Portable In-Memory Ad-Hoc File System for Data-Centric and High-Performance Applications

Javier Garcia-Blas, Genaro Sanchez-Gallegos, Cosmin Petre, Alberto R. Martinelli, Marco Aldinucci, Jesus Carretero

Euro-Par 2023: Parallel Processing

admire hpc
Adaptive multi-tier intelligent data manager for Exascale

Jesus Carretero, Javier Garcia-Blas, Marco Aldinucci, Jean Baptiste Besnard, Jean-Thomas Acquaviva, André Brinkmann, Marc-André Vef, Emmanuel Jeannot, Alberto Miranda, Ramon Nou, Morris Riedel, Massimo Torquati, Felix Wolf

20th ACM International Conference on Computing Frontiers (CF '23)

admire
FCT-GAN: Enhancing Global Correlation of Table Synthesis via Fourier Transform

Zilong Zhao, Robert Birke, Lydia Y. Chen

32nd ACM International Conference on Information and Knowledge Management (CIKM '23)

icsc
Experimenting with PyTorch on RISC-V

Iacopo Colonnelli, Robert Birke, Marco Aldinucci

RISC-V Summit Europe 2023

eupilot icsc riscv
The MPI + CUDA Gaia AVU–GSR Parallel Solver Toward Next-generation Exascale Infrastructures

Valentina Cesare, Ugo Becciani, Alberto Vecchiato, Mario Gilberto Lattanzi, Fabio Pitari, Marco Aldinucci, Beatrice Bucciarelli

Publications of the Astronomical Society of the Pacific

HPC
Boosting Methods for Federated Learning

Roberto Esposito, Mirko Polato, Marco Aldinucci

Proc. of the 31th Italian Symposium on Advanced Database Systems,SEBD 2023

ai eupilot
Gradual Guarantee for FJ with lambda-Expressions

Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023

admire icsc
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters

William Fornaciari, Federico Reghenzani, Federico Terraneo, Davide Baroffio, Cecilia Metra, Martin Omana, Josie E. Rodriguez Condia, Matteo Sonza Reorda, Robert Birke, Iacopo Colonnelli, Gianluca Mittone, Marco Aldinucci, Gabriele Mencagli, Francesco Iannone, Filippo Palombi, Giuseppe Zummo, Daniele Cesarini, Federico Tesser

Embedded Computer Systems: Architectures, Modeling, and Simulation - 23rd International Conference, SAMOS 2023

hpc icsc riscv
Hierarchical priors for Hyperspherical Prototypical Networks

Samuele Fonio, Lorenzo Paletto, Mattia Cerrato, Dino Ienco, Roberto Esposito

31th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN

ai icsc
Benchmarking Federated Learning Frameworks for Medical Imaging Tasks

Samuele Fonio

Image Analysis and Processing - ICIAP 2023 Workshops. ICIAP 2023

ai eupilot icsc
A Survey on Hypergraph Representation Learning

Alessia Antelmi, Gennaro Cordasco, Mirko Polato, Vittorio Scarano, Carmine Spagnuolo, Dingqi Yang

ACM Comput. Surv.

analytics
Towards Unraveling Developers Communities in Stack Overflow and Reddit

Alessia Antelmi, Daniele De Vinco, Gennaro Cordasco, Carmine Spagnuolo

International Conference on Computational Social Science 2023

analytics icsc
Engagement in Open Data Workshops: The dark side of remote settings

Alessia Antelmi

Methodologies and Intelligent Systems for Technology Enhanced Learning, 12th International Conference

analytics icsc
Towards formal model for location aware workflows

Doriana Medić, Marco Aldinucci

47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023

eupex icsc semantics
Porting the Variant Calling Pipeline for NGS data in cloud-HPC environment

Alberto Mulone, Sherine Awad, Davide Chiarugi, Marco Aldinucci

47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023

across icsc streamflow
Predictors of target lesion failure after treatment of left main, bifurcation, or chronic total occlusion lesions with ultrathin-strut drug-eluting coronary stents in the ULTRA registry

Ovidio De Filippo, Francesco Bruno, Tineke H. Pinxterhuis, Mariusz Gasior, Leor Perl, Luca Gaido, Domenico Tuttolomondo, Antonio Greco, Roberto Verardi, Gianluca Lo Martire, Mario Iannaccone, Attilio Leone, Gaetano Liccardo, Serena Caglioni, Rocio González Ferreiro, Giulio Rodinò, Giuseppe Musumeci, Giuseppe Patti, Irene Borzillo, Giuseppe Tarantini, Wojciech Wańha, Bruno Casella, Eline H Ploumen, Lukasz Pyka, Ran Kornowski, Andrea Gagnor, Raffaele Piccolo, Sergio Raposeiras Roubin, Davide Capodanno, Paolo Zocca, Federico Conrotto, Gaetano Maria Ferrari, Clemens Birgelen, Fabrizio D'Ascenzo

Catheterization and Cardiovascular Interventions

ai cardio
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum

Marco Aldinucci, Robert Birke, Antonio Brogi, Emanuele Carlini, Massimo Coppola, Marco Danelutto, Patrizio Dazzi, Luca Ferrucci, Forti Stefano, Hanna Kavalionak, Gabriele Mencagli, Matteo Mordacchin, Marcelo Pasin, Federica Paganelli, Massimo Torquati

2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC)

icsc
Exploring and Exploiting Data-Free Model Stealing

Chi Hong, Jiyue Huang, Robert Birke, Lydia Y. Chen

European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD)

eupilot icsc
Real-life Pilot of Virtual Protection and Control - Experiences and Performance Analysis

Jani Valtari, Anna Kulmala, Sandro Schönborn, David Khozaya, Robert Birke, Reikko Jyrki

27th International Conference on Electricity Distribution (CIRED)

RT
Real-Time Performance of Virtualised Protection and Control Software

Sandro Schönborn, Robert Birke, David Kozhaya, Thanikesavan Sivanthi

27th International Conference on Electricity Distribution (CIRED)

RT
Model-Agnostic Federated Learning

Gianluca Mittone, Walter Riviera, Iacopo Colonnelli, Robert Birke, Marco Aldinucci

Euro-Par 2023: Parallel Processing

eupilot fl icsc riscv
Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning

Gianluca Mittone, Nicolò Tonci, Robert Birke, Iacopo Colonnelli, Doriana Medić, Andrea Bartolini, Roberto Esposito, Emanuele Parisi, Francesco Beneventi, Mirko Polato, Massimo Torquati, Luca Benini, Marco Aldinucci

20th ACM International Conference on Computing Frontiers (CF '23)

eupilot fl hpc icsc riscv
A Federated Learning Benchmark for Drug-Target Interaction

Gianluca Mittone, Filip Svoboda, Marco Aldinucci, Nicholas D. Lane, Pietro Liò

Companion Proceedings of the ACM Web Conference 2023 (WWW '23 Companion)

eupilot fl icsc
Federated Learning meets HPC and cloud

Iacopo Colonnelli, Bruno Casella, Gianluca Mittone, Yasir Arfat, Barbara Cantalupo, Roberto Esposito, Alberto R. Martinelli, Doriana Medić, Marco Aldinucci

Astrophysics and Space Science Proceedings

across eupilot fl streamflow
Pooling critical datasets with Federated Learning

Yasir Arfat, Gianluca Mittone, Iacopo Colonnelli, Fabrizio D'Ascenzo, Roberto Esposito, Marco Aldinucci

31st Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2023

admire cardio fl
Bringing Cell Subpopulation Discovery on a Cloud-HPC Using rCASC and StreamFlow

Sandro Gepiro Contaldo, Luca Alessandri, Iacopo Colonnelli, Marco Beccuti, Marco Aldinucci

Single Cell Transcriptomics: Methods and Protocols

streamflow
Robust Learning via Golden Symmetric Loss of (un)Trusted Labels

Amirmasoud Ghiassi, Robert Birke, Lydia Y. Chen

SDM '23: SIAM International Conference on Data Mining

textarossa
At School of Open Data: A Literature Review

Maria Angela Pellegrino, Alessia Antelmi

Proceedings of the 15th International Conference on Computer Supported Education, CSEDU 2023, Prague, Czech Republic, April 21-23, 2023, Volume 2

The Age of Snippet Programming: Toward Understanding Developer Communities in Stack Overflow and Reddit

Alessia Antelmi, Gennaro Cordasco, Daniele De Vinco, Carmine Spagnuolo

Companion Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023

2022
SPBench: a framework for creating benchmarks of stream processing applications

Adriano Marques Garcia, Dalvan Griebler, Claudio Schepke, Luiz Gustavo Fernandes

Computing

parallel
Evaluating Micro-batch and Data Frequency for Stream Processing Applications on Multi-cores

Adriano Marques Garcia, Dalvan Griebler, Claudio Schepke, Luiz Gustavo Fernandes

30th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)

parallel
Neural Transformers for Intraductal Papillary Mucosal Neoplasms (IPMN) Classification in MRI images

Federica Proietto Salanitri, Giovanni Bellitto, Simone Palazzo, Ismail Irmakci, Michael B. Wallace, Candice W. Bolan, Megan Engels, Sanne Hoogenboom, Marco Aldinucci, Ulas Bagci, Daniela Giordano, Concetto Spampinato

44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2022, Glasgow, Scotland, United Kingdom, July 11-15, 2022

hpc4ai
The Gaia AVU-GSR parallel solver: Preliminary studies of a LSQR-based application in perspective of exascale systems

Valentina Cesare, Ugo Becciani, Alberto Vecchiato, Mario Gilberto Lattanzi, Fabio Pitari, Mario Raciti, Giuseppe Tudisco, Marco Aldinucci, Beatrice Bucciarelli

Astronomy and Computing

astro eupex
Hybrid Workflows For Large - Scale Scientific Applications

Iacopo Colonnelli, Marco Aldinucci

Sixth EAGE High Performance Computing Workshop

across eupex
Towards EXtreme scale technologies and accelerators for euROhpc hw/Sw supercomputing applications for exascale: The TEXTAROSSA approach

Giovanni Agosta, Marco Aldinucci, Carlos Alvarez, Roberto Ammendola, Yasir Arfat, Olivier Beaumont, Massimo Bernaschi, Andrea Biagioni, Tommaso Boccali, Berenger Bramas, Carlo Brandolese, Barbara Cantalupo, Mauro Carrozzo, Daniele Cattaneo, Alessandro Celestini, Massimo Celino, Iacopo Colonnelli, Paolo Cretaro, Pasqua D'Ambra, Marco Danelutto, Roberto Esposito, Lionel Eyraud-Dubois, Antonio Filgueras, William Fornaciari, Ottorino Frezza, Andrea Galimberti, Francesco Giacomini, Brice Goglin, Daniele Gregori, Abdou Guermouche, Francesco Iannone, Michal Kulczewski, Francesca Lo Cicero, Alessandro Lonardo, Alberto R. Martinelli, Michele Martinelli, Xavier Martorell, Giuseppe Massari, Simone Montangero, Gianluca Mittone, Raymond Namyst, Ariel Oleksiak, Paolo Palazzari, Pier Stanislao Paolucci, Federico Reghenzani, Cristian Rossi, Sergio Saponara, Francesco Simula, Federico Terraneo, Samuel Thibault, Massimo Torquati, Matteo Turisini, Piero Vicini, Miquel Vidal, Davide Zoni, Giuseppe Zummo

Microprocessors and Microsystems

hpc system-sw textarossa
Benchmarking FedAvg and FedCurv for Image Classification Tasks

Bruno Casella, Roberto Esposito, Carlo Cavazzoni, Marco Aldinucci

Proceedings of the 1st Italian Conference on Big Data and Data Science, ITADATA 2022, September 20-21, 2022

eupilot
Boosting the Federation: Cross-Silo Federated Learning without Gradient Descent

Mirko Polato, Roberto Esposito, Marco Aldinucci

Intl. Joint Conference on Neural Networks (IJCNN)

ai eupilot hpc4ai
The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures

Marco Aldinucci, David Atienza, Federico Bolelli, Mónica Caballero, Iacopo Colonnelli, José Flich, Jon Ander Gómez, David González, Costantino Grana, Marco Grangetto, Simone Leo, Pedro López, Dana Oniga, Roberto Paredes, Luca Pireddu, Eduardo Quiñones, Tatiana Silva, Enzo Tartaglione, Marina Zapater

Technologies and Applications for Big Data Value

deephealth streamflow
Transfer Learning via Test-time Neural Networks Aggregation

Bruno Casella, Alessio Chisari, Sebastiano Battiato, Mario Giuffrida

Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022, Volume 5: VISAPP, Online Streaming, February 6-8, 2022

ai
The DeepHealth HPC Infrastructure: Leveraging Heterogenous HPC and Cloud Computing Infrastructures for IA-based Medical Solutions

Eduardo Quiñones, Jesus Perales, Jorge Ejarque, Asaf Badouh, Santiago Marco, Fabrice Auzanneau, François Galea, David González, José Ramón Hervás, Tatiana Silva, Iacopo Colonnelli, Barbara Cantalupo, Marco Aldinucci, Enzo Tartaglione, Rafael Tornero, José Flich, Jose Maria Martinez, David Rodriguez, Izan Catalán, Jorge Garcia, Carles Hernández

HPC, Big Data, and AI Convergence Towards Exascale: Challenge and Vision

deephealth streamflow
Distributed workflows with Jupyter

Iacopo Colonnelli, Marco Aldinucci, Barbara Cantalupo, Luca Padovani, Sergio Rabellino, Concetto Spampinato, Roberto Morelli, Rosario Di Carlo, Nicol`o Magini, Carlo Cavazzoni

Future Generation Computer Systems

across deephealth jupyter-workflow streamflow
Memory-aware and context-aware multi-DNN inference on the edge

Bart Cox, Robert Birke, Lydia Y. Chen

Pervasive and Mobile Computing

ai
Performance Modeling for Short-Term Cache Allocation

Christopher Stewart, Nathaniel Morris, Lydia Y. Chen, Robert Birke

Proceedings of the 51st International Conference on Parallel Processing (ICPP)

parallel
Permutation-Invariant Tabular Data Synthesis

Yujin Zhu, Zilong Zhao, Robert Birke, Lydia Y. Chen

IEEE International Conference on Big Data (Big Data)

analytics
LABNET: A Collaborative Method for DNN Training and Label Aggregation

Amirmasoud Ghiassi, Robert Birke, Lydia Y. Chen

14th International Conference on Agents and Artificial Intelligence (ICAART)

ai
Impact of Left Ventricular Ejection Fraction on Procedural and Long-Term Outcomes of Bifurcation Percutaneous Coronary Intervention

Guglielmo Gallone, Jeehoon Kang, Francesco Bruno, Jung-Kyu Han, Ovidio De Filippo, Han-Mo Yang, Mattia Doronzo, Kyung-Woo Park, Gianluca Mittone, Hyun-Jae Kang, Radoslaw Parma, Hyeon-Cheol Gwon, Enrico Cerrato, Woo Jung Chun, Grzegorz Smolka, Seung-Ho Hur, Gerard Helft, Seung Hwan Han, Saverio Muscoli, Young Bin Song, Filippo Figini, Ki Hong Choi, Giacomo Boccuzzi, Soon-Jun Hong, Daniela Trabattoni, Chang-Wook Nam, Massimo Giammaria, Hyo-Soo Kim, Federico Conrotto, Javier Escaned, Carlo Di Mario, Fabrizio D'Ascenzo, Bon-Kwon Koo, Gaetano Maria Ferrari

The American Journal of Cardiology

ai cardio
Local Multi-Head Channel Self-Attention for Facial Expression Recognition

Roberto Pecoraro, Valerio Basile, Viviana Bono

Inf.

Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean

Giacomo Maletto, Luca Roversi

Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings

Programming the Interaction with Quantum Coprocessors

Ferruccio Damiani, Luca Paolini, Luca Roversi

ERCIM News

Beyond Pairwise Relationships: Modeling Real-world Dynamics Via High-order Networks

Alessia Antelmi

University of Salerno, Italy

A Volunteer Computing Architecture for Computational Workflows on Decentralized Web

Alessia Antelmi, Giuseppe D'Ambrosio, Andrea Petta, Luigi Serra, Carmine Spagnuolo

IEEE Access

2021
Introducing a Stream Processing Framework for Assessing Parallel Programming Interfaces

Adriano Marques Garcia, Dalvan Griebler, Claudio Schepke, Luiz Gustavo Fernandes

29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)

parallel
Static versus dynamic reversibility in CCS

Ivan Lanese, Doriana Medić, Claudio Antares Mezzina

Acta Informatica

semantics
Explicit Identifiers and Contexts in Reversible Concurrent Calculus

Clément Aubert, Doriana Medić

Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings

semantics
TwinLiverNet: Predicting TACE Treatment Outcome from CT scans for Hepatocellular Carcinoma using Deep Capsule Networks

Carmelo Pino, Giuseppe Vecchio, Marco Fronda, Marco Calandri, Marco Aldinucci, Concetto Spampinato

43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2021, Mexico, November 1-5, 2021

ai
TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale

Giovanni Agosta, William Fornaciari, Andrea Galimberti, Giuseppe Massari, Federico Reghenzani, Federico Terraneo, Davide Zoni, Carlo Brandolese, Massimo Celino, Francesco Iannone, Paolo Palazzari, Giuseppe Zummo, Massimo Bernaschi, Pasqua D'Ambra, Sergio Saponara, Marco Danelutto, Massimo Torquati, Marco Aldinucci, Yasir Arfat, Barbara Cantalupo, Iacopo Colonnelli, Roberto Esposito, Alberto R. Martinelli, Gianluca Mittone, Olivier Beaumont, Berenger Bramas, Lionel Eyraud-Dubois, Brice Goglin, Abdou Guermouche, Raymond Namyst, Samuel Thibault, Antonio Filgueras, Miquel Vidal, Carlos Alvarez, Xavier Martorell, Ariel Oleksiak, Michal Kulczewski, Alessandro Lonardo, Piero Vicini, Francesco Lo Cicero, Francesco Simula, Andrea Biagioni, Paolo Cretaro, Ottorino Frezza, Pier Stanislao Paolucci, Matteo Turisini, Francesco Giacomini, Tommaso Boccali, Simone Montangero, Roberto Ammendola

Proc. of the 24th Euromicro Conference on Digital System Design (DSD)

hpc streamflow textarossa
Practical Parallelizazion of a Laplace Solver with MPI

Marco Aldinucci, Valentina Cesare, Iacopo Colonnelli, Alberto R. Martinelli, Gianluca Mittone, Barbara Cantalupo

ENEA CRESCO in the fight against COVID-19

hpc hpc4ai
Bringing AI pipelines onto cloud-HPC: setting a baseline for accuracy of COVID-19 diagnosis

Iacopo Colonnelli, Barbara Cantalupo, Concetto Spampinato, Matteo Pennisi, Marco Aldinucci

ENEA CRESCO in the fight against COVID-19

streamflow
Benefit of Extended Dual Antiplatelet Therapy Duration in Acute Coronary Syndrome Patients Treated with Drug Eluting Stents for Coronary Bifurcation Lesions (from the BIFURCAT Registry)

Ovidio De Filippo, Jeehoon Kang, Francesco Bruno, Jung-Kyu Han, Andrea Saglietto, Han-Mo Yang, Giuseppe Patti, Kyung-Woo Park, Radoslaw Parma, Hyo-Soo Kim, Leonardo De Luca, Hyeon-Cheol Gwon, Mario Iannaccone, Woo Jung Chun, Grzegorz Smolka, Seung-Ho Hur, Enrico Cerrato, Seung Hwan Han, Carlo Di Mario, Young Bin Song, Javier Escaned, Ki Hong Choi, Gerard Helft, Joon-Hyung Doh, Alessandra Truffa Giachet, Soon-Jun Hong, Saverio Muscoli, Chang-Wook Nam, Guglielmo Gallone, Davide Capodanno, Daniela Trabattoni, Yoichi Imori, Veronica Dusi, Bernardo Cortese, Antonio Montefusco, Federico Conrotto, Iacopo Colonnelli, Imad Sheiban, Gaetano Maria Ferrari, Bon-Kwon Koo, Fabrizio D'Ascenzo

The American Journal of Cardiology

ai cardio
Machine Learning for Cardiology

Yasir Arfat, Gianluca Mittone, Roberto Esposito, Barbara Cantalupo, Gaetano Maria Ferrari, Marco Aldinucci

Minerva cardiology and angiology

ai deephealth hpc4ai
Practical Parallelization of Scientific Applications with OpenMP, OpenACC and MPI

Marco Aldinucci, Valentina Cesare, Iacopo Colonnelli, Alberto R. Martinelli, Gianluca Mittone, Barbara Cantalupo, Carlo Cavazzoni, Maurizio Drocco

Journal of Parallel and Distributed Computing

HPC parallel
Hardware and Software Solutions for Energy-Efficient Computing in Scientific Programming

Daniele D'Agostino, Ivan Merelli, Marco Aldinucci, Daniele Cesini

Scientific Programming

HPC
Advantages of using graph databases to explore chromatin conformation capture experiments

Daniele D'Agostino, Pietro Liò, Marco Aldinucci, Ivan Merelli

BMC Bioinformatics

deephealth hpc4ai
L'infrastruttura necessaria per creare interoperabilità tra pubbliche amministrazioni

Marco Aldinucci

L'amministrazione pubblica con i big data: da Torino un dibattito sull'intelligenza artificiale

The CLAIRE COVID-19 initiative: approach, experiences and recommendations

Gianluca Bontempi, Ricardo Chavarriaga, Hans De Canck, Emanuela Girardi, Holger Hoos, Iarla Kilbane-Dawe, Tonio Ball, Ann Nowé, Jose Sousa, Davide Bacciu, Marco Aldinucci, Manlio De Domenico, Alessandro Saffiotti, Marco Maratea

Ethics and Information Technology

deephealth
The Italian research on HPC key technologies across EuroHPC

Marco Aldinucci, Giovanni Agosta, Antonio Andreini, Claudio A. Ardagna, Andrea Bartolini, Alessandro Cilardo, Biagio Cosenza, Marco Danelutto, Roberto Esposito, William Fornaciari, Roberto Giorgi, Davide Lengani, Raffaele Montella, Mauro Olivieri, Sergio Saponara, Daniele Simoni, Massimo Torquati

ACM Computing Frontiers

admire eupex eupilot textarossa
HPC Application Cloudification: The StreamFlow Toolkit

Iacopo Colonnelli, Barbara Cantalupo, Roberto Esposito, Matteo Pennisi, Concetto Spampinato, Marco Aldinucci

12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2021)

deephealth hpc4ai streamflow system-sw
Machine learning-based prediction of adverse events following an acute coronary syndrome (PRAISE): a modelling study of pooled datasets

Fabrizio D'Ascenzo, Ovidio De Filippo, Guglielmo Gallone, Gianluca Mittone, Marco Agostino Deriu, Mario Iannaccone, Albert Ariza-Solé, Christoph Liebetrau, Sergio Manzano-Fernández, Giorgio Quadri, Tim Kinnaird, Gianluca Campo, Jose Paulo Simao Henriques, James M. Hughes, Alberto Dominguez-Rodriguez, Marco Aldinucci, Umberto Morbiducci, Giuseppe Patti, Sergio Raposeiras-Roubin, Emad Abu-Assi, Gaetano Maria Ferrari, Francesco Piroli, Andrea Saglietto, Federico Conrotto, Pierluigi Omedé, Antonio Montefusco, Mauro Pennone, Francesco Bruno, Pier Paolo Bocchino, Giacomo Boccuzzi, Enrico Cerrato, Ferdinando Varbella, Michela Sperti, Stephen B. Wilton, Lazar Velicki, Ioanna Xanthopoulou, Angel Cequier, Andres Iniguez-Romo, Isabel Munoz Pousa, Maria Cespon Fernandez, Berenice Caneiro Queija, Rafael Cobas-Paz, Angel Lopez-Cuenca, Alberto Garay, Pedro Flores Blanco, Andrea Rognoni, Giuseppe Biondi Zoccai, Simone Biscaglia, Ivan Nunez-Gil, Toshiharu Fujii, Alessandro Durante, Xiantao Song, Tetsuma Kawaji, Dimitrios Alexopoulos, Zenon Huczek, Jose Ramon Gonzalez Juanatey, Shao-Ping Nie, Masa-aki Kawashiri, Iacopo Colonnelli, Barbara Cantalupo, Roberto Esposito, Sergio Leonardi, Walter Grosso Marra, Alaide Chieffo, Umberto Michelucci, Dario Piga, Marta Malavolta, Sebastiano Gili, Marco Mennuni, Claudio Montalto, Luigi Oltrona Visconti, Yasir Arfat

The Lancet

ai cardio deephealth hpc4ai
High-performance computing and AI team up for COVID-19 diagnostic imaging

Marco Aldinucci

deephealth hpc4ai
StreamFlow: cross-breeding cloud with HPC

Iacopo Colonnelli, Barbara Cantalupo, Ivan Merelli, Marco Aldinucci

IEEE Transactions on Emerging Topics in Computing

deephealth hpc4ai streamflow
Interpretable Deep Model for Predicting Gene-Addicted Non-Small-Cell Lung Cancer in CT Scans

Carmelo Pino, Simone Palazzo, Francesca Trenta, Francesca Cordero, Ulas Bagci, Francesco Rundo, Sebastiano Battiato, Daniela Giordano, Marco Aldinucci, Concetto Spampinato

18th IEEE Intl. Symposium on Biomedical Imaging (ISBI)

ai deephealth
An Explainable AI System for Automated COVID-19 Assessment and Lesion Categorization from CT-scans

Matteo Pennisi, Isaak Kavasidis, Concetto Spampinato, Vincenzo Schinin`a, Simone Palazzo, Federica Proietto Salanitri, Giovanni Bellitto, Francesco Rundo, Marco Aldinucci, Massimo Cristofaro, Paolo Campioni, Elisa Pianura, Federica Di Stefano, Ada Petrone, Fabrizio Albarello, Giuseppe Ippolito, Salvatore Cuzzocrea, Sabrina Conoci

Artificial Intelligence in Medicine

ai
Enhancing Robustness of On-Line Learning Models on Highly Noisy Data

Zilong Zhao, Robert Birke, Rui Han, Bogdan Robu, Sara Bouchenak, Sonia Ben Mokhtar, Lydia Y. Chen

IEEE Trans. Dependable Secur. Comput.

ai
sPARE: Partial Replication for Multi-Tier Applications in the Cloud

Robert Birke, Juan F. Pérez, Zhan Qiu, Mathias Bj"orkqvist, Lydia Y. Chen

IEEE Trans. Serv. Comput.

parallel
CTAB-GAN: Effective Table Data Synthesizing

Zilong Zhao, Aditya Kunar, Robert Birke, Lydia Y. Chen

Proceedings of The 13th Asian Conference on Machine Learning

ai
QActor: Active Learning on Noisy Labels

Taraneh Younesian, Zilong Zhao, Amirmasoud Ghiassi, Robert Birke, Lydia Y. Chen

Proceedings of The 13th Asian Conference on Machine Learning

ai
TrustNet: Learning from Trusted Data Against (A)symmetric Label Noise

Amirmasoud Ghiassi, Robert Birke, Lydia Y. Chen

8th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT)

ai
Evaluation of Networking Options for Containerized Deployment of Real-Time Applications

Giuliano Albanese, Robert Birke, Georgia Giannopoulou, Sandro Schönborn, Thanikesavan Sivanthi

26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

LABELNET: Recovering Noisy Labels

Amirmasoud Ghiassi, Robert Birke, Rui Han, Lydia Y. Chen

International Joint Conference on Neural Networks (IJCNN)

ai
Masa: Responsive Multi-DNN Inference on the Edge

Bart Cox, Jeroen Galjaard, Amirmasoud Ghiassi, Robert Birke, Lydia Y. Chen

19th IEEE International Conference on Pervasive Computing and Communications (PerCom)

MemA: Fast Inference of Multiple Deep Models

Jeroen Galjaard, Bart Cox, Amirmasoud Ghiassi, Lydia Y. Chen, Robert Birke

19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events

ai
Online Label Aggregation: A Variational Bayesian Approach

Chi Hong, Amirmasoud Ghiassi, Yichi Zhou, Robert Birke, Lydia Y. Chen

WWW '21: The Web Conference 2021

ai
Splitting Recursion Schemes into Reversible and Classical Interacting Threads

Armando B. Matos, Luca Paolini, Luca Roversi

Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings

Interleaving classical and reversible

Armando B. Matos, Luca Paolini, Luca Roversi

CoRR

Modeling and Evaluating Epidemic Control Strategies With High-Order Temporal Networks

Alessia Antelmi, Gennaro Cordasco, Vittorio Scarano, Carmine Spagnuolo

IEEE Access

Social Influence Maximization in Hypergraphs

Alessia Antelmi, Gennaro Cordasco, Carmine Spagnuolo, Przemyslaw Szufel

Entropy

Comparing the Structures and Characteristics of Different Game Social Networks - The Steam Case

Enrica Loria, Alessia Antelmi, Johanna Pirker

2021 IEEE Conference on Games (CoG), Copenhagen, Denmark, August 17-20, 2021

Social Influence Maximization in Hypergraphs - Data set (Version 0.0.1)

Alessia Antelmi, Gennaro Cordasco, Carmine Spagnuolo, Przemyslaw Szufel

Zenodo

Social Influence Maximization in Hypergraphs - Julia Package (Version 0.0.1)

Alessia Antelmi, Gennaro Cordasco, Carmine Spagnuolo, Przemyslaw Szufel

Zenodo

Social Influence Maximization in Hypergraphs - Julia Package (Version 0.0.2)

Alessia Antelmi, Gennaro Cordasco, Carmine Spagnuolo, Przemyslaw Szufel

Zenodo

2020
The Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures

Adriano Marques Garcia, Matheus Serpa, Dalvan Griebler, Claudio Schepke, Luiz Gustavo Fernandes, Philippe O. A. Navaux

International Conference on Computational Science and its Applications (ICCSA)

parallel
A parametric framework for reversible <i>π</i>-calculi

Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Information and Computation

semantics
A General Approach to Derive Uncontrolled Reversible Semantics

Ivan Lanese, Doriana Medić

31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)

semantics
Towards a Formal Account for Software Transactional Memory

Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

semantics
Polmonite da COVID-19, diagnosi con l'intelligenza artificiale: Italia in prima fila

Marco Aldinucci

deephealth hpc4ai
Enforcing Deadlines for Skeleton-based Parallel Programming

Paul Metzger, Murray Cole, Christian Fensch, Marco Aldinucci, Enrico Bini

26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Authenticated and Auditable Data Sharing via Smart Contract

Vincent Reniers, Yuan Gao, Ren Zhang, Paolo Viviani, Akash Madhusudan, Bert Lagaisse, Svetla Nikova, Dimitri Van Landuyt, Riccardo Lombardi, Bart Preneel, Wouter Joosen

Proceedings of the 35th ACM/SIGAPP Symposium on Applied Computing

Practical Parallelization of Scientific Applications

Valentina Cesare, Iacopo Colonnelli, Marco Aldinucci

Proc. of 28th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

c3s HPC hpc4ai parallel
Challenging the abstraction penalty in parallel patterns libraries: Adding FastFlow support to GrPPI

Jose Daniel Garcia, Jose Daniel Rio, Marco Aldinucci, Fabio Tordini, Marco Danelutto, Gabriele Mencagli, Massimo Torquati

The Journal of Supercomputing

fastflow rephrase
Programming languages for data-Intensive HPC applications: A systematic mapping study

Vasco Amaral, Beatriz Norberto, Miguel Goulão, Marco Aldinucci, Siegfried Benkner, Andrea Bracciali, Paulo Carreira, Edgars Celms, Luı́s Correia, Clemens Grelck, Helen Karatza, Christoph Kessler, Peter Kilpatrick, Hugo Martiniano, Ilias Mavridis, Sabri Pllana, Ana Respı́cio, José Simão, Luı́s Veiga, Ari Visa

Parallel Computing

HPC
NeoHiC: A web application for the analysis of Hi-C data

Daniele D'Agostino, Pietro Liò, Marco Aldinucci, Ivan Merelli

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

bioinformatics
Soundness Conditions for Big-Step Semantics

Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini

Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

A tale of intersection types

Viviana Bono, Mariangiola Dezani-Ciancaglini

LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020

GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers

Fabio Massimo Zanzotto, Viviana Bono, Paola Vocca, Andrea Santilli, Danilo Croce, Giorgio Gambosi, Roberto Basili

CoRR

The fixed point problem of a simple reversible language

Armando B. Matos, Luca Paolini, Luca Roversi

Theor. Comput. Sci.

A class of Recursive Permutations which is Primitive Recursive complete

Luca Paolini, Mauro Piccolo, Luca Roversi

Theor. Comput. Sci.

A type-assignment of linear erasure and duplication

Gianluca Curzi, Luca Roversi

Theor. Comput. Sci.

On the Expressivity of Total Reversible Programming Languages

Armando B. Matos, Luca Paolini, Luca Roversi

Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Probabilistic Soft Type Assignment

Gianluca Curzi, Luca Roversi

CoRR

Analyzing, Exploring, and Visualizing Complex Networks via Hypergraphs using SimpleHypergraphs.jl

Carmine Spagnuolo, Gennaro Cordasco, Przemyslaw Szufel, Pawel Pralat, Vittorio Scarano, Bogumil Kaminski, Alessia Antelmi

Internet Math.

A Design-Methodology for Epidemic Dynamics via Time-Varying Hypergraphs

Alessia Antelmi, Gennaro Cordasco, Carmine Spagnuolo, Vittorio Scarano

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020

Information Diffusion in Complex Networks: A Model Based on Hypergraphs and Its Analysis

Alessia Antelmi, Gennaro Cordasco, Carmine Spagnuolo, Przemyslaw Szufel

Algorithms and Models for the Web Graph - 17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020, Proceedings

2019
PAMPAR: A new parallel benchmark for performance and energy consumption evaluation

Adriano Marques Garcia, Claudio Schepke, Alessandro Gonçalves Girardi

Concurrency and Computation: Practice and Experience

parallel
A New Parallel Benchmark for Performance Evaluation and Energy Consumption

Adriano Marques Garcia, Claudio Schepke, Alessandro Gonçalves Girardi, Sherlon Almeida Silva

High Performance Computing for Computational Science – VECPAR 2018

parallel
Relative expressiveness of calculi for reversible concurrency

Doriana Medić

Bull. EATCS

semantics
Deep Learning at Scale

Paolo Viviani, Maurizio Drocco, Daniele Baccega, Iacopo Colonnelli, Marco Aldinucci

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

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

Ivan Merelli, Federico Fornari, Fabio Tordini, Daniele D'Agostino, Marco Aldinucci, Daniele Cesini

Journal of Parallel and Distributed Computing

bioinformatics
Deep Learning e calcolo ad alte prestazioni per l'elaborazione di immagini biomediche

Marco Aldinucci, Claudio Berzovini, Costantino Grana, Marco Grangetto, Luca Pireddu, Gianluigi Zanetti

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

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

High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet

HPC
Accelerating spectral graph analysis through wavefronts of linear algebra operations

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

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

grid
Analysis of Architectural Variants for Auditable Blockchain-based Private Data Sharing

Vincent Reniers, Dimitri Van Landuyt, Paolo Viviani, Bert Lagaisse, Riccardo Lombardi, Wouter Joosen

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

system-sw
Power-Aware Pipelining with Automatic Concurrency Control

Massimo Torquati, Daniele De Sensi, Gabriele Mencagli, Marco Aldinucci, Marco Danelutto

Concurrency and Computation: Practice and Experience

rephrase
Languages for Big Data analysis

Marco Aldinucci, Maurizio Drocco, Claudia Misale, Guy Tremblay

Encyclopedia of Big Data Technologies

parallel
The RePhrase Extended Pattern Set for Data Intensive Parallel Computing

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

International Journal of Parallel Programming

fastflow rephrase
On Dynamic Memory Allocation in Sliding-Window Parallel Patterns for Streaming Analytics

Massimo Torquati, Gabriele Mencagli, Maurizio Drocco, Marco Aldinucci, Tiziano De Matteis, Marco Danelutto

The Journal of Supercomputing

fastflow rephrase
Deep Learning at Scale with Nearest Neighbours Communications

Paolo Viviani

Computer Science Department, University of Torino

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

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

European Physical Journal Web of Conferences

The Magda Language: Ten Years After

Viviana Bono

Fundam. Informaticae

Introducing Yet Another REversible Language

Claudio Grandi, Dariush Moshiri, Luca Roversi

CoRR

On Evaluating Rust as a Programming Language for the Future of Massive Agent-Based Simulations

Alessia Antelmi, Gennaro Cordasco, Matteo D'Auria, Daniele De Vinco, Alberto Negro, Carmine Spagnuolo

Methods and Applications for Modeling and Simulation of Complex Systems - 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 - November 1, 2019, Proceedings

Towards an Exhaustive Framework for Online Social Networks User Behaviour Modelling

Alessia Antelmi

Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization, UMAP 2019, Larnaca, Cyprus, June 9-12, 2019

SimpleHypergraphs.jl - Novel Software Framework for Modelling and Analysis of Hypergraphs

Alessia Antelmi, Gennaro Cordasco, Bogumil Kaminski, Pawel Pralat, Vittorio Scarano, Carmine Spagnuolo, Przemyslaw Szufel

Algorithms and Models for the Web Graph - 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019, Proceedings

Characterizing the Behavioral Evolution of Twitter Users and The Truth Behind the 90-9-1 Rule

Alessia Antelmi, Delfina Malandrino, Vittorio Scarano

Companion of The 2019 World Wide Web Conference, WWW 2019, San Francisco, CA, USA, May 13-17, 2019

2018
Power Consumption of Parallel Programming Interfaces in Multicore Architectures: A Case Study

Adriano Marques Garcia, Claudio Schepke, Alessandro Gonçalves Girardi, Sherlon Almeida Silva

2018 Symposium on High Performance Computing Systems (WSCAD)

parallel
Pushing the boundaries of parallel Deep Learning - A practical approach

Paolo Viviani, Maurizio Drocco, Marco Aldinucci

CoRR

PiCo: High-performance data analytics pipelines in modern C++

Claudia Misale, Maurizio Drocco, Guy Tremblay, Alberto R. Martinelli, Marco Aldinucci

Future Generation Computer Systems

fastflow HPC toreador
HPC4AI, an AI-on-demand federated platform endeavour

Marco Aldinucci, Sergio Rabellino, Marco Pironti, Filippo Spiga, Paolo Viviani, Maurizio Drocco, Marco Guerzoni, Guido Boella, Marco Mellia, Paolo Margara, Idillio Drago, Roberto Marturano, Guido Marchetto, Elio Piccolo, Stefano Bagnasco, Stefano Lusso, Sara Vallero, Giuseppe Attardi, Alex Barchiesi, Alberto Colla, Fulvio Galeazzi

ACM Computing Frontiers

hpc4ai rephrase system-sw toreador
Scaling Dense Linear Algebra on Multicore and Beyond: a Survey

Paolo Viviani, Maurizio Drocco, Marco Aldinucci

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

parallel
Scientific Workflows on Clouds with Heterogeneous and Preemptible Instances

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

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

rephrase
PiCo: a Novel Approach to Stream Data Analytics

Claudia Misale, Maurizio Drocco, Guy Tremblay, Marco Aldinucci

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

rephrase toreador
A Flexible Numerical Framework for Engineering—A Response Surface Modelling Application

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

Improved Performance of Materials: Design and Experimental Approaches

repara rephrase
A Parallel Pattern for Iterative Stencil + Reduce

Marco Aldinucci, Marco Danelutto, Maurizio Drocco, Peter Kilpatrick, Claudia Misale, Guilherme Peretti Pezzi, Massimo Torquati

Journal of Supercomputing

HPC repara rephrase
Harnessing sliding-window execution semantics for parallel stream processing

Gabriele Mencagli, Massimo Torquati, Fabio Lucattini, Salvatore Cuomo, Marco Aldinucci

Journal of Parallel and Distributed Computing

fastflow rephrase
Java & Lambda: a Featherweight Story

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

Log. Methods Comput. Sci.

On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions

Luca Paolini, Mauro Piccolo, Luca Roversi

New Gener. Comput.

The Fixed Point Problem for General and for Linear SRL Programs is Undecidable

Armando B. Matos, Luca Paolini, Luca Roversi

Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018

Quantum programming made easy

Luca Paolini, Luca Roversi, Margherita Zorzi

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018

Subatomic systems need not be subatomic

Luca Roversi

CoRR

Towards a More Systematic Analysis of Twitter Data: A Framework for the Analysis of Twitter Communities

Alessia Antelmi, Josephine Griffith, Karen Young

Proceedings for the 26th AIAI Irish Conference on Artificial Intelligence and Cognitive Science Trinity College Dublin, Dublin, Ireland, December 6-7th, 2018

Characterizing Twitter Users: : What do Samantha Cristoforetti, Barack Obama and Britney Spears Have in Common?

Alessia Antelmi, Delfina Malandrino, Vittorio Scarano

IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018

Understanding User Engagement with Entertainment Media: A Case Study of the Twitter Behaviour of Game of Thrones (GoT) Fans

Alessia Antelmi, John G. Breslin, Karen Young

IEEE Games, Entertainment, Media Conference, GEM 2018, Galway, Ireland, August 15-17, 2018

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

Salvatore Cuomo, Marco Aldinucci, Massimo Torquati

International Journal of Parallel Programming

HPC
Parallel Programming with Global Asynchronous Memory: Models, C++ APIs and Implementations

Maurizio Drocco

Computer Science Department, University of Torino

fastflow paraphrase repara rephrase toreador
Towards Power-Aware Data Pipelining on Multicores

Marco Aldinucci, Marco Danelutto, Daniele De Sensi, Gabriele Mencagli, Massimo Torquati

Proceedings of the 10th International Symposium on High-Level Parallel Programming and Applications

fastflow rephrase
A Formal Semantics for Data Analytics Pipelines

Maurizio Drocco, Claudia Misale, Guy Tremblay, Marco Aldinucci

rephrase toreador
PiCo: A Domain-Specific Language for Data Analytics Pipelines

Claudia Misale

Computer Science Department, University of Torino

fastflow paraphrase repara rephrase toreador
A Comparison of Big Data Frameworks on a Layered Dataflow Model

Claudia Misale, Maurizio Drocco, Marco Aldinucci, Guy Tremblay

Parallel Processing Letters

rephrase toreador
Multiple back-end support for the Armadillo linear algebra interface

Paolo Viviani, Massimo Torquati, Marco Aldinucci, Roberto d'Ippolito

In proc. of the 32nd ACM Symposium on Applied Computing (SAC)

HPC repara rephrase
FastFlow: high-level and efficient streaming on multi-core

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimo Torquati

Programming Multi-core and Many-core Computing Systems

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

Fabio Tordini, Maurizio Drocco, Claudia Misale, Luciano Milanesi, Pietro Liò, Ivan Merelli, Massimo Torquati, Marco Aldinucci

International Journal of High Performance Computing Applications

bioinformatics fastflow repara rephrase
OCCAM: a flexible, multi-purpose and extendable HPC cluster

Marco Aldinucci, Stefano Bagnasco, Stefano Lusso, Paolo Pasteris, Sergio Rabellino

Journal of Physics: Conf. Series (CHEP 2016)

c3s HPC system-sw
Deep learning for automated skeletal bone age assessment in X-ray images

Concetto Spampinato, Simone Palazzo, Daniela Giordano, Marco Aldinucci, Rosalia Leonardi

Medical Image Analysis

HPC
On Sessions and Infinite Data

Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini

Logical Methods in Computer Science

rephrase semantics
Retractions in Intersection Types

Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Dı́az-Caro, Ines Margaria, Maddalena Zacchi

ITRS'16

rephrase semantics
A Performance Study of Quantum ESPRESSO's PWscf Code on Multi-core and GPU Systems

Joshua Romero, Everett H. Phillips, Gregory Ruetsch, Massimiliano Fatica, Filippo Spiga, Paolo Giannozzi

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation - 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

Design of an Energy Aware Petaflops Class High Performance Cluster Based on Power Architecture

Wissam Abu Ahmad, Andrea Bartolini, Francesco Beneventi, Luca Benini, Andrea Borghesi, Marco Cicala, Privato Forestieri, Cosimo Gianfreda, Daniele Gregori, Antonio Libri, Filippo Spiga, Simone Tinti

2017 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2017, Orlando / Buena Vista, FL, USA, May 29 - June 2, 2017

hpc
Data-driven adaptation for smart sessions

Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

J. Log. Algebraic Methods Program.

2016
Towards Memory-Optimized Data Shuffling Patterns for Big Data Analytics

Bogdan Nicolae, Carlos H. A. Costa, Claudia Misale, Kostas Katrinis, Yoonho Park

IEEE/ACM 16th Intl. Symposium on Cluster, Cloud and Grid Computing, CCGrid 2016

HPC
An hybrid linear algebra framework for engineering

Paolo Viviani, Marco Aldinucci, Roberto d'Ippolito

Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) – Poster Abstracts

HPC repara
A Cluster-As-Accelerator approach for SPMD-free Data Parallelism

Maurizio Drocco, Claudia Misale, Marco Aldinucci

Proc. of 24th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

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

Vladimir Janjic, Christopher Brown, Kenneth MacKenzie, Kevin Hammond, Marco Danelutto, Marco Aldinucci, José Daniel Garcı́a

Proc. of Intl. Euromicro PDP 2016: Parallel Distributed and network-based Processing

fastflow rephrase
Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing

Marco Aldinucci, Sonia Campa, Marco Danelutto, Peter Kilpatrick, Massimo Torquati

International Journal of Parallel Programming

fastflow paraphrase repara
NuchaRt: embedding high-level parallel computing in R for augmented Hi-C data analysis

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

Computational Intelligence Methods for Bioinformatics and Biostatistics

bioinformatics fastflow repara
A cloud solution for multi-omics data integration

Fabio Tordini

Proceedings of the 16th IEEE International Conference on Scalable Computing and Communication

bioinformatics fastflow rephrase
The road towards a Cloud-based High-Performance solution for genomic data analysis

Fabio Tordini

Computer Science Department, University of Torino, Italy

bioinformatics fastflow
Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool

Manuel F. Dolz, David Rio Astorga, Javier Fernández, José Daniel Garcı́a, Félix Garcı́a Carballeira, Marco Danelutto, Massimo Torquati

Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores

fastflow repara
pWhatsHap: efficient haplotyping for future generation sequencing

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

BMC Bioinformatics

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

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

Frontiers in Genetics

bioinformatics
Leveraging Adaptive I/O to Optimize Collective Data Shuffling Patterns for Big Data Analytics

Bogdan Nicolae, Carlos H. A. Costa, Claudia Misale, Kostas Katrinis, Yoonho Park

IEEE Transactions on Parallel and Distributed Systems

system-sw
Secure Multiparty Sessions with Topics

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo Liguoro

PLACES'16

rephrase semantics
Self-Adaptation and Secure Information Flow in Multiparty Communications

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

Formal Aspects of Computing

rephrase semantics
Parallel Monitors for Self-adaptive Sessions

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

PLACES'16

rephrase semantics
Denotational and Operational Preciseness of Subtyping: A Roadmap

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida

Theory and Practice of Formal Methods

rephrase semantics
Reversible Multiparty Sessions with Checkpoints

Mariangiola Dezani-Ciancaglini, Paola Giannini

EXPRESS/SOS'16

rephrase semantics
Behavioral Types in Programming Languages

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

Found. Trends Program. Lang.

A deep inference system with a self-dual binder which is complete for linear lambda calculus

Luca Roversi

J. Log. Comput.

2015
Progettazione e sviluppo di un provider libfabric per la rete ad alte prestazioni Ronniee/A3Cube

Paolo Inaudi

Computer Science Department, University of Torino

fastflow
Parallel Computing Techniques for High Energy Physics

Paolo Viviani

Physics Department, University of Torino

fastflow impact
The Loop-of-Stencil-Reduce paradigm

Marco Aldinucci, Marco Danelutto, Maurizio Drocco, Peter Kilpatrick, Guilherme Peretti Pezzi, Massimo Torquati

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

fastflow HPC repara
Integrating Multi-omic features exploiting Chromosome Conformation Capture data

Ivan Merelli, Fabio Tordini, Maurizio Drocco, Marco Aldinucci, Pietro Liò, Luciano Milanesi

Frontiers in Genetics

bioinformatics fastflow
Memory-Optimised Parallel Processing of Hi-C Data

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

Proc. of 23rd Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

bioinformatics fastflow impact paraphrase repara
Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II

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

Proc. of 23rd Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

bioinformatics fastflow impact paraphrase repara
High-Performance Haplotype Assembly

Marco Aldinucci, Andrea Bracciali, Tobias Marschall, Murray Patterson, Nadia Pisanti, Massimo Torquati

Computational Intelligence Methods for Bioinformatics and Biostatistics - 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers

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

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

International Journal of High Performance Computing Applications

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

Fabio Tordini, Maurizio Drocco, Ivan Merelli, Luciano Milanesi, Pietro Liò, Marco Aldinucci

Proc. of 11th Intl. Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB)

bioinformatics fastflow paraphrase repara
Parallel profiling of water distribution networks using the Clément formula

Guilherme Peretti Pezzi, Evelyne Vaissié, Yann Viala, Denis Caromel, Philippe Gourbesville

Applied Mathematics and Computation

impact
CPU+GPU Programming of Stencil Computations for Resource-Efficient Use of GPU Clusters

Mohammed Sourouri, Johannes Langguth, Filippo Spiga, Scott B. Baden, Xing Cai

18th IEEE International Conference on Computational Science and Engineering, CSE 2015, Porto, Portugal, October 21-23, 2015

HPC
Strong scaling of general-purpose molecular dynamics simulations on GPUs

Jens Glaser, Trung Dac Nguyen, Joshua A. Anderson, Pak Lui, Filippo Spiga, Jaime A. Millan, David C. Morse, Sharon C. Glotzer

Computer Physics Communications

HPC
Light combinators for finite fields arithmetic

Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi

Sci. Comput. Program.

A Certified Study of a Reversible Programming Language

Luca Paolini, Mauro Piccolo, Luca Roversi

21st International Conference on Types for Proofs and Programs, TYPES 2015, Tallinn, Estonia, May 18-21, 2015

A Class of Reversible Primitive Recursive Functions

Luca Paolini, Mauro Piccolo, Luca Roversi

Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015

On Evaluating Graph Partitioning Algorithms for Distributed Agent Based Models on Networks

Alessia Antelmi, Gennaro Cordasco, Carmine Spagnuolo, Luca Vicidomini

Euro-Par 2015: Parallel Processing Workshops - Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers

2014
Predictive scheduling for optimal cloud configuration

Michael G. Epitropakis, Andrea Bracciali, Marco Aldinucci, Emily Potts, Edmund K. Burke

Proc. of 10th Intl. Conference on the Practice and Theory of Automated Timetabling

Parallel stochastic systems biology in the cloud

Marco Aldinucci, Massimo Torquati, Concetto Spampinato, Maurizio Drocco, Claudia Misale, Cristina Calcagno, Mario Coppo

Briefings in Bioinformatics

bioinformatics fastflow impact paraphrase
Discovering Biological Knowledge by Integrating High Throughput Data and Scientific Literature on the Cloud

Concetto Spampinato, Isaak Kavasidis, Marco Aldinucci, Carmelo Pino, Daniela Giordano, Alberto Faro

Concurrency and Computation: Practice and Experience

bioinformatics
Design patterns percolating to parallel programming framework implementation

Marco Aldinucci, Sonia Campa, Marco Danelutto, Peter Kilpatrick, Massimo Torquati

International Journal of Parallel Programming

fastflow paraphrase
Decision Tree Building on Multi-Core using FastFlow

Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati

Concurrency and Computation: Practice and Experience

fastflow paraphrase
On designing multicore-aware simulators for systems biology endowed with on-line statistics

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

BioMed Research International

bioinformatics fastflow paraphrase
FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs

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

GPU Technology Conference (GTC)

fastflow HPC impact paraphrase
Exercising high-level parallel programming on streams: a systems biology use case

Marco Aldinucci, Maurizio Drocco, Guilherme Peretti Pezzi, Claudia Misale, Fabio Tordini, Massimo Torquati

Proc. of 34th IEEE Intl. Conference on Distributed Computing Systems Workshops (ICDCSW)

bioinformatics fastflow impact paraphrase
Parallel video denoising on heterogeneous platforms

Marco Aldinucci, Guilherme Peretti Pezzi, Maurizio Drocco, Fabio Tordini, Peter Kilpatrick, Massimo Torquati

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

fastflow impact paraphrase
Accelerating Bowtie2 with a lock-less concurrency approach and memory affinity

Claudia Misale

Proc. of Intl. Euromicro PDP 2014: Parallel Distributed and network-based Processing

fastflow paraphrase
Message passing on InfiniBand RDMA for parallel run-time supports

Alessandro Secco, Irfan Uddin, Guilherme Peretti Pezzi, Massimo Torquati

Proc. of Intl. Euromicro PDP 2014: Parallel Distributed and network-based Processing

fastflow impact paraphrase
A Lightweight Run-Time Support For Fast Dense Linear Algebra on Multi-Core

Daniele Buono, Marco Danelutto, Tiziano De Matteis, Gabriele Mencagli, Massimo Torquati

Proc. of the 12th International Conference on Parallel and Distributed Computing and Networks (PDCN 2014)

fastflow
A Dynamic Memory Allocator for heterogeneous platforms

Maurizio Drocco, Marco Aldinucci, Massimo Torquati

Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) – Poster Abstracts

fastflow HPC
Sequence alignment tools: one parallel pattern to rule them all?

Claudia Misale, Giulio Ferrero, Massimo Torquati, Marco Aldinucci

BioMed Research International

bioinformatics fastflow paraphrase repara
An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs

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

GPU Technology Conference (GTC)

fastflow HPC impact paraphrase
Pool evolution: a domain specific parallel pattern

Marco Aldinucci, Sonia Campa, Marco Danelutto, Peter Kilpatrick, Massimo Torquati

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

fastflow paraphrase repara
Trait-oriented programming in Java 8

Viviana Bono, Enrico Mensa, Marco Naddeo

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

Lucretia - intersection type polymorphism for scripting languages

Marcin Benke, Viviana Bono, Aleksy Schubert

Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014

2013
Memory affinity in multi-threading: the Bowtie2 case study

Claudia Misale, Marco Aldinucci, Massimo Torquati

Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) – Poster Abstracts

fastflow
Parallel stochastic simulators in systems biology: the evolution of the species

Maurizio Drocco

Computer Science Department, University of Torino, Italy

fastflow
Managing Adaptivity in Parallel Systems

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini

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

paraphrase
Structured Data Access Annotations for Massively Parallel Computations

Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Massimo Torquati

Euro-Par 2012 Workshops, Proc. of the ParaPhrase Workshop on Parallel Processing

fastflow paraphrase
Targeting Distributed Systems in FastFlow

Marco Aldinucci, Sonia Campa, Marco Danelutto, Peter Kilpatrick, Massimo Torquati

Euro-Par 2012 Workshops, Proc. of the CoreGrid Workshop on Grids, Clouds and P2P Computing

fastflow paraphrase
Parallel stochastic simulators in system biology: the evolution of the species

Marco Aldinucci, Fabio Tordini, Maurizio Drocco, Massimo Torquati, Mario Coppo

Proc. of 21st Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

bioinformatics fastflow
The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems

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

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

paraphrase
An abstract annotation model for skeletons

Marco Aldinucci, Sonia Campa, Fabio Tordini, Massimo Torquati, Peter Kilpatrick

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

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

Viviana Bono, Luca Padovani, Andrea Tosatto

Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?

Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi

Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2012
Simulation techniques for the calculus of wrapped compartments

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina

Theoretical Computer Science

semantics
An innovative compilation tool-chain for embedded multi-core architectures

Massimo Torquati, Marco Vanneschi, Mehdi Amini, Serge Guelton, Ronan Keryell, Vincent Lanore, François-Xavier Pasquier, Michel Barreteau, Rémi Barrère, Claudia-Teodora Petrisor, Eric Lenormand, C. Cantini, F. De Stefani

Embedded World Conference

On Parallelizing On-Line Statistics for Stochastic Biological Simulations

Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina

Proc. of Euro-Par Workshops: 2nd Workshop on High Performance Bioinformatics and Biomedicine (HiBB)

bioinformatics fastflow
Parallel patterns + Macro Data Flow for multi-core programming

Marco Aldinucci, Marco Danelutto, Lorenzo Anardu, Massimo Torquati, Peter Kilpatrick

Proc. of Intl. Euromicro PDP 2012: Parallel Distributed and network-based Processing

fastflow
A Parallel Edge Preserving Algorithm for Salt and Pepper Image Denoising

Marco Aldinucci, Concetto Spampinato, Maurizio Drocco, Massimo Torquati, Simone Palazzo

Proc. of 2nd Intl. Conference on Image Processing Theory Tools and Applications (IPTA)

fastflow impact
FastFlow tutorial

Marco Aldinucci, Marco Danelutto, Massimo Torquati

fastflow
High-level lock-less programming for multicore

Fabio Tordini, Marco Aldinucci, Massimo Torquati

Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) – Poster Abstracts

fastflow
An Efficient Unbounded Lock-Free Queue for Multi-core Systems

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimiliano Meneghin, Massimo Torquati

Proc. of 18th Intl. Euro-Par 2012 Parallel Processing

fastflow paraphrase
Process-Driven Biometric Identification by means of Autonomic Grid Components

Thomas Weigold, Marco Aldinucci, Marco Danelutto, Vladimir Getov

Int. J. of Autonomous and Adaptive Communications Systems

grid
Targeting heterogeneous architectures via macro data flow

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimo Torquati

Parallel Processing Letters

fastflow paraphrase
phiGEMM: A CPU-GPU Library for Porting Quantum ESPRESSO on Hybrid Systems

Filippo Spiga, Ivan Girotto

Proceedings of the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012, Munich, Germany, February 15-17, 2012

Typing Copyless Message Passing

Viviana Bono, Luca Padovani

Log. Methods Comput. Sci.

Magda: A New Language for Modularity

Viviana Bono, Jarek Kusmierek, Mauro Mulatero

ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

Lucretia - a type system for objects in languages with reflection

Viviana Bono, Marcin Benke, Aleksy Schubert

CoRR

Intersection Types from a Proof-theoretic Perspective

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi

Fundam. Informaticae

Extending a system in the calculus of structures with a self-dual quantifier

Luca Roversi

CoRR

Communication, and concurrency with logic-based restriction inside a calculus of structures

Luca Roversi

CoRR

2011
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Mike Guether, Angelo Troina

Transactions on Computational Systems Biology

semantics
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments

Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina

Proc. of 3rd Intl. Workshop on Computational Models for Cell Processes (CompMod)

Accelerating code on multi-cores with FastFlow

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimiliano Meneghin, Massimo Torquati

Proc. of 17th Intl. Euro-Par 2011 Parallel Processing

fastflow
On Designing Multicore-Aware Simulators for Biological Systems

Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina

Proc. of 19th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

fastflow
LIBERO: a framework for autonomic management of multiple non-functional concerns

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Vamir Xhagjika

Euro-Par 2010 Workshops, Proc. of the CoreGrid Workshop on Grids, Clouds and P2P Computing

grid
StochKit-FF: Efficient Systems Biology on Multicore Architectures

Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati

Euro-Par 2010 Workshops, Proc. of the 1st Workshop on High Performance Bioinformatics and Biomedicine (HiBB)

bioinformatics
Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow

Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati

fastflow
CMS Distributed Computing Integration in the LHC sustained operations era

Claudio Grandi, Brian Bockelman, Daniele Bonacorsi, Ian Fisk, Isidro González Caballero, Fabio Farina, José M. Hernández Calama, Sanjay Padhi, Sabyasachi Sarkar, Andrea Sciabà, Igor Sfiligoi, Filippo Spiga, Mario Úbeda Garcı́a, Daniel C. Van Der Ster, Marian Zvada

Journal of Physics: Conference Series

parallel
Delegation by object composition

Lorenzo Bettini, Viviana Bono, Betti Venneri

Sci. Comput. Program.

A Reputation System for Multirole Sessions

Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini

Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Polymorphic Endpoint Types for Copyless Message Passing

Viviana Bono, Luca Padovani

Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011

A Modular Database Architecture Enabled to Comparative Sequence Analysis

Paola Bonfante, Francesca Cordero, Stefano Ghignone, Dino Ienco, Luisa Lanfranco, Giorgio Leonardi, Rosa Meo, Stefania Montani, Luca Roversi, Alessia Visconti

Trans. Large Scale Data Knowl. Centered Syst.

Typing a Core Binary-Field Arithmetic in a Light Logic

Emanuele Cesena, Marco Pedicini, Luca Roversi

Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Linear Lambda Calculus and Deep Inference

Luca Roversi

Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

2010
Stochastic Calculus of Wrapped Compartments

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina

Proc. of 8th Workshop on Quantitative Aspects of Programming Languages (QAPL)

Hybrid Calculus of Wrapped Compartments

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina

Proc. of 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC)

semantics
Efficient Smith-Waterman on multi-core with FastFlow

Marco Aldinucci, Massimiliano Meneghin, Massimo Torquati

Proc. of Intl. Euromicro PDP 2010: Parallel Distributed and network-based Processing

fastflow
Accelerating sequential programs using FastFlow and self-offloading

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimiliano Meneghin, Massimo Torquati

fastflow
Porting Decision Tree Algorithms to Multicore using FastFlow

Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati

Proc. of European Conference in Machine Learning and Knowledge Discovery in Databases (ECML PKDD)

fastflow
Efficient Parallel MonteCarlo with FastFlow

Marco Aldinucci

HPC-Europa2: Science and Supercomputing in Europe, research highlights 2010

bioinformatics fastflow
Integrating Autonomic Grid Components and Process-Driven Business Applications

Thomas Weigold, Marco Aldinucci, Marco Danelutto, Vladimir Getov

Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

grid
Skeletons for multi/many-core systems

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Parallel Computing: From Multicores and GPU's to Petascale (Proc. of PARCO 2009, Lyon, France)

Autonomic Management of Multiple Non-Functional Concerns in Behavioural Skeletons

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Grids, P2P and Services Computing

grid
Formal Synthetic Immunology

Marco Aldinucci, Andrea Bracciali, Pietro Liò

ERCIM News

bioinformatics fastflow
Efficient streaming applications on multi-core with FastFlow: The biosequence alignment test-bed

Marco Aldinucci, Marco Danelutto, Massimiliano Meneghin, Massimo Torquati, Peter Kilpatrick

Elsevier

fastflow
Big-step Operational Semantics Revisited

Jaroslaw D. M. Kusmierek, Viviana Bono

Fundam. Informaticae

Delta-Oriented Programming of Software Product Lines

Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella

Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings

Safe Recursion on Notation into a Light Logic by Levels

Luca Roversi, Luca Vercelli

Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010

Linear lambda calculus with explicit substitutions as proof-search in Deep Inference

Luca Roversi

CoRR

2009
Co-design of distributed systems using skeletons and autonomic management abstractions

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Euro-Par 2008 Workshops - Parallel Processing, Selected Papers

Autonomic management of non-functional concerns in distributed and parallel application programming

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Proc. of Intl. Parallel & Distributed Processing Symposium (IPDPS)

grid
Towards hierarchical management of autonomic components: a case study

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Proc. of Intl. Euromicro PDP 2009: Parallel Distributed and network-based Processing

grid
FastFlow: Efficient Parallel Streaming Applications on Multi-core

Marco Aldinucci, Massimo Torquati, Massimiliano Meneghin

fastflow
Semi-formal models to support program development: autonomic management within component based parallel and distributed programming

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Formal Methods for Components and Objects: 7th Intl. Symposium, FMCO 2008, Sophia-Antipolis, France, October 20 - 24, 2008, Revised Lectures

parallel semantics
STKM on SCA: a Unified Framework with Components, Workflows and Algorithmic Skeletons

Marco Aldinucci, Hinde Lilia Bouziane, Marco Danelutto, Christian Pérez

Proc. of 15th Intl. Euro-Par 2009 Parallel Processing

grid
I-Java: An Extension of Java with Incomplete Objects and Object Composition

Lorenzo Bettini, Viviana Bono, Erica Turin

Software Composition - 8th International Conference, SC@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

A Local Criterion for Polynomial-Time Stratified Computations

Luca Roversi, Luca Vercelli

Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

Taming Modal Impredicativity: Superlazy Reduction

Ugo Dal Lago, Luca Roversi, Luca Vercelli

Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

A By-Level Analysis of Multiplicative Exponential Linear Logic

Marco Gaboardi, Luca Roversi, Luca Vercelli

Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

2008
Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture

Marco Aldinucci, Gabriel Antoniu, Marco Danelutto, Mathieu Jan

Achievements in European Research on Grid Systems

parallel
Automatic mapping of ASSIST applications using process algebra

Marco Aldinucci, Anne Benoit

Parallel Processing Letters

parallel
Behavioural skeletons for component autonomic management on grids

Marco Aldinucci, Sonia Campa, Marco Danelutto, Patrizio Dazzi, Peter Kilpatrick, Domenico Laforenza, Nicola Tonellotto

Making Grids Work

parallel
From Orc Models to Distributed Grid Java code

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Patrizio Dazzi

Proc. of the Integrated Research in Grid Computing Workshop

grid
A framework for prototyping and reasoning about grid systems

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Parallel Computing: Architectures, Algorithms and Applications

grid
Behavioural skeletons in GCM: autonomic management of grid components

Marco Aldinucci, Sonia Campa, Marco Danelutto, Marco Vanneschi, Patrizio Dazzi, Domenico Laforenza, Nicola Tonellotto, Peter Kilpatrick

Proc. of Intl. Euromicro PDP 2008: Parallel Distributed and network-based Processing

grid
Advances in Autonomic Components & Services

Marco Aldinucci, Marco Danelutto, Giorgio Zoppi, Peter Kilpatrick

From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008)

grid
Securing skeletal systems with limited performance penalty: the Muskel experience

Marco Aldinucci, Marco Danelutto

Journal of Systems Architecture

parallel
Towards a Formal Semantics for Autonomic Components

Marco Aldinucci, Emilio Tuosto

From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008)

grid
Towards Software Component Assembly Language Enhanced with Workflows and Skeletons

Marco Aldinucci, Marco Danelutto, Hinde Lilia Bouziane, Christian Pérez

Proc. of the ACM SIGPLAN Component-Based High Performance Computing (CBHPC)

grid
VirtuaLinux: virtualized high-density clusters with no single point of failure

Marco Aldinucci, Marco Danelutto, Massimo Torquati, Francesco Polzella, Gianmarco Spinatelli, Marco Vanneschi, Alessandro Gervaso, Manuel Cacitti, Pierfrancesco Zuccato

Parallel Computing: Architectures, Algorithms and Applications

system-sw
The VirtuaLinux Storage Abstraction Layer for Efficient Virtual Clustering

Marco Aldinucci, Massimo Torquati, Marco Vanneschi, Pierfrancesco Zuccato

Proc. of Intl. Euromicro PDP 2008: Parallel Distributed and network-based Processing

system-sw
A typed lambda calculus with intersection types

Viviana Bono, Betti Venneri, Lorenzo Bettini

Theor. Comput. Sci.

On Traits and Types in a Java-like Setting

Viviana Bono, Ferruccio Damiani, Elena Giachino

Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

A trait based re-engineering technique for Java hierarchies

Lorenzo Bettini, Viviana Bono, Marco Naddeo

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008

Type safe dynamic object delegation in class-based languages

Lorenzo Bettini, Viviana Bono

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages

Lorenzo Bettini, Viviana Bono, Betti Venneri

Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets

Luca Roversi, Luca Vercelli

Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers

Weak Affine Light Typing is complete with respect to Safe Recursion on Notation

Luca Roversi

CoRR

2007
An abstract schema modeling adaptivity management

Marco Aldinucci, Sonia Campa, Massimo Coppola, Marco Danelutto, Corrado Zoccolo, Francoise André, Jérémy Buisson

Integrated Research in Grid Computing

grid
Towards the Automatic Mapping of ASSIST Applications for the Grid

Marco Aldinucci, Anne Benoit

Integrated Research in Grid Computing

parallel
Adaptable Parallel Components for Grid Programming

Jan Dünnweber, Sergei Gorlatch, Sonia Campa, Marco Aldinucci, Marco Danelutto

Integrated Research in Grid Computing

grid
Skeleton based parallel programming: functional and parallel semantic in a single shot

Marco Aldinucci, Marco Danelutto

Computer Languages, Systems and Structures

parallel
MUSKEL: an expandable skeleton environment

Marco Aldinucci, Marco Danelutto, Patrizio Dazzi

Scalable Computing: Practice and Experience

parallel
Management in distributed systems: a semi-formal approach

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Proc. of 13th Intl. Euro-Par 2007 Parallel Processing

parallel semantics
Adding metadata to Orc to support reasoning about grid programming

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Towards Next Generation Grids (Proc. of the CoreGRID Symposium 2007)

grid
PAL: Exploiting Java Annotations for Parallelism

Marco Danelutto, Marcelo Pasin, Marco Vanneschi, Patrizio Dazzi, Luigi Presti, Domenico Laforenza

Achievements in European Research on Grid Systems

grid
Skeleton Parallel Programming and Parallel Objects

Marcelo Pasin, Pierre Kuonen, Marco Danelutto, Marco Aldinucci

Integrated Research in Grid Computing

parallel
The cost of security in skeletal systems

Marco Aldinucci, Marco Danelutto

Proc. of Intl. Euromicro PDP 2007: Parallel Distributed and network-based Processing

grid
Virtual clusters with no single point of failure

Marco Aldinucci, Pierfrancesco Zuccato

Intl. Supercomputing Conference (ISC2007), Poster session

system-sw
Hygienic methods Ñ Introducing HygJava

Jaroslaw D. M. Kusmierek, Viviana Bono

J. Object Technol.

Modularizing constructors

Viviana Bono, Jaroslaw D. M. Kusmierek

J. Object Technol.

FJMIP: A Calculus for a Modular Object Initialization

Viviana Bono, Jaroslaw D. M. Kusmierek

Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings

Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness

Luca Roversi

CoRR

2006
Parallel program/component adaptivity management

Marco Aldinucci, Francoise André, Jérémy Buisson, Sonia Campa, Massimo Coppola, Marco Danelutto, Corrado Zoccolo

Parallel Computing: Current & Future Issues of High-End Computing (Proc. of PARCO 2005, Malaga, Spain)

parallel
Towards a distributed scalable data service for the grid

Marco Aldinucci, Marco Danelutto, Gianni Giaccherini, Massimo Torquati, Marco Vanneschi

Parallel Computing: Current & Future Issues of High-End Computing (Proc. of PARCO 2005, Malaga, Spain)

parallel
Algorithmic skeletons meeting grids

Marco Aldinucci, Marco Danelutto

Parallel Computing

parallel
High level grid programming with ASSIST

Marco Aldinucci, Massimo Coppola, Marco Danelutto, Nicola Tonellotto, Marco Vanneschi, Corrado Zoccolo

Computational Methods in Science and Technology

parallel
ASSIST as a research framework for high-performance Grid programming environments

Marco Aldinucci, Massimo Coppola, Marco Danelutto, Marco Vanneschi, Corrado Zoccolo

Grid Computing: Software environments and Tools

grid
Structured implementation of component based grid programming environments

Marco Aldinucci, Massimo Coppola, Sonia Campa, Marco Danelutto, Marco Vanneschi, Corrado Zoccolo

Future Generation Grids

grid
Autonomic QoS in ASSIST Grid-aware components

Marco Aldinucci, Marco Danelutto, Marco Vanneschi

Proc. of Intl. Euromicro PDP 2006: Parallel Distributed and network-based Processing

grid
Building interoperable grid-aware ASSIST applications via WebServices

Marco Aldinucci, Marco Danelutto, Andrea Paternesi, Roberto Ravazzolo, Marco Vanneschi

Parallel Computing: Current & Future Issues of High-End Computing (Proc. of PARCO 2005, Malaga, Spain)

grid
Self-configuring and self-optimizing grid components in the GCM model and their ASSIST implementation

Marco Aldinucci, Carlo Bertolli, Sonia Campa, Massimo Coppola, Marco Vanneschi, Luca Veraldi, Corrado Zoccolo

Proc. of. HPC-GECO/Compframe (held in conjunction with HPDC-15)

grid
2005
Components for high performance Grid programming in Grid.it

Marco Aldinucci, Sonia Campa, Massimo Coppola, Marco Danelutto, Domenico Laforenza, Diego Puppin, Luca Scarponi, Marco Vanneschi, Corrado Zoccolo

Proc. of the Intl. Workshop on Component Models and Systems for Grid Applications

grid
Using Code Parameters for Component Adaptations

Jan Dünnweber, Sergei Gorlatch, Sonia Campa, Marco Aldinucci, Marco Danelutto

Proc. of the Integrated Research in Grid Computing Workshop

grid
Dynamic reconfiguration of grid-aware applications in ASSIST

Marco Aldinucci, Alessandro Petrocelli, Edoardo Pistoletti, Massimo Torquati, Marco Vanneschi, Luca Veraldi, Corrado Zoccolo

Proc. of 11th Intl. Euro-Par 2005 Parallel Processing

grid
Grid technologies and c-business for SMEs

Marco Aldinucci, Marco Vanneschi, Matteo Villa

Innovation and the Knowledge Economy: Issues, Applications, Case Studies (Proc. of Intl. conference eChallenges 2005)

grid
SFIDA: interoperability in innovative c-business models for SMEs through an enabling Grid platform

Marco Aldinucci, Sergio Gusmeroli, Marco Vanneschi, Matteo Villa

Pre-proc. of INTEROP-ESA: Intl. Conference on Interoperability on Enterprise Software and Applications

grid
Optimization techniques for skeletons on grids

Marco Aldinucci, Marco Danelutto, Jan Dünnweber, Sergei Gorlatch

Grid Computing and New Frontiers of High Performance Processing

parallel
MOMI: a calculus for mobile mixins

Lorenzo Bettini, Betti Venneri, Viviana Bono

Acta Informatica

Safe and Flexible Objects with Subtyping

Lorenzo Bettini, Viviana Bono, Silvia Likavec

J. Object Technol.

Safe Object Composition in the Presence of Subtyping

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Safe and flexible objects

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005

Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004

Elsevier

2004
Accelerating apache farms through ad-HOC distributed scalable object repository

Marco Aldinucci, Massimo Torquati

Proc. of 10th Intl. Euro-Par 2004 Parallel Processing

parallel
A framework for experimenting with structure parallel programming environment design

Marco Aldinucci, Sonia Campa, Pierpaolo Ciullo, Massimo Coppola, Marco Danelutto, Paolo Pesciullesi, Roberto Ravazzolo, Massimo Torquati, Marco Vanneschi, Corrado Zoccolo

Parallel Computing: Software Technology, Algorithms, Architectures and Applications (Proc. of PARCO 2003, Dresden, Germany)

parallel
An operational semantics for skeletons

Marco Aldinucci, Marco Danelutto

Parallel Computing: Software Technology, Algorithms, Architectures and Applications (Proc. of PARCO 2003, Dresden, Germany)

parallel
Optimization Techniques for Implementing Parallel Skeletons in Grid Environments

Marco Aldinucci, Marco Danelutto, Jan Dünnweber

Proc. of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming

parallel
O'Klaim: A Coordination Language with Mobile Mixins

Lorenzo Bettini, Viviana Bono, Betti Venneri

Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

Subtyping-Inheritance Conflicts: The Mobile Mixin Case

Lorenzo Bettini, Viviana Bono, Betti Venneri

Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France

A core calculus of mixins and incomplete objects

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada

A core calculus of higher-order mixins and classes

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004

Preface

Viviana Bono, Michele Bugliesi, Sophia Drossopoulou

Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004

2003
ASSIST demo: a high level, high performance, portable, structured parallel programming environment at work

Marco Aldinucci, Sonia Campa, Pierpaolo Ciullo, Massimo Coppola, Marco Danelutto, Paolo Pesciullesi, Roberto Ravazzolo, Massimo Torquati, Marco Vanneschi, Corrado Zoccolo

Proc. of 9th Intl. Euro-Par 2003 Parallel Processing

parallel
The Implementation of ASSIST, an Environment for Parallel and Distributed Programming

Marco Aldinucci, Sonia Campa, Pierpaolo Ciullo, Massimo Coppola, Silvia Magini, Paolo Pesciullesi, Laura Potiti, Roberto Ravazzolo, Massimo Torquati, Marco Vanneschi, Corrado Zoccolo

Proc. of 9th Intl Euro-Par 2003 Parallel Processing

parallel
eskimo: experimenting skeletons on the shared address model

Marco Aldinucci

Proc. of HLPP2003: Intl. Workshop on High-Level Parallel Programming

parallel
eskimo: experimenting with Skeletons in the Shared Address Model

Marco Aldinucci

Parallel Processing Letters

parallel
An advanced environment supporting structured parallel programming in Java

Marco Aldinucci, Marco Danelutto, Paolo Teti

Future Generation Computer Systems

parallel
Dynamic shared data in structured parallel programming frameworks

Marco Aldinucci

Computer Science Dept., University of Pisa

parallel
Extensible Objects: A Tutorial

Viviana Bono

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

The Klaim Project: Theory and Practice

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

Type Inference for Nested Self Types

Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn

Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

First Workshop on Object Oriented Developments - Preface

Viviana Bono, Michele Bugliesi

Workshop on Object Oriented Developments, WOOD 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 13, 2003

Workshop on Object Oriented Developments, WOOD 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 13, 2003

Elsevier

Higher-Order Linear Ramified Recurrence

Ugo Dal Lago, Simone Martini, Luca Roversi

Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

2002
Automatic Program Transformation: The Meta Tool for Skeleton-based Languages

Marco Aldinucci

Constructive Methods for Parallel Programming

parallel
Products and Polymorphic Subtypes

Viviana Bono, Jerzy Tiuryn

Fundam. Informaticae

Typed interpretations of extensible objects

Viviana Bono, Michele Bugliesi, Silvia Crafa

ACM Trans. Comput. Log.

Coordinating Mobile Object-Oriented Code

Lorenzo Bettini, Viviana Bono, Betti Venneri

Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings

A Calculus for "Environment-Aware" Computation

Viviana Bono, Ferruccio Damiani, Paola Giannini

Foundations of Wide Area Network Computing, F-WAN 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002

Intuitionistic Light Affine Logic

Andrea Asperti, Luca Roversi

ACM Trans. Comput. Log.

2001
Towards Parallel Programming by Transformation: The FAN Skeleton Framework

Marco Aldinucci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti

Parallel Algorithms and Applications

parallel
Towards Object-Oriented Klaim

Lorenzo Bettini, Viviana Bono, Betti Venneri

Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001

A CuCh Interpretation of an Object-Oriented Language

Viviana Bono, Ivano Salvo

Bohm's theorem: applications to Computer Science Theory, BOTH 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001

Intersection Logic

Simona Ronchi Della Rocca, Luca Roversi

Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings

Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings

Springer

2000
The Meta Transformation Tool for Skeleton-Based Languages

Marco Aldinucci

Proc. of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming

parallel
Light Affine Logic as a Programming Language: A First Contribution

Luca Roversi

Int. J. Found. Comput. Sci.

Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)

Andrea Asperti, Luca Roversi

CoRR

1999
Stream parallel skeleton optimization

Marco Aldinucci, Marco Danelutto

Proc. of PDCS: Intl. Conference on Parallel and Distributed Computing and Systems

parallel
A Subtyping for Extensible, Incomplete Objects

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori

Fundam. Informaticae

Matching for the lambda Calculus of Objects

Viviana Bono, Michele Bugliesi

Theor. Comput. Sci.

A Core Calculus of Classes and Mixins

Viviana Bono, Amit Patel, Vitaly Shmatikov

ECOOP'99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings

Interpretations of Extensible Objects and Types

Viviana Bono, Michele Bugliesi

Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings

A Core Calculus of Classes and Objects

Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov

Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999

The call-by-value [lambda]-calculus: a semantic investigation

Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi

Math. Struct. Comput. Sci.

A P-Time Completeness Proof for Light Logics

Luca Roversi

Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

1998
Rewriting skeleton programs: How to evaluate the data-parallel stream-parallel tradeoff

Marco Aldinucci, Massimo Coppola, Marco Danelutto

Proc. of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming

parallel
An Imperative, First-Order Calculus with Object Extension

Viviana Bono, Kathleen Fisher

ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings

A Polymorphic Language Which Is Typable and Poly-step

Luca Roversi

Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings

1997
Subtyping Constraints for Incomplete Objects (Extended Abstract)

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori

TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

Matching Constraints for the Lambda Calculus of Objects

Viviana Bono, Michele Bugliesi

Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Lambda Calculus and Intuitionistic Linear Logic

Simona Ronchi Della Rocca, Luca Roversi

Stud Logica

1996
A Lambda Calculus of Incomplete Objects

Viviana Bono, Michele Bugliesi, Luigi Liquori

Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings

A Type-Free Resource-Aware Lambda-Calculus

Luca Roversi

Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers

1995
Categorical semantics of the call-by-value lambda-calculus

Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi

Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings

1994
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects

Viviana Bono, Luigi Liquori

Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers