Meeting Room 111 - FormaliSE 2023

VenueMelbourne Convention Exhibition Centre | MCEC

Room nameMeeting Room 111

Floor1

Room number111

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+11:00) Hobart.

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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 May
Displayed time zone: Hobart change

	09:00 - 10:30	FAIRWARE Session1FairWare at Meeting Room 111 Chair(s): Brittany Johnson George Mason University 9:00 KEYNOTE Fairness through Unfairness Os Keyes https://ironholds.org/ 10:00 Fair-Siamese Approach for Accurate Fairness in Image Classification, Kwanhyong Lee, Van-Thuan Pham, and Jiayuan He

	11:00 - 12:30	FAIRWARE Session1FairWare at Meeting Room 111 Chair(s): Tim Menzies North Carolina State University 11:00: On Retrofitting Provenance for Transparent and Fair Software – Drivers and Challenges Jens Dietrich, Matthias Galster, and Markus Luczak-Roesch 11:30: Heavy-tailed Uncertainty in AI Policy Lelia Marie Hampton 12:00: Quantitative and Qualitative Methods for Equitable Research and Development Brittany Johnson, Zhe Yu

	13:45 - 15:15	FAIRWARE Session3FairWare at Meeting Room 111 Chair(s): Zhe Yu Rochester Institute of Technology 13:45: KEYNOTE Applying Safe and Fair Machine Learning Algorithms with the Seldonian Toolkit Austin Hoag, Berkeley Existential Risk Initiative 14:45: Reflexive Practices in Software Engineering by Alicia Boyd

	15:45 - 17:15	FAIRWARE Session4FairWare at Meeting Room 111 Chair(s): Brittany Johnson George Mason University 5:45: Workshop in a workshop: Teaching Ethics 17:05: Workshop Closing + Dinner plans

Mon 15 May
Displayed time zone: Hobart change

09:00 - 10:30	Session 1MOBILESoft Research Track at Meeting Room 111 Chair(s): Mattia Fazzini University of Minnesota, Jacques Klein University of Luxembourg, Li Li Beihang University, Lili Wei McGill University

09:00 30m Talk		Welcome MOBILESoft Research Track
09:30 60m Talk		When AI Meets Mobile App Testing: Getting There in Industrial Cases MOBILESoft Research Track Tao Xie Peking University

11:00 - 12:30	Session 2MOBILESoft Research Track at Meeting Room 111 Chair(s): Jordan Samhi University of Luxembourg

11:00 25m Paper		Analysis of Library Dependency Networks of Package Managers Used in iOS MOBILESoft Research Track Kristiina Rahkema University of Tartu, Dietmar Pfahl University of Tartu, Rudolf Ramler Software Competence Center Hagenberg Pre-print
11:25 25m Paper		FirmwareDroid: Towards Automated Static-Analysis of Pre-Installed Android Apps MOBILESoft Research Track Thomas Sutter Zurich University of Applied Science/University of Zurich, Bernhard Tellenbach Armasuisse Cyber-Defence Campus
11:50 15m Paper		Vulnerability Propagation in Package Managers Used in iOS Development MOBILESoft Research Track Kristiina Rahkema University of Tartu, Dietmar Pfahl University of Tartu Pre-print
12:05 10m Talk		Q&A MOBILESoft Research Track

13:45 - 15:15	Session 3MOBILESoft Research Track at Meeting Room 111

13:45 25m Paper		Understanding the Impact of Fingerprinting in Android Hybrid Apps MOBILESoft Research Track Abhishek Tiwari University of Passau, Germany, Jyoti Prakash University of Passau, Alimerdan Rahimov University of Passau, Germany, Christian Hammer University of Passau
14:25 40m Talk		Leaders Forum Talk - Towards Data-Driven Mobile App Visual Testing MOBILESoft Research Track Chunyang Chen Monash University
15:05 10m Talk		Q&A MOBILESoft Research Track

15:45 - 17:15	Session 4MOBILESoft Research Track / MOBILESoft Tools and Datasets at Meeting Room 111 Chair(s): Xiaoyu Sun Australian National University, Australia

