SATToSE April 2017

sattose@list.inf.unibe.ch

3 participants
4 discussions

by Gregorio Robles

(sorry for multiple copies) Hi, for those who enjoy Madrid so much during SATToSE and would like to stay ;), Bitergia is opening two PhD positions under the SENECA EU-funded project. By now funding for 18 months is secured, half of the time visiting another partner (TU Delft or the Athens University of Economics and Business), but extensions are negotiated. More information can be found here: https://euraxess.ec.europa.eu/jobs/209555 (9 months in Madrid, 9 in Athens) https://… [View More]

7 years, 11 months

PhD position in software engineering and cloud computing

by Tom MENS

Open call for PhD position in software engineering and cloud computing (University of Lille and University of Mons) The computer science departments of University of Lille and University of Mons (Belgium) seek applications for a PhD position in software engineering, under joint co-supervision between Prof. Laurence Duchien (Spirals team, CRIStAL laboratory, Lille) and Prof. Tom Mens (Software Engineering Lab, INFORTECH Research Institute, Mons). The funding will be for a PhD in Sciences for a … [View More]3 year period. The candidate should carry out 18 months of his research in each team. Lille and Mons are 80 km away (1 hour by train). The topic of the thesis will be "Exploring the variability and evolution of cloud computing systems – An approach based on feature modelling and behavioural design models". A more detailed description is provided below. Only highly qualified PhD candidates with a master's degree in computer science should apply. The required skills include very good knowledge in the field of software engineering, excellent programming skills and good knowledge of formal tools. The start date of the employment is expected to be 15 September 2017 or as soon as possible thereafter. Applications will be received electronically (by e-mail) *as soon as possible*, and the call will be closed end of April 2017. The application must contain: + a motivation letter including a statement of your research interests + a full curriculum vitae, including list of publications if any + a copy of your master's thesis and publications, if any + a copy of your bachelor and master diplomas and transcripts of record, including grades and relative position + a minimum of two letters of recommendation, including the contact details of the referents Applications received too late or not complying with the above requirements, may not be considered. Enquiries about the position can be made to Prof. Laurence Duchien, University of Lille, France, Laurence.Duchien(a)univ-lille1.fr<mailto:Laurence.Duchien@univ-lille1.fr> or Prof. Tom Mens, University of Mons, Belgium, tom.mens(a)umons.ac.be<mailto:tom.mens@umons.ac.be> https://sujets-these.lille.inria.fr/details.html?id=9674c18058724d2d90b4d35… Short description of thesis topic: Cloud computing systems usually exhibit high variability due to the number of choices concerning the selection of cloud providers as well as of their offered cloud services. At the same time, they provide a flexible environment, where resources and services can be provisioned and released on demand. To cope with the high volatility and variability of such systems, the goal of the thesis is to propose a model-based approach for expressing their variability, facilitating their evolution, and exploring the design space of possible solutions. The proposed approach will rely on research advances in dynamic software product lines [1], and will use techniques such as feature modelling to specify and analyse the variabilities and commonalities in cloud computing services and providers at a high level of abstraction [2]. Behavioural aspects of these systems will be modelled using statechart-based design models [3,4], and the technique of design by contract will be used to constrain these models [5]. Semi-automated and interactive tool support will be provided to verify and test structural and behavioural properties over these models. In addition, evolution of these models will be supported. In particular, the research should focus on support for behaviour preserving refactoring and dynamic reconfiguration. The practical use of these techniques to explore and traverse the design space of cloud environments will also be explored by an extension of SALOON tools [2,6] and an experimental validation on cloud evolutions defined by several providers. For example, when reconfiguring a cloud environment, the selected set features (representing cloud providers and services) may have a different impact on performance, costs or reconfiguration time, and optimal reconfiguration paths should be proposed. References: [1] S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid. Dynamic software product lines. COMPUTER, 41(4):93-95, 2008 [2] C. Quinton, D. Romero, and L. Duchien. SALOON: a platform for selecting and configuring cloud environments. Software: Practice and Experience, 46(1):55{78, 2016 [3] D. Harel and E. Gery, “Executable object modeling with statecharts,” IEEE Computer, vol. 30, no. 7, pp. 31–42, July 1997 [4] D. Drusinsky, Modeling and Verification Using UML Statecharts. Elsevier Science, 2006. [5] B. Meyer. 1992. Applying "Design by Contract". Computer 25, 10 (October 1992), 40-51 [6] https://team.inria.fr/spirals/saloon/ [View Less]

7 years, 11 months

SATToSE 2017 deadline coming closer!

by Gregorio Robles

