Almada Negreiros - FormaliSE 2024

VenueCentro Cultural de Belém

Room name Almada Negreiros

Capacity300

Room InformationNo extra information available

Program

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

Save

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

Mon 15 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Ecosystems, Reuse and APIs & TutorialsMSR Data and Tool Showcase Track / MSR Technical Papers / MSR Tutorials at Almada Negreiros Chair(s): Mahmoud Alfadel University of Waterloo, Ayushi Rastogi University of Groningen, The Netherlands

11:00 12m Talk		Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems MSR Technical Papers Gwenyth Lincroft Northeastern University, Minsung Cho Northeastern University, Mahsa Bazzaz Northeastern University, Katherine Hough Northeastern University, Jonathan Bell Northeastern University Pre-print Media Attached
11:12 12m Talk		Boosting API Misuse Detection via Integrating API Constraints from Multiple Sources MSR Technical Papers Can Li Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Zhuhang Li Nanjing University of Aeronautics and Astronautics, Tianyue Sun Nanjing University of Aeronautics and Astronautics
11:24 6m Talk		Availability and Usage of Platform-Specific APIs: A First Empirical Study MSR Technical Papers Ricardo Job IFPB, Andre Hora UFMG Pre-print Media Attached File Attached
11:30 4m Talk		AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependency Analysis MSR Data and Tool Showcase Track Jordan Samhi CISPA Helmholtz Center for Information Security, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
11:34 4m Talk		Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph MSR Data and Tool Showcase Track Damien Jaime Sorbonne Université - Lip6 - SAP, Joyce El Haddad Paris Dauphine-PSL Université, CNRS, LAMSADE, Pascal Poizat Université Paris Nanterre & LIP6 Pre-print File Attached
11:38 4m Talk		Dataset: Copy-based Reuse in Open Source Software MSR Data and Tool Showcase Track Mahmoud Jahanshahi Research Assistant, University of Tennessee Knoxville, Audris Mockus The University of Tennessee & Vilnius University Pre-print
11:45 45m Talk		Mining Our Way Back to Incremental Builds for DevOps Pipelines MSR Tutorials Shane McIntosh University of Waterloo Pre-print

14:00 - 15:30	Mining ChallengeMSR Mining Challenge at Almada Negreiros Chair(s): Preetha Chatterjee Drexel University, USA, Fabio Palomba University of Salerno

14:00 5m Talk		ChatGPT Chats Decoded: Uncovering Prompt Patterns for Superior Solutions in Software Development Lifecycle MSR Mining Challenge Liangxuan Wu Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Tianming Liu Monash Univerisity, Haoyu Wang Huazhong University of Science and Technology
14:05 5m Talk		Write me this Code: An Analysis of ChatGPT Quality for Producing Source Code MSR Mining Challenge Konstantinos Moratis Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki, Themistoklis Diamantopoulos Electrical and Computer Engineering Dept, Aristotle University of Thessaloniki, Dimitrios-Nikitas Nastos Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki, Andreas Symeonidis Aristotle University of Thessaloniki Pre-print
14:10 5m Talk		Quality Assessment of ChatGPT Generated Code and their Use by Developers MSR Mining Challenge Mohammed Latif Siddiq University of Notre Dame, Lindsay Roney University of Notre Dame, Jiahao Zhang , Joanna C. S. Santos University of Notre Dame Pre-print Media Attached File Attached
14:15 5m Talk		Analyzing Developer Use of ChatGPT Generated Code in Open Source GitHub Projects MSR Mining Challenge Balreet Grewal University of Alberta, Wentao Lu University of Alberta, Sarah Nadi New York University Abu Dhabi, University of Alberta, Cor-Paul Bezemer University of Alberta Pre-print
14:20 5m Talk		How I Learned to Stop Worrying and Love ChatGPT MSR Mining Challenge Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Krzysztof Stencel University of Warsaw Pre-print
14:25 5m Talk		Can ChatGPT Support Developers? An Empirical Evaluation of Large Language Models for Code Generation. MSR Mining Challenge Kailun Jin York University, Chung-Yu Wang York University, Hung Viet Pham York University, Hadi Hemmati York University Pre-print
14:30 5m Talk		The role of library versions in Developer-ChatGPT conversations MSR Mining Challenge Rachna Raj Concordia University, Diego Costa Concordia University, Canada Pre-print
14:35 5m Talk		AI Writes, We Analyze: The ChatGPT Python Code Saga MSR Mining Challenge Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University, Minhaz F. Zibran Idaho State University, Md Rakibul Islam Lamar University DOI Pre-print
14:40 5m Talk		ChatGPT in Action: Analyzing Its Use in Software Development MSR Mining Challenge Arifa Islam Champa Idaho State University, Md Fazle Rabbi Idaho State University, Costain Nachuma Idaho State University, Minhaz F. Zibran Idaho State University DOI Pre-print
14:45 5m Talk		Chatting with AI: Deciphering Developer Conversations with ChatGPT MSR Mining Challenge Suad Mohamed Belmont University, Abdullah Parvin Belmont University, Esteban Parra Belmont University
14:50 5m Talk		Does Generative AI Generate Smells Related to Container Orchestration?: An Exploratory Study with Kubernetes Manifests MSR Mining Challenge Yue Zhang Auburn University, Rachel Meredith Auburn University, Wilson Reaves Auburn University, Julia Coriolano Federal University of Pernambuco, Muhammad Ali Babar School of Computer Science, The University of Adelaide, Akond Rahman Auburn University Pre-print
14:55 5m Talk		On the Taxonomy of Developers' Discussion Topics with ChatGPT MSR Mining Challenge Ertugrul Sagdic Lamar University, Arda Bayram Lamar University, Md Rakibul Islam Lamar University
15:00 5m Talk		How to refactor this code? An exploratory study on developer-ChatGPT refactoring conversations MSR Mining Challenge Eman Abdullah AlOmar Stevens Institute of Technology, AnushKrishna Venkatakrishnan Rochester Institute of Technology, USA, Mohamed Wiem Mkaouer University of Michigan - Flint, Christian Newman , Ali Ouni ETS Montreal, University of Quebec
15:05 5m Talk		Analyzing Developer-ChatGPT Conversations for Software Refactoring: An Exploratory Study MSR Mining Challenge Omkar Sandip Chavan Rochester Institute of Technology, Divya Dilip Hinge Rochester Institute of Technology, Soham Sanjay Deo Rochester Institute of Technology, Yaxuan (Olivia) Wang Rochester Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint
15:10 5m Talk		How Do Software Developers Use ChatGPT? An Exploratory Study on GitHub Pull Requests MSR Mining Challenge Moataz Chouchen ETS, Narjes Bessghaier ETS Montreal, University of Quebec, Mahi Begoug , Ali Ouni ETS Montreal, University of Quebec, Eman Abdullah AlOmar Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint
15:15 5m Talk		Investigating the Utility of ChatGPT in the Issue Tracking System: An Exploratory Study MSR Mining Challenge Joy Krishan Das University of Saskatchewan, Saikat Mondal University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada Pre-print
15:20 5m Talk		Enhancing User Interaction in ChatGPT: Characterizing and Consolidating Multiple Prompts for Issue Resolution MSR Mining Challenge Saikat Mondal University of Saskatchewan, Suborno Deb Bappon Department of Computer Science, University of Saskatchewan, Canada, Chanchal K. Roy University of Saskatchewan, Canada Pre-print