15:45 25m Paper		Native vs Web Apps: Comparing the Energy Consumption and Performance of Android Apps and their Web Counterparts MOBILESoft Research Track Ruben Horn Vrije Universiteit Amsterdam, Abdellah Lahnaoui Vrije Universiteit Amsterdam, Edgardo Reinoso Vrije Universiteit Amsterdam, Sicheng Peng Vrije Universiteit Amsterdam, Vadim Isakov Vrije Universiteit Amsterdam, Tanjina Islam Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam Pre-print
16:10 15m Paper		Ebserver: Automating Resource-Usage Data Collection of Android Applications MOBILESoft Tools and Datasets Wellington de Oliveira Júnior University of Lisbon, Bernardo de Moraes Santana Júnior , Fernando Castor Utrecht University & Federal University of Pernambuco, João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal
16:25 40m Talk		Leaders Forum Talk - Discovering Requirements Using the App Store: when automation is not enough MOBILESoft Research Track Paola Spoletini Kennesaw State University
17:05 10m Talk		Q&A MOBILESoft Research Track

Tue 16 May
Displayed time zone: Hobart change

09:00 - 10:30	Session 5MOBILESoft Research Track at Meeting Room 111 Chair(s): Mattia Fazzini University of Minnesota, Jacques Klein University of Luxembourg, Li Li Beihang University, Lili Wei McGill University

09:30 60m Talk		Why vulnerability analysis for Android needs to change fundamentally MOBILESoft Research Track Steven Arzt Fraunhofer SIT; ATHENE

11:00 - 12:30	Session 6MOBILESoft Research Track / MOBILESoft Tools and Datasets at Meeting Room 111 Chair(s): Mattia Fazzini University of Minnesota, Jacques Klein University of Luxembourg, Li Li Beihang University, Lili Wei McGill University

11:00 20m Talk		Awards MOBILESoft Research Track
11:21 29m Talk		Achieving Energy Efficiency in Mobile Applications: Insights from our Most Influential Paper MOBILESoft Research Track Luís Cruz Delft University of Technology
11:50 25m Paper		Reducing the Impact of Breaking Changes to Web Service Clients During Web API MOBILESoft Research Track Paul Schmiedmayer Technical University of Munich, Andreas Bauer Technical University of Munich, Bernd Bruegge TU Munich
12:15 15m Paper		Issue-Labeler: an ALBERT-based Jira Plugin for Issue Classification MOBILESoft Tools and Datasets Waleed Alhindi Prince Mohammad Bin Fahd University, Abdulrahman Aleid Prince Mohammad Bin Fahd University, Ilyes Jenhani Prince Mohammad Bin Fahd University, Mohamed Wiem Mkaouer Rochester Institute of Technology

13:45 - 15:15	Session 7MOBILESoft Research Track / MOBILESoft NIER (Novel Ideas and Emerging Results) at Meeting Room 111

13:45 15m Paper		Sensitive and Personal Data: What Exactly Are You Talking About? MOBILESoft NIER (Novel Ideas and Emerging Results) Maria Kober , Jordan Samhi University of Luxembourg, Steven Arzt Fraunhofer SIT; ATHENE, Tegawendé F. Bissyandé SnT, University of Luxembourg, Jacques Klein University of Luxembourg
14:00 40m Talk		Leaders Forum Talk - UX is the differential. What can we do as Software Engineers? MOBILESoft Research Track Tayana Conte Universidade Federal do Amazonas
14:40 30m Talk		Rising Star - Mining User Interfaces to Support Software Development for Mobile Apps MOBILESoft Research Track Kevin Moran George Mason University
15:10 5m Talk		Q&A MOBILESoft Research Track

15:45 - 17:30	Session 8MOBILESoft Research Track at Meeting Room 111

15:45 25m Paper		Energy-Saving Strategies for Mobile Web Apps and their Measurement: Results from a Decade of Research MOBILESoft Research Track Benedikt Dornauer University of Innsbruck; University of Cologne, Michael Felderer German Aerospace Center (DLR) & University of Cologne Pre-print
16:10 15m Paper		On Security and Energy Efficiency in Android Smartphones MOBILESoft Research Track João Ferreira da Silva Júnior , Bernardo Santos University of Porto, Portugal, Wellington de Oliveira Júnior University of Lisbon, Nuno Antunes Universidade de Coimbra, Bruno Cabral , João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal
16:25 50m Talk		Leaders Forum Talk - Automated Test Reuse of GUI Tests across Similar Android Apps: Opportunities and Challenges MOBILESoft Research Track Valerio Terragni University of Auckland
17:15 10m Talk		Q&A MOBILESoft Research Track
17:25 5m Talk		Closing MOBILESoft Research Track

