Language Protocols for Domain-Specific Debugging (MODELS 2024 - ACM Student Research Competition)

Sun 22 - Fri 27 September 2024 Linz, Austria

Track

MODELS 2024 ACM SRC

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 25 Sep 2024 11:25 - 11:38 at HS 2 - Poster Session
Wed 25 Sep 2024 14:00 - 14:12 at HS 2 - Presentation Session

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	Poster SessionACM SRC at HS 2 Note this is a poster session, so there is no real order to the individual items. All ACM SRC Students will be required to be at their posters for the complete session and reviewers will go around the room.

11:00 12m Talk		Co-simulation and Crop Representation for Digital Twins of Controlled Environment Agriculture SystemsGraduate ACM SRC Pascal Archambault Université de Montréal
11:12 12m Talk		Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPIGraduate ACM SRC Joshua Tetteh Ocansey Western Norway University of Applied Science
11:25 12m Talk		Language Protocols for Domain-Specific DebuggingGraduate ACM SRC Josselin Enet Nantes Université
11:38 12m Talk		Pipelines Have Feelings Too: A Structured Way To Design CI/CD PipelinesUndergraduate ACM SRC Nirmal Chaudhari McMaster Centre for Software Certification (McSCert)
11:51 12m Talk		Software Modeling Assistance with Large Language ModelsGraduate ACM SRC Meriem Ben Chaaben Université de Montréal
12:04 12m Talk		Space System Modeling Approach for Exploring of the Iced-Covered Ganymede Moon Subsurface OceansGraduate ACM SRC Cyrus Nejat Stevens Institute of Technology
12:17 12m Talk		Towards Model Repair by Human Opinion--Guided Reinforcement LearningUndergraduate ACM SRC Kyanna Dagenais McMaster University

14:00 - 15:30	Presentation SessionACM SRC at HS 2

14:00 12m Talk		Language Protocols for Domain-Specific DebuggingGraduate ACM SRC Josselin Enet Nantes Université
14:12 12m Talk		Co-simulation and Crop Representation for Digital Twins of Controlled Environment Agriculture SystemsGraduate ACM SRC Pascal Archambault Université de Montréal
14:25 12m Talk		Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPIGraduate ACM SRC Joshua Tetteh Ocansey Western Norway University of Applied Science
14:38 12m Talk		Software Modeling Assistance with Large Language ModelsGraduate ACM SRC Meriem Ben Chaaben Université de Montréal
14:51 12m Talk		Space System Modeling Approach for Exploring of the Iced-Covered Ganymede Moon Subsurface OceansGraduate ACM SRC Cyrus Nejat Stevens Institute of Technology
15:04 12m Talk		Towards Model Repair by Human Opinion--Guided Reinforcement LearningUndergraduate ACM SRC Kyanna Dagenais McMaster University
15:17 12m Talk		Pipelines Have Feelings Too: A Structured Way To Design CI/CD PipelinesUndergraduate ACM SRC Nirmal Chaudhari McMaster Centre for Software Certification (McSCert)

Language Protocols for Domain-Specific Debugging

Graduate

Program Display Configuration

Program Display Configuration

Wed 25 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Josselin Enet

Nantes Université

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change