16:00 - 17:30	Mobile AppsMSR Data and Tool Showcase Track / MSR Technical Papers at Almada Negreiros Chair(s): Dario Di Nucci University of Salerno

16:00 12m Talk		Automating GUI-based Test Oracles for Mobile Apps MSR Technical Papers Kesina Baral CQSE America, Jack Johnson , Junayed Mahmud George Mason University, Sabiha Salma George Mason University, Mattia Fazzini University of Minnesota, Julia Rubin University of British Columbia, Jeff Offutt George Mason University, Kevin Moran University of Central Florida
16:12 12m Talk		Global Prosperity or Local Monopoly? Understanding the Geography of App Popularity MSR Technical Papers Liu Wang Beijing University of Posts and Telecommunications, Conghui Zheng Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, Xiapu Luo The Hong Kong Polytechnic University, Gareth Tyson Queen Mary University of London, Yi Wang , Shangguang Wang Beijing University of Posts and Telecommunications
16:24 12m Talk		GuiEvo: Automated Evolution of Mobile App UIs MSR Technical Papers Sabiha Salma George Mason University, S M Hasan Mansur George Mason University, Yule Zhang George Mason University, Kevin Moran University of Central Florida
16:36 12m Talk		Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS and Android Apps for Cross-Platform Analyses MSR Technical Papers Magdalena Steinböck TU Wien, Jakob Bleier TU Wien, Mikka Rainer CISPA Helmholtz Center for Information Security, Tobias Urban Institute for Internet Security & secunet Security Networks AG, Christine Utz CISPA Helmholtz Center for Information Security, Martina Lindorfer TU Wien
16:48 12m Talk		Keep Me Updated: An Empirical Study on Embedded Javascript Engines in Android Apps MSR Technical Papers Elliott Wen The University of Auckland, Jiaxiang Liu The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Giovanni Russello University of Auckland, Jens Dietrich Victoria University of Wellington
17:00 12m Talk		Large Language Model vs. Stack Overflow in Addressing Android Permission Related Challenges MSR Technical Papers Sahrima Jannat Oishwee University of Saskatchewan, Natalia Stakhanova University of Saskatchewan, Zadia Codabux University of Saskatchewan, Canada
17:12 4m Talk		DATAR: A Dataset for Tracking App Releases MSR Data and Tool Showcase Track Yasaman Abedini Sharif University of Technology, Mohammad Hadi Hajihosseini Sharif University of Technology, Abbas Heydarnoori Bowling Green State University
17:16 4m Talk		AndroZoo: A Retrospective with a Glimpse into the Future MSR Data and Tool Showcase Track Marco Alecci University of Luxembourg, Pedro Jesús Ruiz Jiménez University of Luxembourg, Kevin Allix Independent Researcher, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg

Tue 16 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	Development: practices and humans MSR Data and Tool Showcase Track / MSR Technical Papers at Almada Negreiros Chair(s): Gema Rodríguez-Pérez University of British Columbia (UBC)