Wed 17 May
Displayed time zone: Hobart change

11:00 - 12:30	Technical Briefing 1ICSE Technical Briefings at Meeting Room 111

11:00 90m Talk		Quantum Software Testing: A Brief Introduction ICSE Technical Briefings Shaukat Ali Simula Research Laboratory, Tao Yue Simula Research Laboratory Pre-print

13:45 - 15:15	Technical Briefing 2ICSE Technical Briefings at Meeting Room 111

13:45 90m Talk		DevCertOps: Strategies to realize Continuous Delivery of Safe Software in Regulated Domain ICSE Technical Briefings Marc Zeller Siemens AG

15:45 - 17:15	Technical Briefing 7ICSE Technical Briefings at Meeting Room 111

15:45 90m Talk		Methodology and Guidelines for Evaluating Multi-Objective Search-Based Software Engineering ICSE Technical Briefings Miqing Li University of Birmingham, Tao Chen University of Birmingham

Thu 18 May
Displayed time zone: Hobart change

11:00 - 12:30	Technical Briefing 4aICSE Technical Briefings at Meeting Room 111

11:00 90m Talk		Conducting Eye Tracking Studies in Software Engineering - Methodology and Pipeline ICSE Technical Briefings Bonita Sharif University of Nebraska-Lincoln, USA, Andrew Begel Carnegie Mellon University, Jonathan I. Maletic Kent State University File Attached

12:30 - 13:45	IEEE Software Board Members MeetingICSE Social Events at Meeting Room 111

12:30 75m Meeting		Executive Meeting ICSE Social Events

13:45 - 15:15	Technical Briefing 4bICSE Technical Briefings at Meeting Room 111

13:45 90m Talk		Conducting Eye Tracking Studies in Software Engineering - Methodology and Pipeline ICSE Technical Briefings Bonita Sharif University of Nebraska-Lincoln, USA, Andrew Begel Carnegie Mellon University, Jonathan I. Maletic Kent State University File Attached

Sat 20 May
Displayed time zone: Hobart change

09:00 - 11:15	Session 1InnerSoft at Meeting Room 111

09:00 15m Day opening		Opening InnerSoft Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick
09:15 30m Talk		Continuous InnerSource in Production InnerSoft Russell Rutledge
09:45 30m Talk		If you Find Yourself in Lava, Don't Panic. Go with the Flow! Flowing between InnerSource and Open Source Development InnerSoft Chan Voong , Shilla Saebi Comcast
10:15 60m Keynote		Microsoft's approach to InnerSource adoption InnerSoft Arno Mihm Microsoft

11:30 - 12:30	Session 2InnerSoft at Meeting Room 111

11:30 60m Keynote		The Relationship between Open Source and InnerSource InnerSoft Danese Cooper InnerSource Commons

13:15 - 16:00	Session 3InnerSoft at Meeting Room 111

13:15 30m Talk		Mitigating Cyber-Risks from the internal Software Supply Chain of InnerSource InnerSoft Matthew Cobby
13:45 30m Talk		Establishing techniques to validate the ROI of an InnerSource program InnerSoft Matthew Cobby
14:15 60m Panel		What research is needed on InnerSource? InnerSoft
15:15 30m Talk		Who owns this code? Examining Ownership Concepts in InnerSource Practice InnerSoft Clare Dillon Lero, University of Galway
15:45 15m Day closing		Workshop Wrap Up & Next Steps InnerSoft

Sun 14 May
Displayed time zone: Hobart change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 111	FairWare FAIRWARE Session1																								FairWare FAIRWARE Session1																																	FairWare FAIRWARE Session3																								FairWare FAIRWARE Session4

Mon 15 May
Displayed time zone: Hobart change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 111	MOBILESoft Research Track Session 1																								MOBILESoft Research Track Session 2																																	MOBILESoft Research Track Session 3																								MOBILESoft Research Track + MOBILESoft Tools and Datasets Session 4

