Benoit Baudry has more than 15 years of experience developing and supervising research in software engineering. He is a Professor of Software Technology at the KTH Royal Institute of Technology in Stockholm, Sweden. From 2004 to 2017, he was a research scientist at INRIA in Rennes, France. There, he led the DiverSE research group, one of the largest French group for software research, from 2013 to 2017. His research interests are in the areas of software diversification and testing for performance and moving target defenses. His work relies on experimental science and strong collaborations with the software indsutry, in order to develop sound and relevant results. He has supervised more than 10 PhD students since 2004 funded by public research grants and by industry.
The doctoral symposium keynote is open for all ASE attendees.
- A DSL for requirements in the context of a seamless approach.
Florian Galinier.
Institut de Recherche en Informatique de Toulouse (IRIT), France - Assessing and evaluating functional suitability of software.
Philipp Haindl.
University of Linz, Austria - Towards Automatic Restrictification of CUDA Kernel Arguments
Rokiatou Diarra
Université Paris Sud, France - A Multi-Objective Framework for Effective Performance Fault Injection
in Distributed Systems
Luca Traini
Università degli studi dell'Aquila, Italy - Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI
Models
David Sferruzza
Laboratoire des Sciences du Numérique de Nantes (LS2N), France - Differential Program Analysis with Fuzzing and Symbolic Execution
Yannic Noller
Humboldt University of Berlin, Germany - Automatic Mining of Constraints for Monitoring Systems of Systems
Thomas Krismayer
Johannes Kepler Universität Linz, Austria - Software Engineering Techniques Applied to Relational Databases
Julien Delplanque
Université de Lille, France
Doctoral Symposium will be held on September 3rd at the Corum, room JOFFRE 5.
SESSION 108:30 AM - 09:30 AM
Keynote: The role of role models in an academic career.
Benoit Baudry
09:30 AM - 10:00 AM
Assessing and evaluating functional suitability of software
Philipp Haindl
SESSION 2
10:30 AM - 11:00 AM
Automatic Mining of Constraints for Monitoring Systems of Systems
Thomas Krismayer
11:00 AM - 11:30 PM
Towards Automatic Restrictification of CUDA Kernel Arguments
Rokiatou Diarra
11:30 PM - 12:00 PM
A DSL for requirements in the context of a seamless approach
Florian Galinier
SESSION 3
01:30 PM - 02:00 PM
A Multi-Objective Framework for Effective Performance Fault Injection in Distributed Systems
Luca Traini
02:00 PM - 02:30 PM
Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI Models
David Sferruzza
02:30 PM - 03:00 PM
Differential Program Analysis with Fuzzing and Symbolic Execution
Yannic Noller
SESSION 4
03:30 PM - 04:00 PM
Software Engineering Techniques Applied to Relational Databases
Julien Delplanque.
04:00 PM - 05:00 PM Panel & Questions
