Program

OPERA will be held during the Hot Topics Day (HTD) of RTSS 2024. More info on venue and accomodation can be found here.

Alberto Marchetti-Spaccamela deliver a keynote talk at OPERA. Stay tuned for more updates!

Accepted Papers and Schedule

  • [morning]: Registration. You are welcome at the registration desk.
  • 10:15 – 10:45: Coffee Break.
  • 10:45 – 12:00: Welcome and Session 1.
    • Title: “Welcome to OPERA 2024”.
      Speaker: Pontus Ekberg.
    • Title: “ILP Representations of Multi-Phase Limited-Preemption Tasks”.
      Authors: Benjamin Standaert (Washington University in St. Louis), Marion Sudvarg (Washington University in St. Louis), Fatima Raadia (Wayne State University), Christopher Gill (Washington University in St. Louis).
      Speaker: TBA.
      Discussant: TBA.
    • Title: “Optimizing Runtime Security in Real-Time Embedded Systems”.
      Authors: Cailani Lemieux-Mack (Vanderbilt University), Kevin Leach (Vanderbilt University), Ning Zhang (Washington University in St. Louis), Sanjoy Baruah (Washington University in St. Louis), Bryan C. Ward (Vanderbilt University).
      Speaker: TBA.
      Discussant: TBA.
  • 12:00 – 13:15: Lunch Break.
  • 13:15 – 15:00: Session 2.
    • Title: “Optimizing over FP/EDF Execution Times: Known Results and Open Problems”.
      Authors: Enrico Bini (University of Turin).
      Speaker: Enrico Bini.
      Discussant: TBA.
    • Title: “Towards Non-Volatile Memory Wear-Leveling In (Timing)-Critical Systems”.
      Authors: Christian Hakert (TU Dortmund), Kay Heider (TU Dortmund), Junjie Shi (TU Dortmund), Jian-Jia Chen (TU Dortmund).
      Speaker: TBA.
      Discussant: TBA.
    • Title: “Optimizing Lock Granularity for Non-Nested Resource Access under the Priority-Ceiling Protocol”.
      Authors: Catherine E. Nemitz (Davidson College), Tanya Amert (Carleton College).
      Speaker: TBA.
      Discussant: TBA.
  • 15:00 – 15:30: Coffee Break.
  • 15:30 – 16:30: Keynote Talk.
  • 16:30 – 16:45: Closing Remarks.

Event Format

OPERA aims at collecting relevant past results or preliminary ideas on the topics of interest, creating a constructive environment for discussion, scientific advancement, and sharing ideas. To achieve such a goal the program is divided in presentations by contributors (of around 15-20 minutes), and open discussion within the audience. To stimulate the discussion, each accepted presentation is assigned a discussant.

The discussant:

  • has normally worked in the area of the presented work or has interest in doing so;
  • has read the accepted paper and possibly the necessary related works;
  • is expected to stimulate the discussion after the presentation;
  • is appointed by the workshop organizer and may be a TPC member.

At the conclusion of the workshop a kahoot quiz will be organized among the participants.