Tue 16 May
Displayed time zone: Hobart change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 111	MOBILESoft Research Track Session 5																								MOBILESoft Research Track + MOBILESoft Tools and Datasets Session 6																																	MOBILESoft Research Track + MOBILESoft NIER (Novel Ideas and Emerging Results) Session 7																								MOBILESoft Research Track Session 8

Wed 17 May
Displayed time zone: Hobart change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 111	ICSE Technical Briefings Technical Briefing 1																																	ICSE Technical Briefings Technical Briefing 2																								ICSE Technical Briefings Technical Briefing 7

Thu 18 May
Displayed time zone: Hobart change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Meeting Room 111	ICSE Technical Briefings Technical Briefing 4a																		ICSE Social Events IEEE Software Board Members Meeting															ICSE Technical Briefings Technical Briefing 4b

Sat 20 May
Displayed time zone: Hobart change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Meeting Room 111	InnerSoft Session 1																														InnerSoft Session 2																					InnerSoft Session 3

Mon 15 May
Displayed time zone: Hobart change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Meeting Room 111	MOBILESoft Research Track Welcome 09:00 - 09:30						MOBILESoft Research Track When AI Meets Mobile App Testing: Getting There in Industrial Cases 09:30 - 10:30																		MOBILESoft Research Track Analysis of Library Dependency Networks of Package Managers Used in iOS 11:00 - 11:25					MOBILESoft Research Track FirmwareDroid: Towards Automated Static-Analysis of Pre-Installed Andro ... 11:25 - 11:50					MOBILESoft Research Track Vulnerability Propagation in Package Managers Used in iOS Development 11:50 - 12:05			MOBILESoft Research Track Q&A 12:05 - 12:15																				MOBILESoft Research Track Understanding the Impact of Fingerprinting in Android Hybrid Apps 13:45 - 14:10								MOBILESoft Research Track Leaders Forum Talk - Towards Data-Driven Mobile App Visual Testing 14:25 - 15:05								MOBILESoft Research Track Q&A 15:05 - 15:15								MOBILESoft Research Track Native vs Web Apps: Comparing the Energy Consumption and Performance of ... 15:45 - 16:10					MOBILESoft Tools and Datasets Ebserver: Automating Resource-Usage Data Collection of Android Applications 16:10 - 16:25			MOBILESoft Research Track Leaders Forum Talk - Discovering Requirements Using the App Store: when ... 16:25 - 17:05								MOBILESoft Research Track Q&A 17:05 - 17:15

Tue 16 May
Displayed time zone: Hobart change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Meeting Room 111							MOBILESoft Research Track Why vulnerability analysis for Android needs to change fundamentally 09:30 - 10:30																		MOBILESoft Research Track Awards 11:00 - 11:20				MOBILESoft Research Track Achieving Energy Efficiency in Mobile Applications: Insights from our M ... 11:21 - 11:50						MOBILESoft Research Track Reducing the Impact of Breaking Changes to Web Service Clients During W ... 11:50 - 12:15					MOBILESoft Tools and Datasets Issue-Labeler: an ALBERT-based Jira Plugin for Issue Classification 12:15 - 12:30																		MOBILESoft NIER (Novel Ideas and Emerging Results) Sensitive and Personal Data: What Exactly Are You Talking About? 13:45 - 14:00			MOBILESoft Research Track Leaders Forum Talk - UX is the differential. What can we do as Software ... 14:00 - 14:40								MOBILESoft Research Track Rising Star - Mining User Interfaces to Support Software Development fo ... 14:40 - 15:10						MOBILESoft Research Track Q&A 15:10 - 15:15							MOBILESoft Research Track Energy-Saving Strategies for Mobile Web Apps and their Measurement: Res ... 15:45 - 16:10					MOBILESoft Research Track On Security and Energy Efficiency in Android Smartphones 16:10 - 16:25			MOBILESoft Research Track Leaders Forum Talk - Automated Test Reuse of GUI Tests across Similar A ... 16:25 - 17:15										MOBILESoft Research Track Q&A 17:15 - 17:25		MOBILESoft Research Track Closing 17:25 - 17:30

