Prof. Mario Südholt

Research interests

Distributed systems, Cloud programming: virtualized environments, distributed architectures and algorithms
Security, privacy: protecting large-scale distributed applications
eHealth: large-scale biomedical analyses
Software engineering, programming languages: new abstractions for components and crosscutting concerns, language design, formal properties of software

Projects

SNP-HLA Reference Consortium, NExT, 2019-22
SysMics: Toward Systems Medicine based on Genomics, NExT, 2018-21
OncoShare: Oncology Bigdata Sharing for Research, French project, 2018-22
PrivGen: Privacy-preserving sharing and processing of genetic data , CominLabs, 2016-19
Former major projects
- CESSA: Compositional Evolution of Secure Services with Aspects (ANR, 2010-13)
- AOSD-Europe: European Network of Excellence in AOSD (2004-2009)

(Selected) publications (Indexes: Google Scholar, HAL)

"A Hybrid Cloud Deployment Architecture for Privacy-Preserving Collaborative GWAS", ICDF2C 2021, Springer Book Chapter, May 2022
"Secure Distribution of Factor Analysis of Mixed Data (FAMD) ...", AINA'21, May 2021
"Distributed Contextualization of Biomedical Data: ...", AICCSA'20, Nov. 2020
"On distributed collaboration for biomedical analyses", Life@CCGrid'19, June 2019
"Isolation in Cloud Computing Infrastructures: New Security Challenges", Annals of Telecommunications, Feb. 2019
Secure Distributed Computing on Untrusted Fog Infrastructures Using Trusted Linux Containers, CloudCom'18, Dec. 2018
"Putting the Next 500 VM Placement Algorithms to the Acid Test", IEEE TPDS, accepted July 2018
"Constructive Privacy for Shared Genetic Data", CLOSER, Mar. 2018
"VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms", Euro-Par, Aug. 2015
"Aspectual Session Types", Modularity, Apr. 2014
"Essential AOP: The A Calculus", ACM TOPLAS, 2012 & ECOOP, 2010
"Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS", Wiley CCPE, 2012
"Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe, IEEE Computer, 2010
"StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings", ACM AOSD (best paper), Mar. 2008
"Debugging and testing middleware with aspect-based control-flow and causal patterns", Middleware, 2008
"Dynamic Adaptation of the Squid web cache with Arachne", IEEE Software, 2006
"On the automatic evolution of an OS kernel using temporal logic and AOP", IEEE ASE, 2003

Teaching

Head of the module "Cloud Programming and Distributed Applications" of the MSc Alma (in French)
Other graduate and undergraduate courses, engineering and computer science courses on software engineering and programming

Professional activities

Steering committees: Journal and the international conference Programming
Recent PC participations: CloudCom'20, CCGrid'19, CloudCom'19, ProWeb'19, ICICS'18, CloudCom'18, <Programming>'18, SBAC-PAD'18, ProWeb'18, COP'18, CloudCom'17, ProWeb'17, Modularity'16
Selected invited talks
Current PhD students: Samia Boutalbi (co-supervision with Nizar Kheir, Ericsson), Divi de Lacour (co-supervision avec Marc Lacoste, Orange), Wilmer Garzon (co-supervision with Pr. Daniel Benavides, Colombia), Sirine Sayadi (co-supervision with Pr. Pierre-Antoine Gourraud, CHU Nantes, France)
Former editor-in-chief of the editorial board of TAOSD (Springer Verlag), with Prof. Shigeru Chiba, Tokyo Uni. (2015-17)
Former chair of the Aspect-Oriented Software Association (AOSA) (elected 2011-13)

Collective (admin) duties

Head of the Nantes site of the doctoral school in Mathematics and Sciences and Technology of Information (MathSTIC) and deputy director of MathSTIC since Sep. 2017.
Responsible of the activities in software engineering and distributed systems of the API department of IMT Atlantique.
Representant of the API department for doctoral and MSc studies.
Former head of the ASCOLA (2009-17), joint research team of IMT Atlantique, INRIA and LS2N
Former director and deputy director of the doctoral school in Sciences and Technology of Information and Mathematics (ED STIM) from 2014-17.
Former member of the Selection and Validation Committee (CSV) of the Images & Réseaux cluster (2010-17).

Short bio

Mario Südholt

Address