FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
VenueMelbourne Convention Exhibition Centre | MCEC
Room nameMeeting Room 111
Floor1
Room number111
Room InformationNo extra information available
Program

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
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
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
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
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
15:45 - 17:15
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
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
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

Sun 14 May

Displayed time zone: Hobart change

Sat 20 May

Displayed time zone: Hobart change

Room9:003010:003011:003012:003013:003014:003015:0030
Meeting Room 111