09:50 6m Talk		Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot MSR Technical Papers Kei Koyanagi Kyushu University, Dong Wang Kyushu University, Japan, Kotaro Noguchi Kyushu University, Masanari Kondo Kyushu University, Alexander Serebrenik Eindhoven University of Technology, Yasutaka Kamei Kyushu University, Naoyasu Ubayashi Kyushu University Pre-print
09:56 4m Talk		A Four-Dimension Gold Standard Dataset for Opinion Mining in Software Engineering MSR Data and Tool Showcase Track Md Rakibul Islam Lamar University, Md Fazle Rabbi Idaho State University, Jo Youngeun Lamar University, Arifa Islam Champa Idaho State University, Ethan J Young Lamar University, Camden M Wilson Lamar University, Gavin J Scott Lamar University, Minhaz F. Zibran Idaho State University
10:00 4m Talk		Opening the Valve on Pure-Data: Usage Patterns and Programming Practices of a Data-Flow Based Visual Programming Language MSR Data and Tool Showcase Track Anisha Islam Department of Computing Science, University of Alberta, Kalvin Eng University of Alberta, Abram Hindle University of Alberta
10:04 4m Talk		The PIPr Dataset of Public Infrastructure as Code Programs MSR Data and Tool Showcase Track Daniel Sokolowski University of St. Gallen, David Spielmann University of St. Gallen, Guido Salvaneschi University of St. Gallen Link to publication DOI Pre-print
10:08 4m Talk		A Dataset of Microservices-based Open-Source Projects MSR Data and Tool Showcase Track Dario Amoroso d'Aragona Tampere University, Alexander Bakhtin University of Oulu, Xiaozhou Li University of Oulu, Ruoyu Su University of Oulu, Lauren Adams Baylor University, Ernesto Aponte Universidad del Sagrado Corazón, Francis Boyle Baylor University, Patrick Boyle Baylor University, Rachel Koerner Baylor University, Joseph Lee University of Richmond, Fangchao Tian University of Oulu, Yuqing Wang University of Oulu, Jesse Nyyssölä University of Helsinki, Ernesto Quevedo Baylor University, Shahidur Md Rahaman Baylor University, Amr Elsayed Baylor University, Mika Mäntylä University of Helsinki and University of Oulu, Tomas Cerny University of Arizona, Davide Taibi University of Oulu and Tampere University
10:12 4m Talk		SensoDat: Simulation-based Sensor Dataset of Self-driving Cars MSR Data and Tool Showcase Track Christian Birchler Zurich University of Applied Sciences & University of Bern, Cyrill Rohrbach University of Bern, Switzerland, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences
10:16 4m Talk		Incivility in Open Source Projects: A Comprehensive Annotated Dataset of Locked GitHub Issue Threads MSR Data and Tool Showcase Track Ramtin Ehsani Drexel University, Mia Mohammad Imran Virginia Commonwealth University, Robert Zita Elmhurst University, Kostadin Damevski Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA
10:20 4m Talk		A Dataset of Atoms of Confusion in the Android Open Source Project MSR Data and Tool Showcase Track Davi Batista Tabosa Federal University of Ceará, Oton Pinheiro Federal University of Ceará, Lincoln Rocha Federal University of Ceará, Windson Viana Federal University of Ceará
10:24 4m Talk		PlayMyData: a curated dataset of multi-platform video games MSR Data and Tool Showcase Track Andrea D'Angelo University of L'Aquila, Claudio Di Sipio University of L'Aquila, Cristiano Politowski DIRO, University of Montreal, Riccardo Rubei University of L'Aquila

11:00 - 12:30	Process automation & DevOps and Tutorial IMSR Technical Papers / MSR Tutorials at Almada Negreiros Chair(s): Tom Mens University of Mons, Ayushi Rastogi University of Groningen, The Netherlands

11:00 12m Talk		Learning to Predict and Improve Build Successes in Package Ecosystems MSR Technical Papers Harshitha Menon Lawrence Livermore National Lab, Daniel Nichols University of Maryland, College Park, Abhinav Bhatele University of Maryland, College Park, Todd Gamblin Lawrence Livermore National Laboratory
11:12 12m Talk		The Impact of Code Ownership of DevOps Artefacts on the Outcome of DevOps CI Builds MSR Technical Papers Ajiromola Kola-Olawuyi University of Waterloo, Nimmi Rashinika Weeraddana University of Waterloo, Mei Nagappan University of Waterloo
11:24 12m Talk		A Mutation-Guided Assessment of Acceleration Approaches for Continuous Integration: An Empirical Study of YourBase MSR Technical Papers Zhili Zeng University of Waterloo, Tao Xiao Nara Institute of Science and Technology, Maxime Lamothe Polytechnique Montreal, Hideaki Hata Shinshu University, Shane McIntosh University of Waterloo Pre-print
11:45 45m Talk		Cohort Studies for Mining Software Repositories MSR Tutorials Nyyti Saarimäki Tampere University, Sira Vegas Universidad Politecnica de Madrid, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu and Tampere University , Mikel Robredo University of Oulu

14:00 - 15:30	Process automation & DevOps IIMSR Technical Papers / MSR Data and Tool Showcase Track at Almada Negreiros Chair(s): Shane McIntosh University of Waterloo

