ECOOP Awards (ECOOP 2024 - Technical Papers)

Who

Guido Salvaneschi, Jonathan Aldrich

Track

ECOOP 2024 Technical Papers

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

Tue 17 Sep 2024 13:30 - 14:00 at EI 7 - Chair(s): Jonathan Aldrich, Guido Salvaneschi

Guido Salvaneschi

University of St. Gallen

Switzerland

Jonathan Aldrich

Carnegie Mellon University

United States

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

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00	Technical Papers at EI 7 Chair(s): Jonathan Aldrich Carnegie Mellon University, Guido Salvaneschi University of St. Gallen

13:30 30m Awards		ECOOP Awards Technical Papers Guido Salvaneschi University of St. Gallen, Jonathan Aldrich Carnegie Mellon University
14:00 15m Talk		Mutation-based Lifted Repair of Software Product Lines Technical Papers Aleksandar S. Dimovski Mother Teresa University, Skopje
14:15 15m Talk		Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation Technical Papers Martin Vassor Université de Lorraine; CNRS; Inria; LORIA, Nobuko Yoshida University of Oxford
14:30 15m Talk		CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming Technical Papers Quan Zhou Penn State University, Dang Sixuan Duke University, Danfeng Zhang Duke University
14:45 15m Talk		The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments Technical Papers Petr Maj Czech Technical University, Stefanie Muroya Lei Institute of Science and Technology in Austria, Konrad Siek Czech Technical University in Prague, Luca Di Grazia University of Stuttgart, Jan Vitek Northeastern University

Information for Participants

Tue 17 Sep 2024 13:30 - 15:00 at EI 7 - Chair(s): Jonathan Aldrich, Guido Salvaneschi

Info for room EI 7:

Map: https://tuw-maps.tuwien.ac.at/?q=CDEG13

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15417

ECOOP Awards

Guido Salvaneschi

University of St. Gallen

Switzerland

Jonathan Aldrich

Carnegie Mellon University

United States

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

ISSTA/ECOOP 2024

ECOOP Awards

Program Display Configuration

Guido Salvaneschi

University of St. Gallen

Switzerland

Jonathan Aldrich

Carnegie Mellon University

United States

Program Display Configuration

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change