The problem of programming systems research methodologies (MOPS 2022 - Tutorial on the Methodology of Programming Systems) - ‹Programming› 2022

Mon 11 - Thu 14 April 2022

Who

Tomas Petricek, Joel Jakubovic

Track

MOPS 2022 Tutorial on the Methodology of Programming Systems

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

When

Fri 25 Mar 2022 09:00 - 09:30 at OpenSpace - Programming systems and methodologies

Abstract

TBD

Tomas Petricek

University of Kent

United Kingdom

Joel Jakubovic

University of Kent

United Kingdom

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Session Program

Fri 25 Mar
Displayed time zone: Lisbon change

	09:00 - 10:00	Programming systems and methodologiesMOPS at OpenSpace We will open the day with a discussion about the problem of the evaluation of programming systems. What are programming systems and why are they harder to evaluate and study than programming languages?

	09:00 30m Talk		The problem of programming systems research methodologies MOPS Tomas Petricek University of Kent, Joel Jakubovic University of Kent
	09:30 30m Panel		What are programming systems & how do you study them? MOPS Tomas Petricek University of Kent