14:00 12m Talk		Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems MSR Technical Papers Georges Aaron RANDRIANAINA Université de Rennes 1, IRISA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Olivier Zendra Inria, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France
14:12 12m Talk		How do Machine Learning Projects use Continuous Integration Practices? An Empirical Study on GitHub Actions MSR Technical Papers João Helis Bernardo Federal Institute of Education, Science and Technology of Rio Grande do Norte, Daniel Alencar Da Costa University of Otago, Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Uirá Kulesza Federal University of Rio Grande do Norte DOI Pre-print
14:24 4m Talk		A dataset of GitHub Actions workflow histories MSR Data and Tool Showcase Track Guillaume Cardoen University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS
14:28 4m Talk		gawd: A Differencing Tool for GitHub Actions Workflows MSR Data and Tool Showcase Track Pooya Rostami Mazrae University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons
14:32 4m Talk		RABBIT: A tool for identifying bot accounts based on their recent GitHub event history MSR Data and Tool Showcase Track Natarajan Chidambaram University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS
14:36 12m Talk		An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem MSR Technical Papers Xingyu Li UC Riverside, Zheng Zhang UC Riverside, Zhiyun Qian University of California at Riverside, USA, Trent Jaeger UC Riverside, Chengyu Song University of California at Riverside, USA
14:48 4m Talk		BugsPHP: A dataset for Automated Program Repair in PHP MSR Data and Tool Showcase Track K.D. Pramod University of Moratuwa, Sri Lanka, W.T.N. De Silva University of Moratuwa, Sri Lanka, W.U.K. Thabrew University of Moratuwa, Sri Lanka, Ridwan Salihin Shariffdeen National University of Singapore, Sandareka Wickramanayake University of Moratuwa, Sri Lanka Pre-print

Thu 18 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Human and Social 4ICSE New Ideas and Emerging Results / ICSE Software Engineering in Society / ICSE Research Track / ICSE Journal-first Papers / ICSE Software Engineering Education and Training at Almada Negreiros Chair(s): Tamara Lopez The Open University

11:00 15m Talk		“My GitHub Sponsors profile is live!” Investigating the Impact of Twitter/X Mentions on GitHub Sponsors ICSE Research Track Youmei Fan Nara Institute of Science and Technology, Tao Xiao Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Christoph Treude Singapore Management University, Kenichi Matsumoto Nara Institute of Science and Technology Pre-print Media Attached
11:15 15m Talk		A Theory of Scientific Programming Efficacy ICSE Research Track Elizaveta Pertseva Stanford University, Melinda Chang Canyon Crest Academy, Ulia Zaman University of California, Irvine, Michael Coblenz University of California, San Diego Link to publication
11:30 15m Talk		Coding to Cope: Teaching Programming to Children with Emotional and Behavioral Disorders ICSE Software Engineering Education and Training Isabella Graßl University of Passau, Gordon Fraser University of Passau
11:45 15m Talk		Beyond Self-Promotion: How Software Engineering Research Is Discussed on LinkedIn ICSE Software Engineering in Society Marvin Wyrich Saarland University, Justus Bogner Vrije Universiteit Amsterdam Pre-print
12:00 7m Talk		Extended Abstract of "Do Attention and Memory Explain the Performance of Software Developers?" ICSE Journal-first Papers Valentina Piantadosi University of Molise, Simone Scalabrino University of Molise, Alexander Serebrenik Eindhoven University of Technology, Nicole Novielli University of Bari, Rocco Oliveto University of Molise
12:07 7m Talk		Understanding Mentors’ Engagement in OSS Communities via Google Summer of Code ICSE Journal-first Papers Xin Tan Beihang University, Minghui Zhou Peking University, Li Zhang Beihang University
12:14 7m Talk		Coding with a Creative Twist: Investigating the Link Between Creativity Scores and problem-solving Strategies ICSE New Ideas and Emerging Results Mahta Amini Polytechnique Montreal, Jay A. Olson University of Toronto Mississauga, Zohreh Sharafi Polytechnique Montréal

14:00 - 15:30	Human and Social 5ICSE Software Engineering in Society / ICSE Journal-first Papers / ICSE New Ideas and Emerging Results / ICSE Software Engineering Education and Training / ICSE Research Track at Almada Negreiros Chair(s): Alexander Serebrenik Eindhoven University of Technology