[apologies for crossposting] Dear all, the deadline for submitting your contribution to SATToSE is round the corner (April 14th)! Don't miss this opportunity to share your research and ideas with your peers. Remember that the slogan of SATToSE is "a friendly venue for your crazy ideas"! regards, Gregorio ======================================================================== 10th Seminar Series on Advanced Techniques & Tools for Software Evolution ( SATToSE 2017) June 7 - June … [View More]9, 2017, Madrid, Spain Find us on the web: http://sattose.org/2017 Follow us on twitter: https://twitter.com/sattose ======================================================================== SATToSE is the Seminar Series on Advanced Techniques & Tools for Software Evolution. The goal of SATToSE is to gather both undergraduate and graduate students to showcase their research, exchange ideas, and improve their communication skills. SATToSE will host invited talks, paper presentations, tutorials, and a hackathon, fostering interactions among participants and stimulating lively debates and discussions around the topics of interest of the event. We expect attendees to be active participants and not just passive listeners. Presenters should be open to and encourage questions and discussions during their talks. This year's SATToSE has a co-located event on the day before: the SENECA European (http://senecaproject.github.io) project training for PhDs. It is a one-day seminar on "writing up & moving on" and "commercializing research", that will have five renowned speakers. Those who register for SATToSE will have the possibility to attend this event for free. ### Important Dates 14th April, 2017 - Submission deadline 4th May, 2017 - Notification of acceptance 9th May, 2017 - Registration deadline 6th June, 2017 - SENECA European project training for PhDs 7th - 9th June, 2017 - SATToSE Seminar ### Topics of Interest Contributions are solicited on all aspects of software and model evolution, practices, and technologies. In particular, we encourage submissions about the following (non-exhaustive) list of topics: * Supporting tools, processes, and models for managing software evolution * Industrial needs, case studies and experiences * Software analytics and visualisation techniques to support software evolution * Empirical studies in evolution and maintenance * Program transformation, refactoring, renovation, and migration * Program and/or data reverse engineering * Evolution of data-intensive or process-intensive systems * Approaches of model-driven software evolution * Software evolution for emerging paradigms * Coupled evolution of meta-models, models, and transformations * Classification of evolution scenarios * Reliability and security aspects of software evolution * Negative research results in software evolution * Software ecosystem evolution * Formalisms, notations, theories, methods, and languages for expressing software evolution * Conformance checking, inconsistency management, synchronisation, differencing, comparison, versioning, impact analysis of evolving models ### Types of Submission We solicit extended abstracts of 2–5 pages, in one of the following forms: * Work in Progress: Early ideas and achievements that you want to share with the community and get feedback on. * Publication Summaries: Overview of research results already published or ready to be submitted to a conference or a journal. * Technology Showdown Demonstrations: Technical explanation of important features of your framework, library or tool. Contributions are managed through EasyChair. Please submit your paper using the following link: https://www.easychair.org/conferences/?conf=sattose2017 ### Presentation and Publication All submissions will be reviewed and screened for scope and compatibility by the program committee, which will provide feedback for improving the abstract and preparing the talk. All contributions accepted for presentation will receive 10–30 minutes during the event for presentation and discussion. Submitters will also be offered the opportunity to receive feedback and guidance to improve their submission towards a formally published paper, in a SATToSE post-proceedings issue of an open access journal. ### Program Committee * General chair: Gregorio Robles, Universidad Rey Juan Carlos, Spain. * Program co-chairs: Haidar Osman, University of Bern, Switzerland. Andrei Chis, Feenk, Switzerland. * Hackathon chair Felienne Hermans, Delft University of Technology, The Netherlands. ### Program Committee Haidar Osman (co-chair), University of Bern, Switzerland Andrei Chis (co-chair), Feenk , Switzerland Alexandre Bergel, University of Chile, Chile. Andrea Caracciolo, Software Improvement Group (SIG), The Netherlands. Tommaso Dal Sasso, University of Lugano, Switzerland. Coen De Roover, Vrije Universiteit Brussel, Belgium. Serge Demeyer, University of Antwerpen, Belgium. Davide Di Ruscio, University of L'Aquila, Italy. Anne Etien, University of Lille 1, France Mohammad Ghafari, University of Bern, Switzerland. Anya Helene Bagge, University of Bergen, Norway. André Hora, Federal University of Minas Gerais, Brazil. Mircea Lungu, University of Groningen, The Netherlands. Kim Mens, Université catholique de Louvain, Belgium. Nevena Milojković, University of Bern, Switzerland. Luca Ponzanelli, University of Lugano, Switzerland. Sebastiano Panichella, University of Zurich, Switzerland. Alexander Serebrenik, Eindhoven University of Technology, The Netherlands. Michael W. Godfrey, University of Waterloo, Canada. Vadim Zaytsev, Raincode, Belgium -- Gregorio Robles Universidad Rey Juan Carlos http://gsyc.urjc.es/~grex [View Less]

7 years, 12 months

Tenure Track Faculty Position in Big Data Analytics (Mons, Belgium)

by Tom MENS

--------------------------------------------------------------------- Tenure Track Faculty Position in Big Data Analytics Department of Informatics, University of Mons, Belgium ----------------------------------------------------------------------- The Department of Informatics of the Faculty of Science at the University of Mons (Belgium) invites applications for a tenure-track faculty position in computer science, with special emphasis on big data analytics. The position is at the level of … [View More]

8 years

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

SATToSE April 2017