Wed 17 May
Displayed time zone: Hobart change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Meeting Room 111	ICSE Technical Briefings Quantum Software Testing: A Brief Introduction 11:00 - 12:30																																	ICSE Technical Briefings DevCertOps: Strategies to realize Continuous Delivery of Safe Software ... 13:45 - 15:15																								ICSE Technical Briefings Methodology and Guidelines for Evaluating Multi-Objective Search-Based ... 15:45 - 17:15

Thu 18 May
Displayed time zone: Hobart change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Meeting Room 111	ICSE Technical Briefings Conducting Eye Tracking Studies in Software Engineering - Methodology a ... 11:00 - 12:30																		ICSE Social Events Executive Meeting 12:30 - 13:45															ICSE Technical Briefings Conducting Eye Tracking Studies in Software Engineering - Methodology a ... 13:45 - 15:15

Sat 20 May
Displayed time zone: Hobart change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Meeting Room 111	InnerSoft Opening 09:00 - 09:15			InnerSoft Continuous InnerSource in Production 09:15 - 09:45						InnerSoft If you Find Yourself in Lava, Don't Panic. Go with the Flow! Flowing be ... 09:45 - 10:15						InnerSoft Microsoft's approach to InnerSource adoption 10:15 - 11:15															InnerSoft The Relationship between Open Source and InnerSource 11:30 - 12:30																					InnerSoft Mitigating Cyber-Risks from the internal Software Supply Chain of Inner ... 13:15 - 13:45						InnerSoft Establishing techniques to validate the ROI of an InnerSource program 13:45 - 14:15						InnerSoft What research is needed on InnerSource? 14:15 - 15:15												InnerSoft Who owns this code? Examining Ownership Concepts in InnerSource Practice 15:15 - 15:45						InnerSoft Workshop Wrap Up & Next Steps 15:45 - 16:00

Room information: Meeting Room 111

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

FairWare

FairWare

FairWare

FairWare

Mon 15 May
Displayed time zone: Hobart change

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track + MOBILESoft Tools and Datasets

Tue 16 May
Displayed time zone: Hobart change

MOBILESoft Research Track

MOBILESoft Research Track + MOBILESoft Tools and Datasets

MOBILESoft Research Track + MOBILESoft NIER (Novel Ideas and Emerging Results)

MOBILESoft Research Track

Wed 17 May
Displayed time zone: Hobart change

ICSE Technical Briefings

ICSE Technical Briefings

ICSE Technical Briefings

Thu 18 May
Displayed time zone: Hobart change

ICSE Technical Briefings

ICSE Social Events

ICSE Technical Briefings

Sat 20 May
Displayed time zone: Hobart change

InnerSoft

InnerSoft

InnerSoft

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Tracks

Room information: Meeting Room 111

Program Display Configuration

Sun 14 MayDisplayed time zone: Hobart change

Mon 15 MayDisplayed time zone: Hobart change

Tue 16 MayDisplayed time zone: Hobart change

Wed 17 MayDisplayed time zone: Hobart change

Thu 18 MayDisplayed time zone: Hobart change

Sat 20 MayDisplayed time zone: Hobart change

Sun 14 MayDisplayed time zone: Hobart change

FairWare

FairWare

FairWare

FairWare

Mon 15 MayDisplayed time zone: Hobart change

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track + MOBILESoft Tools and Datasets

Tue 16 MayDisplayed time zone: Hobart change

MOBILESoft Research Track

MOBILESoft Research Track + MOBILESoft Tools and Datasets

MOBILESoft Research Track + MOBILESoft NIER (Novel Ideas and Emerging Results)

MOBILESoft Research Track

Wed 17 MayDisplayed time zone: Hobart change

ICSE Technical Briefings

ICSE Technical Briefings

ICSE Technical Briefings

Thu 18 MayDisplayed time zone: Hobart change

ICSE Technical Briefings

ICSE Social Events

ICSE Technical Briefings

Sat 20 MayDisplayed time zone: Hobart change

InnerSoft

InnerSoft

InnerSoft

Mon 15 MayDisplayed time zone: Hobart change

Tue 16 MayDisplayed time zone: Hobart change

Wed 17 MayDisplayed time zone: Hobart change

Thu 18 MayDisplayed time zone: Hobart change

Sat 20 MayDisplayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change