14:00 15m Talk		High Expectations: An Observational Study of Programming and Cannabis Intoxication ICSE Research Track Wenxin He University of Michigan, Manasvi Parikh University of Michigan, Westley Weimer University of Michigan, Madeline Endres University of Michgain DOI Pre-print
14:15 15m Talk		Mining Pull Requests to Detect Process Anomalies in Open Source Software Development ICSE Research Track Bohan Liu Nanjing University, He Zhang Nanjing University, Weigang Ma Nanjing University, Hongyu Kuang Nanjing University, Yi Yang National University of Defense Technology, Jinwei Xu Nanjing University, Shan Gao Huawei, Jian Gao Huawei
14:30 15m Talk		Video-based Training for Meeting Communication Skills ICSE Software Engineering Education and Training Matthias Galster University of Canterbury, Antonija Mitrovic University of Canterbury, Sanna Malinen University of Canterbury, Sreedevi Sankara Iyer University of Canterbury, Ja'afaru Musa University of Canterbury, Jay Holland University of Canterbury
14:45 15m Talk		Impostor Phenomenon in Software Engineers ICSE Software Engineering in Society Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael Tomaz Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Margaret-Anne Storey University of Victoria DOI Pre-print Media Attached
15:00 7m Talk		An Empirical Comparison of Ethnic and Gender Diversity of DevOps and non-DevOps Contributions to Open-Source Projects ICSE Journal-first Papers Nimmi Rashinika Weeraddana University of Waterloo, Xiaoyan Xu University of Waterloo, Mahmoud Alfadel University of Waterloo, Shane McIntosh University of Waterloo, Mei Nagappan University of Waterloo Link to publication Pre-print
15:07 7m Talk		Understanding Developers Well-Being and Productivity: a 2-year Longitudinal Analysis during the COVID-19 Pandemic ICSE Journal-first Papers Daniel Russo Department of Computer Science, Aalborg University, Paul Hanel University of Essex, Niels van Berkel Aalborg University DOI Pre-print
15:14 7m Talk		Decomposing and Measuring Trust in Open-Source Software Supply Chains ICSE New Ideas and Emerging Results Lina Boughton The College of Wooster, Courtney Miller Carnegie Mellon University, Yasemin Acar Max Planck Institute for Security and Privacy, Dominik Wermke North Carolina State University, Christian Kästner Carnegie Mellon University

Fri 19 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Analysis 3ICSE Research Track / ICSE Demonstrations / ICSE Software Engineering Education and Training at Almada Negreiros Chair(s): Dalal Alrajeh Imperial College London

11:00 15m Talk		LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems ICSE Research Track Rongxin Wu School of Informatics, Xiamen University, Yuxuan He School of Informatics, Xiamen University, Jiafeng Huang School of Informatics, Xiamen University, Chengpeng Wang The Hong Kong University of Science and Technology, Wensheng Tang The Hong Kong University of Science and Technology, Qingkai Shi Nanjing University, Xiao Xiao Ant Group, Charles Zhang The Hong Kong University of Science and Technology Pre-print
11:15 15m Talk		Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming ICSE Research Track Mohan Cui Fudan University, Mohan Cui Fudan University, Shuran Sun Fudan University, Hui Xu Fudan University, Yangfan Zhou Fudan University
11:30 15m Talk		Unveiling Hurdles in Software Engineering Education: The Role of Learning Management Systems ICSE Software Engineering Education and Training Niklas Meissner University of Stuttgart, Nadine Koch University of Stuttgart, Sandro Speth Institute of Software Engineering, University of Stuttgart, Uwe Breitenbücher Reutlingen University, Steffen Becker University of Stuttgart DOI File Attached
11:45 15m Talk		Training for Security: Results from Using a SAT in the Development Pipeline of Web Apps ICSE Software Engineering Education and Training Sabato Nocera University of Salerno, Simone Romano University of Salerno, Rita Francese University of Salerno, Giuseppe Scanniello University of Salerno
12:00 7m Talk		Refinery: Graph Solver as a Service ICSE Demonstrations Kristóf Marussy Budapest University of Technology and Economics, Attila Ficsor Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University DOI Pre-print Media Attached
12:07 7m Talk		(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results ICSE Demonstrations Rafael F. Toledo University of Waterloo, Joanne M. Atlee University of Waterloo, Rui Ming Xiong University of Waterloo, Mingyu Liu University of Waterloo DOI Media Attached

12:30 - 14:00	2025 PC MeetingICSE Social Events at Almada Negreiros Chair(s): David Lo Singapore Management University, Corina S. Păsăreanu Carnegie Mellon University

12:30 90m Meeting		2025 PC Meeting ICSE Social Events

14:00 - 15:30	Language Models and Generated Code 3ICSE Research Track / ICSE Demonstrations at Almada Negreiros Chair(s): Jie M. Zhang King's College London

14:00 15m Talk		CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models ICSE Research Track Hao Yu Peking University, Bo Shen Huawei Cloud Computing Technologies Co., Ltd., Dezhi Ran Peking University, Jiaxin Zhang Huawei Cloud Computing Technologies Co., Ltd., Qi Zhang Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Guangtai Liang Huawei Cloud Computing Technologies, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
14:15 15m Talk		Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment ICSE Research Track Shibbir Ahmed Iowa State University, Hongyang Gao Dept. of Computer Science, Iowa State University, Hridesh Rajan Iowa State University
14:30 15m Talk		GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code ICSE Research Track Qihao Zhu Peking University, Qingyuan Liang Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Yingfei Xiong Peking University, Lu Zhang Peking University, Shengyu Cheng ZTE Corporation
14:45 15m Talk		On Calibration of Pre-trained Code models ICSE Research Track Zhenhao Zhou Fudan University, Chaofeng Sha Fudan University, Xin Peng Fudan University DOI Media Attached
15:00 15m Talk		Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models ICSE Research Track Shuzheng Gao , Wenxin Mao Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Li Li Beihang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
15:15 7m Talk		GitHubInclusifier: Finding and fixing non-inclusive language in GitHub Repositories ICSE Demonstrations Liam Todd Monash University, John Grundy Monash University, Christoph Treude Singapore Management University Pre-print Media Attached

16:00 - 17:30	Language Models and Generated Code 4ICSE New Ideas and Emerging Results / ICSE Research Track at Almada Negreiros Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology

16:00 15m Talk		Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code ICSE Research Track Rangeet Pan IBM Research, Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Rahul Krishna IBM Research, Divya Sankar IBM Research, Lambert Pouguem Wassi IBM Research, Michele Merler IBM Research, Boris Sobolev IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI Pre-print Media Attached
16:15 15m Talk		Traces of Memorisation in Large Language Models for Code ICSE Research Track Ali Al-Kaswan Delft University of Technology, Netherlands, Maliheh Izadi Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print
16:30 15m Talk		Language Models for Code Completion: A Practical Evaluation ICSE Research Track Maliheh Izadi Delft University of Technology, Jonathan Katzy Delft University of Technology, Tim van Dam Delft University of Technology, Marc Otten Delft University of Technology, Răzvan Mihai Popescu Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print
16:45 15m Talk		Evaluating Large Language Models in Class-Level Code Generation ICSE Research Track Xueying Du Fudan University, Mingwei Liu Fudan University, Kaixin Wang Fudan University, Hanlin Wang Fudan University, Junwei Liu Huazhong University of Science and Technology, Yixuan Chen Fudan University, Jiayi Feng Fudan University, Chaofeng Sha Fudan University, Xin Peng Fudan University, Yiling Lou Fudan University Pre-print
17:00 7m Talk		Naturalness of Attention: Revisiting Attention in Code Language Models ICSE New Ideas and Emerging Results Mootez Saad Dalhousie University, Tushar Sharma Dalhousie University Pre-print
17:07 7m Talk		Towards Trustworthy AI Software Development Assistance ICSE New Ideas and Emerging Results Daniel Maninger TU Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt DOI Pre-print

Mon 15 Apr
Displayed time zone: Lisbon change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Almada Negreiros	MSR Data and Tool Showcase Track + MSR Technical Papers + MSR Tutorials Ecosystems, Reuse and APIs & Tutorials																																				MSR Mining Challenge Mining Challenge																								MSR Data and Tool Showcase Track + MSR Technical Papers Mobile Apps

Tue 16 Apr
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Almada Negreiros	MSR Data and Tool Showcase Track + MSR Technical Papers Development: practices and humans																								MSR Technical Papers + MSR Tutorials Process automation & DevOps and Tutorial I																																				MSR Technical Papers + MSR Data and Tool Showcase Track Process automation & DevOps II

Thu 18 Apr
Displayed time zone: Lisbon change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Almada Negreiros	ICSE New Ideas and Emerging Results + ICSE Software Engineering in Society + ICSE Research Track + ICSE Journal-first Papers + ICSE Software Engineering Education and Training Human and Social 4																																				ICSE Software Engineering in Society + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results + ICSE Software Engineering Education and Training + ICSE Research Track Human and Social 5

Fri 19 Apr
Displayed time zone: Lisbon change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Almada Negreiros	ICSE Research Track + ICSE Demonstrations + ICSE Software Engineering Education and Training Analysis 3																		ICSE Social Events 2025 PC Meeting																		ICSE Research Track + ICSE Demonstrations Language Models and Generated Code 3																								ICSE New Ideas and Emerging Results + ICSE Research Track Language Models and Generated Code 4

Mon 15 Apr
Displayed time zone: Lisbon 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
Almada Negreiros	MSR Technical Papers Thirty-Three Years of Mathematicians and Software Engineers: A Case Stu ... 11:00 - 11:12 Boosting API Misuse Detection via Integrating API Constraints from Mult ... 11:12 - 11:24					MSR Technical Papers Availability and Usage of Platform-Specific APIs: A First Empirical Study 11:24 - 11:30	MSR Data and Tool Showcase Track AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependen ... 11:30 - 11:34	MSR Data and Tool Showcase Track Goblin: A Framework for Enriching and Querying the Maven Central Depend ... 11:34 - 11:38	MSR Data and Tool Showcase Track Dataset: Copy-based Reuse in Open Source Software 11:38 - 11:42		MSR Tutorials Mining Our Way Back to Incremental Builds for DevOps Pipelines 11:45 - 12:30																											MSR Mining Challenge ChatGPT Chats Decoded: Uncovering Prompt Patterns for Superior Solution ... 14:00 - 14:05	MSR Mining Challenge Write me this Code: An Analysis of ChatGPT Quality for Producing Source ... 14:05 - 14:10	MSR Mining Challenge Quality Assessment of ChatGPT Generated Code and their Use by Developers 14:10 - 14:15 Analyzing Developer Use of ChatGPT Generated Code in Open Source GitHub ... 14:15 - 14:20		MSR Mining Challenge How I Learned to Stop Worrying and Love ChatGPT 14:20 - 14:25	MSR Mining Challenge Can ChatGPT Support Developers? An Empirical Evaluation of Large Langua ... 14:25 - 14:30	MSR Mining Challenge The role of library versions in Developer-ChatGPT conversations 14:30 - 14:35	MSR Mining Challenge AI Writes, We Analyze: The ChatGPT Python Code Saga 14:35 - 14:40	MSR Mining Challenge ChatGPT in Action: Analyzing Its Use in Software Development 14:40 - 14:45	MSR Mining Challenge Chatting with AI: Deciphering Developer Conversations with ChatGPT 14:45 - 14:50	MSR Mining Challenge Does Generative AI Generate Smells Related to Container Orchestration?: ... 14:50 - 14:55	MSR Mining Challenge On the Taxonomy of Developers' Discussion Topics with ChatGPT 14:55 - 15:00	MSR Mining Challenge How to refactor this code? An exploratory study on developer-ChatGPT re ... 15:00 - 15:05	MSR Mining Challenge Analyzing Developer-ChatGPT Conversations for Software Refactoring: An ... 15:05 - 15:10	MSR Mining Challenge How Do Software Developers Use ChatGPT? An Exploratory Study on GitHub ... 15:10 - 15:15	MSR Mining Challenge Investigating the Utility of ChatGPT in the Issue Tracking System: An E ... 15:15 - 15:20	MSR Mining Challenge Enhancing User Interaction in ChatGPT: Characterizing and Consolidating ... 15:20 - 15:25								MSR Technical Papers Automating GUI-based Test Oracles for Mobile Apps 16:00 - 16:12		MSR Technical Papers Global Prosperity or Local Monopoly? Understanding the Geography of App ... 16:12 - 16:24			MSR Technical Papers GuiEvo: Automated Evolution of Mobile App UIs 16:24 - 16:36		MSR Technical Papers Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS ... 16:36 - 16:48			MSR Technical Papers Keep Me Updated: An Empirical Study on Embedded Javascript Engines in A ... 16:48 - 17:00		MSR Technical Papers Large Language Model vs. Stack Overflow in Addressing Android Permissio ... 17:00 - 17:12		MSR Data and Tool Showcase Track DATAR: A Dataset for Tracking App Releases 17:12 - 17:16	MSR Data and Tool Showcase Track AndroZoo: A Retrospective with a Glimpse into the Future 17:16 - 17:20

Tue 16 Apr
Displayed time zone: Lisbon 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
Almada Negreiros											MSR Technical Papers Exploring the Effect of Multiple Natural Languages on Code Suggestion U ... 09:50 - 09:56	MSR Data and Tool Showcase Track A Four-Dimension Gold Standard Dataset for Opinion Mining in Software E ... 09:56 - 10:00	MSR Data and Tool Showcase Track Opening the Valve on Pure-Data: Usage Patterns and Programming Practice ... 10:00 - 10:04	MSR Data and Tool Showcase Track The PIPr Dataset of Public Infrastructure as Code Programs 10:04 - 10:08	MSR Data and Tool Showcase Track A Dataset of Microservices-based Open-Source Projects 10:08 - 10:12	MSR Data and Tool Showcase Track SensoDat: Simulation-based Sensor Dataset of Self-driving Cars 10:12 - 10:16	MSR Data and Tool Showcase Track Incivility in Open Source Projects: A Comprehensive Annotated Dataset o ... 10:16 - 10:20	MSR Data and Tool Showcase Track A Dataset of Atoms of Confusion in the Android Open Source Project 10:20 - 10:24	MSR Data and Tool Showcase Track PlayMyData: a curated dataset of multi-platform video games 10:24 - 10:28							MSR Technical Papers Learning to Predict and Improve Build Successes in Package Ecosystems 11:00 - 11:12		MSR Technical Papers The Impact of Code Ownership of DevOps Artefacts on the Outcome of DevO ... 11:12 - 11:24			MSR Technical Papers A Mutation-Guided Assessment of Acceleration Approaches for Continuous ... 11:24 - 11:36				MSR Tutorials Cohort Studies for Mining Software Repositories 11:45 - 12:30																											MSR Technical Papers Options Matter: Documenting and Fixing Non-Reproducible Builds in Highl ... 14:00 - 14:12 How do Machine Learning Projects use Continuous Integration Practices? ... 14:12 - 14:24					MSR Data and Tool Showcase Track A dataset of GitHub Actions workflow histories 14:24 - 14:28	MSR Data and Tool Showcase Track gawd: A Differencing Tool for GitHub Actions Workflows 14:28 - 14:32	MSR Data and Tool Showcase Track RABBIT: A tool for identifying bot accounts based on their recent GitHu ... 14:32 - 14:36	MSR Technical Papers An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem 14:36 - 14:48			MSR Data and Tool Showcase Track BugsPHP: A dataset for Automated Program Repair in PHP 14:48 - 14:52

Thu 18 Apr
Displayed time zone: Lisbon 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
Almada Negreiros	ICSE Research Track “My GitHub Sponsors profile is live!” Investigating the Impact of Twitt ... 11:00 - 11:15			ICSE Research Track A Theory of Scientific Programming Efficacy 11:15 - 11:30			ICSE Software Engineering Education and Training Coding to Cope: Teaching Programming to Children with Emotional and Beh ... 11:30 - 11:45			ICSE Software Engineering in Society Beyond Self-Promotion: How Software Engineering Research Is Discussed o ... 11:45 - 12:00			ICSE Journal-first Papers Extended Abstract of "Do Attention and Memory Explain the Performance o ... 12:00 - 12:07	ICSE Journal-first Papers Understanding Mentors’ Engagement in OSS Communities via Google Summer ... 12:07 - 12:14		ICSE New Ideas and Emerging Results Coding with a Creative Twist: Investigating the Link Between Creativity ... 12:14 - 12:21																					ICSE Research Track High Expectations: An Observational Study of Programming and Cannabis I ... 14:00 - 14:15			ICSE Research Track Mining Pull Requests to Detect Process Anomalies in Open Source Softwar ... 14:15 - 14:30			ICSE Software Engineering Education and Training Video-based Training for Meeting Communication Skills 14:30 - 14:45			ICSE Software Engineering in Society Impostor Phenomenon in Software Engineers 14:45 - 15:00			ICSE Journal-first Papers An Empirical Comparison of Ethnic and Gender Diversity of DevOps and no ... 15:00 - 15:07	ICSE Journal-first Papers Understanding Developers Well-Being and Productivity: a 2-year Longitud ... 15:07 - 15:14		ICSE New Ideas and Emerging Results Decomposing and Measuring Trust in Open-Source Software Supply Chains 15:14 - 15:21

Fri 19 Apr
Displayed time zone: Lisbon 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
Almada Negreiros	ICSE Research Track LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Part ... 11:00 - 11:15			ICSE Research Track Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requiremen ... 11:15 - 11:30			ICSE Software Engineering Education and Training Unveiling Hurdles in Software Engineering Education: The Role of Learni ... 11:30 - 11:45			ICSE Software Engineering Education and Training Training for Security: Results from Using a SAT in the Development Pipe ... 11:45 - 12:00			ICSE Demonstrations Refinery: Graph Solver as a Service 12:00 - 12:07	ICSE Demonstrations (Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results 12:07 - 12:14					ICSE Social Events 2025 PC Meeting 12:30 - 14:00																		ICSE Research Track CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre ... 14:00 - 14:15			ICSE Research Track Inferring Data Preconditions from Deep Learning Models for Trustworthy ... 14:15 - 14:30			ICSE Research Track GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model f ... 14:30 - 14:45			ICSE Research Track On Calibration of Pre-trained Code models 14:45 - 15:00			ICSE Research Track Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively ... 15:00 - 15:15			ICSE Demonstrations GitHubInclusifier: Finding and fixing non-inclusive language in GitHub ... 15:15 - 15:22									ICSE Research Track Lost in Translation: A Study of Bugs Introduced by Large Language Model ... 16:00 - 16:15			ICSE Research Track Traces of Memorisation in Large Language Models for Code 16:15 - 16:30			ICSE Research Track Language Models for Code Completion: A Practical Evaluation 16:30 - 16:45			ICSE Research Track Evaluating Large Language Models in Class-Level Code Generation 16:45 - 17:00			ICSE New Ideas and Emerging Results Naturalness of Attention: Revisiting Attention in Code Language Models 17:00 - 17:07	ICSE New Ideas and Emerging Results Towards Trustworthy AI Software Development Assistance 17:07 - 17:14

Room information: Almada Negreiros

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

MSR Data and Tool Showcase Track + MSR Technical Papers + MSR Tutorials

MSR Mining Challenge

MSR Data and Tool Showcase Track + MSR Technical Papers

Tue 16 Apr
Displayed time zone: Lisbon change

MSR Data and Tool Showcase Track + MSR Technical Papers

MSR Technical Papers + MSR Tutorials

MSR Technical Papers + MSR Data and Tool Showcase Track

Thu 18 Apr
Displayed time zone: Lisbon change

ICSE New Ideas and Emerging Results + ICSE Software Engineering in Society + ICSE Research Track + ICSE Journal-first Papers + ICSE Software Engineering Education and Training

ICSE Software Engineering in Society + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results + ICSE Software Engineering Education and Training + ICSE Research Track

Fri 19 Apr
Displayed time zone: Lisbon change

ICSE Research Track + ICSE Demonstrations + ICSE Software Engineering Education and Training

ICSE Social Events

ICSE Research Track + ICSE Demonstrations

ICSE New Ideas and Emerging Results + ICSE Research Track

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Tracks

Room information: Almada Negreiros

Program Display Configuration

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Thu 18 AprDisplayed time zone: Lisbon change

Fri 19 AprDisplayed time zone: Lisbon change

Mon 15 AprDisplayed time zone: Lisbon change

MSR Data and Tool Showcase Track + MSR Technical Papers + MSR Tutorials

MSR Mining Challenge

MSR Data and Tool Showcase Track + MSR Technical Papers

Tue 16 AprDisplayed time zone: Lisbon change

MSR Data and Tool Showcase Track + MSR Technical Papers

MSR Technical Papers + MSR Tutorials

MSR Technical Papers + MSR Data and Tool Showcase Track

Thu 18 AprDisplayed time zone: Lisbon change

ICSE New Ideas and Emerging Results + ICSE Software Engineering in Society + ICSE Research Track + ICSE Journal-first Papers + ICSE Software Engineering Education and Training

ICSE Software Engineering in Society + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results + ICSE Software Engineering Education and Training + ICSE Research Track

Fri 19 AprDisplayed time zone: Lisbon change

ICSE Research Track + ICSE Demonstrations + ICSE Software Engineering Education and Training

ICSE Social Events

ICSE Research Track + ICSE Demonstrations

ICSE New Ideas and Emerging Results + ICSE Research Track

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Thu 18 AprDisplayed time zone: Lisbon change

Fri 19 AprDisplayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change