MSR 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameLuis de Freitas Branco
Capacity198
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 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
FORGE2024 Opening / Keynote 1 / PanelFORGE Keynotes / FORGE Panel at Luis de Freitas Branco
Chair(s): Xin Xia Huawei Technologies, Xing Hu Zhejiang University
09:00
10m
Day opening
Introduction from The Chairs
FORGE Keynotes

09:10
40m
Keynote
Keynote 1: Large Language Models for Test Case Repair
FORGE Keynotes
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
09:50
40m
Panel
Theme: Is There Space for Software Engineering Researchers to Contribute to AI4SE in The Era of Foundation Models?
FORGE Panel
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Denys Poshyvanyk William & Mary, Prem Devanbu University of California at Davis, Massimiliano Di Penta University of Sannio, Italy, David Lo Singapore Management University
11:00 - 12:30
Foundation Models for Software Quality AssuranceFORGE Research Track at Luis de Freitas Branco
Chair(s): Matteo Ciniselli Università della Svizzera Italiana
11:00
14m
Full-paper
Deep Multiple Assertions GenerationFull Paper
FORGE Research Track
Hailong Wang Zhejiang University, Tongtong Xu Huawei, Bei Wang Huawei
11:14
14m
Full-paper
MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented GenerationFull Paper
FORGE Research Track
Guanyu Wang Beijing University of Posts and Telecommunications, Yuekang Li University of New South Wales, Yi Liu Nanyang Technological University, Gelei Deng Nanyang Technological University, Li Tianlin Nanyang Technological University, Guosheng Xu Beijing University of Posts and Telecommunications, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology, Kailong Wang Huazhong University of Science and Technology
11:28
14m
Full-paper
Planning to Guide LLM for Code Coverage PredictionFull Paper
FORGE Research Track
Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
11:42
7m
Short-paper
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-BenchmarksNew Idea Paper
FORGE Research Track
Ashwin Prasad Shivarpatna Venkatesh University of Paderborn, Samkutty Sabu University of Paderborn, Amir Mir Delft University of Technology, Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, Eric Bodden
11:49
14m
Full-paper
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language ModelsFull Paper
FORGE Research Track
Jiahui Wu Simula Research Laboratory and University of Oslo, Chengjie Lu Simula Research Laboratory and University of Oslo, Aitor Arrieta Mondragon University, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
12:03
7m
Short-paper
Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance CasesNew Idea Paper
FORGE Research Track
Kimya Khakzad Shahandashti York University, Mithila Sivakumar York University, Mohammad Mahdi Mohajer York University, Alvine Boaye Belle York University, Song Wang York University, Timothy Lethbridge University of Ottawa
12:10
20m
Other
Discussion
FORGE Research Track

14:00 - 15:30
Keynote 2 & Properties of Foundation ModelsFORGE Research Track / FORGE Keynotes at Luis de Freitas Branco
Chair(s): David Lo Singapore Management University, Feifei Niu Nanjing University
14:00
40m
Keynote
Keynote 2: Towards an Interpretable Science of Deep Learning for Software Engineering: A Causal Inference View
FORGE Keynotes
Denys Poshyvanyk William & Mary
14:40
14m
Full-paper
Exploring the Impact of the Output Format on the Evaluation of Large Language Models for Code TranslationFull Paper
FORGE Research Track
Marcos Macedo Queen's University, Kingston, Ontario, Yuan Tian Queen's University, Kingston, Ontario, Filipe Cogo Huawei, Bram Adams Queen's University, Kingston, Ontario
Pre-print
14:54
7m
Short-paper
Is Attention All You Need? Toward a Conceptual Model for Social Awareness in Large Language ModelsNew Idea Paper
FORGE Research Track
Gianmario Voria University of Salerno, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno
Pre-print
15:01
14m
Full-paper
An Exploratory Investigation into Code License Infringements in Large Language Model Training DatasetsFull Paper
FORGE Research Track
Jonathan Katzy Delft University of Technology, Răzvan Mihai Popescu Delft University of Technology, Arie van Deursen Delft University of Technology, Maliheh Izadi Delft University of Technology
15:15
15m
Other
Discussion
FORGE Research Track

16:00 - 17:30
FORGE2024 Awards & Foundation Models for Code and Documentation GenerationFORGE Research Track at Luis de Freitas Branco
Chair(s): Antonio Mastropaolo Università della Svizzera italiana
16:00
10m
Awards
Award Ceremony
FORGE Research Track

16:10
7m
Short-paper
Fine Tuning Large Language Model for Secure Code GenerationNew Idea Paper
FORGE Research Track
Junjie Li Concordia University, Aseem Sangalay Delhi Technological University, Cheng Cheng Concordia University, Yuan Tian Queen's University, Kingston, Ontario, Jinqiu Yang Concordia University
16:17
14m
Full-paper
Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case StudyFull Paper
FORGE Research Track
Tim van Dam Delft University of Technology, Frank van der Heijden Delft University of Technology, Philippe de Bekker Delft University of Technology, Berend Nieuwschepen Delft University of Technology, Marc Otten Delft University of Technology, Maliheh Izadi Delft University of Technology
16:31
7m
Short-paper
On Evaluating the Efficiency of Source Code Generated by LLMsNew Idea Paper
FORGE Research Track
Changan Niu Software Institute, Nanjing University, Ting Zhang Singapore Management University, Chuanyi Li Nanjing University, Bin Luo Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
16:38
14m
Full-paper
PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4Full Paper
FORGE Research Track
Seif Abukhalaf Polytechnique Montreal, Mohammad Hamdaqa Polytechnique Montréal, Foutse Khomh Polytechnique Montréal
16:52
7m
Short-paper
Creative and Correct: Requesting Diverse Code Solutions from AI Foundation ModelsNew Idea Paper
FORGE Research Track
Scott Blyth Monash University, Christoph Treude Singapore Management University, Markus Wagner Monash University, Australia
16:59
7m
Short-paper
Commit Message Generation via ChatGPT: How Far Are We?New Idea Paper
FORGE Research Track
Yifan Wu Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Siyu Yu The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen)
17:06
24m
Other
Discussion
FORGE Research Track

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session1: Opening + Keynote by Alessandra RussoSEAMS Research Track at Luis de Freitas Branco
09:00
30m
Talk
SEAMS 2024 Opening
SEAMS Research Track

09:30
60m
Keynote
Keynote: Advances on Symbolic Machine Learning and Recent Applications to Software Engineering
SEAMS Research Track
Alessandra Russo Imperial College London
11:00 - 12:30
Session 2: UncertaintySEAMS Research Track at Luis de Freitas Branco
Chair(s): Ivana Dusparic Trinity College Dublin, Ireland
11:00
25m
Talk
Formal Synthesis of Uncertainty Reduction ControllersFULL
SEAMS Research Track
Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin
11:25
25m
Talk
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL
SEAMS Research Track
Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
11:50
25m
Talk
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL
SEAMS Research Track
Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
12:15
15m
Talk
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT
SEAMS Research Track
Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York
14:00 - 15:30
Session 3: Unmanned Aerial Vehicles and LLMs SEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco
Chair(s): Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute
14:00
25m
Talk
ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial SystemsFULL
SEAMS Research Track
Md Nafee Al Islam University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Innsbruck
14:25
15m
Talk
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire TrackingSHORT
SEAMS Research Track
Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
14:40
15m
Talk
Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable EnvironmentsARTIFACT
SEAMS Artifact Track
Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
14:55
15m
Talk
Aloft: Self-Adaptive Drone Controller TestbedARTIFACT
SEAMS Artifact Track
Calum Imrie University of York, Rhys Howard University of Oxford, Divya Thuremella University of Oxford, Nawshin Mannan Proma University of York, Tejas Pandey University of York, Paulina Lewinska University of York, Ricardo Cannizzaro University of Oxford, Richard Hawkins University of York, Colin Paterson University of York, Lars Kunze University of Oxford, Victoria J. Hodge University of York
15:10
15m
Talk
Exploring the Potential of Large Language Models in Self-adaptive SystemsSHORT
SEAMS Research Track
Jialong Li Waseda University, Japan, Mingyue Zhang Southwest University, NIANYU LI ZGC Lab, China, Danny Weyns KU Leuven, Zhi Jin Peking University, Kenji Tei Tokyo Institute of Technology
16:00 - 17:30
Session 4: Testing + Community DebateSEAMS Research Track at Luis de Freitas Branco
Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Bradley Schmerl Carnegie Mellon University, USA
16:00
25m
Talk
Automating Pipelines of A/B Tests with Population Split Using Self-Adaptation and Machine LearningFULL
SEAMS Research Track
Federico Quin Katholieke Universiteit Leuven, Danny Weyns KU Leuven
16:25
15m
Talk
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language ProcessingSHORT
SEAMS Research Track
Qunying Song Lund University, Rune Anderberg Lund University, Henrik Olsson Lund University, Per Runeson Lund University
16:40
50m
Panel
Panel: Should the adaptive software systems community re-visit bio-inspired algorithms given advances in ML and more general research attention on bio-diversity and sustainability?COMMUNITY DEBATE
SEAMS Research Track
Darko Bozhinoski Université Libre de Bruxelles, Rogério de Lemos University of Kent, UK, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Andrew Jackson Trinity College Dublin, Ireland

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session 5: Keynote by Jun Sun + AwardsSEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco
09:00
60m
Keynote
Keynote: Towards Always Law-Abiding Self-Driving
SEAMS Research Track
Jun Sun Singapore Management University
10:00
20m
Awards
Most Influential Paper Award 2014
SEAMS Research Track

10:20
10m
Awards
SEAMS Best Paper and Artifact Awards
SEAMS Research Track

11:00 - 12:30
Session 6: Self-Recovery & Evaluation SEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco
Chair(s): Dalal Alrajeh Imperial College London
11:00
25m
Talk
Raft Protocol for Fault Tolerance and Self-Recovery in Federated LearningFULL
SEAMS Research Track
Rustem Dautov SINTEF, Erik Johannes Husom SINTEF Digital
11:25
25m
Talk
Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationFULL
SEAMS Research Track
Simon Chu Carnegie Mellon University, Justin Koe The Cooper Union, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
11:50
25m
Talk
Learning Recovery Strategies for Dynamic Self-healing in Reactive SystemsFULL
SEAMS Research Track
Mateo Sanabria Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Nicolás Cardozo Universidad de los Andes
Pre-print
12:15
15m
Talk
SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled SystemsARTIFACT
SEAMS Artifact Track
Arya Marda IIIT Hyderabad, Shubham Kulkarni IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
Pre-print Media Attached
14:00 - 15:30
Session 7: SAS ApplicationsSEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco
Chair(s): Ilias Gerostathopoulos Vrije Universiteit Amsterdam
14:00
25m
Talk
Patterns of Applied Control for Public Health Measures on Transportation Services under EpidemicFULL
SEAMS Research Track
Kenneth Johnson Auckland University of Technology, Samaneh Madanian Auckland University of Technology, Catia Trubiani Gran Sasso Science Institute
14:25
15m
Talk
An Artifact Exemplar for Engineering Self-Adaptive Microservice ApplicationsARTIFACT
SEAMS Artifact Track
Vincenzo Riccio Politecnico di Milano, Giancarlo Sorrentino Politecnico di Milano, Ettore Zamponi Politecnico di Milano, Matteo Camilli Politecnico di Milano, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Patrizia Scandurra University of Bergamo, Italy
14:40
15m
Talk
Self-adaptive, Requirements-driven Autoscaling of MicroservicesSHORT
SEAMS Research Track
João Paulo Karol Santos Nunes IBM Brazil and University of São Paulo, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Elisa Yumi Nakagawa University of São Paulo
Pre-print
14:55
15m
Talk
GreenhouseDT: An Exemplar for Digital TwinsARTIFACT
SEAMS Artifact Track
Eduard Kamburjan University of Oslo, Riccardo Sieve University of Oslo, Chinmayi Prabhu Baramashetru University of Oslo, Marco Amato University of Turin, Gianluca Barmina University of Turin, Eduard Occhipinti University of Turin, Einar Broch Johnsen University of Oslo
15:10
15m
Talk
Latency-aware RDMSim: Enabling the Investigation of Latency in Self-Adaptation for the Case of Remote Data MirroringARTIFACT
SEAMS Artifact Track
Sebastian Götz Technische Universität Dresden, Nelly Bencomo Durham University, Huma Samin Durham University
16:00 - 17:30
Session 8: Human Aspects + Closing + SEAMS 2025SEAMS Research Track at Luis de Freitas Branco
Chair(s): Genaina Rodrigues University of Brasilia
16:00
25m
Talk
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine LearningFULL
SEAMS Research Track
Francesco Renato Negri Politecnico di Milano, Niccolò Nicolosi Politecnico di Milano, Matteo Camilli Politecnico di Milano, Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
16:25
15m
Talk
Human empowerment in self-adaptive socio-technical systemsSHORT
SEAMS Research Track
Nicolas Boltz Karlsruhe Institute of Technology (KIT), Sinem Getir Yaman University of York, UK, Paola Inverardi , Rogério de Lemos University of Kent, UK, Dimitri Van Landuyt KU Leuven, Belgium, Andrea Zisman The Open University
16:40
15m
Talk
Towards Understanding Trust in Self-adaptive SystemsSHORT
SEAMS Research Track
Dimitri Van Landuyt KU Leuven, Belgium, David Halasz Masaryk University, Stef Verreydt DistriNet-KU Leuven, Danny Weyns KU Leuven
16:55
15m
Talk
SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous VehiclesSHORT
SEAMS Research Track
Kenneth Chan Michigan State University, Sol Zilberman Michigan State University, Nicholas Polanco Michigan State University, Betty H.C. Cheng Michigan State University, Josh Siegel Michigan State University
17:10
20m
Talk
Closing
SEAMS Research Track

Wed 17 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
11:00
15m
Talk
ChatGPT Incorrectness Detection in Software Reviews
ICSE Research Track
Minaoar Hossain Tanzil University of Calgary, Canada, Junaed Younus Khan University of Calgary, Gias Uddin York University, Canada
DOI Pre-print
11:15
15m
Talk
ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers
ICSE Research Track
Raphael Serafini Ruhr University Bochum, Clemens Otto Ruhr University Bochum, Stefan Albert Horstmann Ruhr University Bochum, Alena Naiakshina Ruhr University Bochum
11:30
15m
Talk
Development in times of hype: How freelancers explore Generative AI?
ICSE Research Track
Mateusz Dolata University of Zurich, Norbert Lange Entschleunigung Lange, Gerhard Schwabe University of Zurich
DOI Pre-print
11:45
15m
Talk
How Far Are We? The Triumphs and Trials of Generative AI in Learning Software Engineering
ICSE Research Track
Rudrajit Choudhuri Oregon State University, Dylan Liu Oregon State University, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, Anita Sarma Oregon State University
Pre-print
12:00
15m
Research paper
Uncovering the Causes of Emotions in Software Developer Communication Using Zero-shot LLMs
ICSE Research Track
Mia Mohammad Imran Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA, Kostadin Damevski Virginia Commonwealth University
Pre-print
12:15
15m
Talk
Assessing AI Detectors in Identifying AI-Generated Code: Implications for Education
ICSE Software Engineering Education and Training
Wei Hung Pan School of Information Technology, Monash University Malaysia, Ming Jie Chok School of Information Technology, Monash University Malaysia, Jonathan Leong Shan Wong School of Information Technology, Monash University Malaysia, Yung Xin Shin School of Information Technology, Monash University Malaysia, Yeong Shian Poon School of Information Technology, Monash University Malaysia, Zhou Yang Singapore Management University, Chun Yong Chong Monash University Malaysia, David Lo Singapore Management University, Mei Kuan Lim Monash University Malaysia
14:00 - 15:30
14:00
15m
Talk
EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning
ICSE Research Track
Liuqing Chen Zhejiang University, Yunnong Chen Zhejiang University, Shuhong Xiao , Yaxuan Song Zhejiang University, Lingyun Sun Zhejiang University, Yankun Zhen Alibaba Group, Tingting Zhou Alibaba Group, Yanfang Chang Alibaba Group
Link to publication Pre-print File Attached
14:15
15m
Talk
A Comprehensive Study of Learning-based Android Malware Detectors under Challenging Environments
ICSE Research Track
Cuiying Gao Huazhong University of Science and Technology, Gaozhun Huang Huazhong University of Science and Technology, Heng Li Huazhong University of Science and Technology, Bang Wu Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Wei Yuan Huazhong University of Science and Technology
14:30
15m
Talk
Toward Automatically Completing GitHub Workflows
ICSE Research Track
Antonio Mastropaolo Università della Svizzera italiana, Fiorella Zampetti University of Sannio, Italy, Gabriele Bavota Software Institute, USI Università della Svizzera italiana, Massimiliano Di Penta University of Sannio, Italy
Pre-print
14:45
15m
Talk
UniLog: Automatic Logging via LLM and In-Context Learning
ICSE Research Track
Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Ziang Cui Southeast University, Yuan Zhao Peking University, Xu Zhang Microsoft Research, Shilin He Microsoft Research, Pinjia He Chinese University of Hong Kong, Shenzhen, Liqun Li Microsoft Research, Yu Kang Microsoft Research, Qingwei Lin Microsoft, Yingnong Dang Microsoft Azure, Saravan Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research
15:00
7m
Talk
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
ICSE Journal-first Papers
Steve Kommrusch Leela AI, Martin Monperrus KTH Royal Institute of Technology, Louis-Noël Pouchet Colorado State University
15:07
7m
Talk
NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR
ICSE Journal-first Papers
Orlando Amaral University of Luxembourg, Muhammad Ilyas Azeem University of Luxembourg, Sallam Abualhaija University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
15:14
7m
Talk
Exploring ChatGPT for Toxicity Detection in GitHub
ICSE New Ideas and Emerging Results
Shyamal Mishra Drexel University, Preetha Chatterjee Drexel University, USA
16:00 - 17:30
16:00
15m
Talk
Large Language Models for Test-Free Fault Localization
ICSE Research Track
Aidan Z.H. Yang Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University
16:15
15m
Talk
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection
ICSE Research Track
Benjamin Steenhoek Iowa State University, Hongyang Gao Dept. of Computer Science, Iowa State University, Wei Le Iowa State University
Pre-print
16:30
15m
Talk
An Empirical Study on Compliance with Ranking Transparency in the Software Documentation of EU Online Platforms
ICSE Software Engineering in Society
Francesco Sovrano University of Zurich, Michaël Lognoul University of Namur (CRIDS, NADI), Alberto Bacchelli University of Zurich
16:45
15m
Talk
An Industry Case Study on Adoption of AI-based Programming Assistants
ICSE Software Engineering in Practice
Nicole Davila Universidade Federal do Rio Grande do Sul, Igor Wiese Federal University of Technology, Igor Steinmacher Northern Arizona University, Lucas Lucio Federal University of Technology - Paraná (UTFPR), André Kawamoto Federal University of Technology - Paraná (UTFPR), Gilson José Peres Favaro , Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
17:00
7m
Talk
Assessing LLMs for High Stakes Applications
ICSE Software Engineering in Practice
Shannon K. Gallagher Software Engineering Institute, Carnegie Mellon University, Jasmine Ratchford Software Engineering Institute, Carnegie Mellon University, Tyler Brooks Software Engineering Institute, Carnegie Mellon University, Bryan P. Brown Software Engineering Institute, Carnegie Mellon University, Eric Heim Software Engineering Institute, Carnegie Mellon University, William R. Nichols Software Engineering Institute, Carnegie Mellon University, Scott McMillan Software Engineering Institute, Carnegie Mellon University, Swati Rallapalli Software Engineering Institute, Carnegie Mellon University, Carol J. Smith Software Engineering Institute, Carnegie Mellon University, Nathan VanHoudnos Software Engineering Institute, Carnegie Mellon University, Nick Winski Software Engineering Institute, Carnegie Mellon University, Andrew O. Mellinger Software Engineering Institute, Carnegie Mellon University
17:07
7m
Talk
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking
ICSE New Ideas and Emerging Results
Weilin Luo SUN YAT-SEN UNIVERSITY, Weiyuan Fang SUN YAT-SEN UNIVERSITY, Qiu Junming SUN YAT-SEN UNIVERSITY, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Yanan Liu SUN YAT-SEN UNIVERSITY, Rongzhen Ye Sun Yat-Sen University
17:14
7m
Talk
Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks
ICSE Journal-first Papers
NIKITA MEHROTRA Indraprastha Institute of Information Technology, Akash Sharma IIIT-Delhi, Anmol Jindal IIIT-Delhi, Rahul Purandare UNL, USA

Thu 18 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Analysis and Debugging 2ICSE New Ideas and Emerging Results / ICSE Research Track at Luis de Freitas Branco
Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
11:00
15m
Talk
Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems
ICSE Research Track
Chenxi Zhang Fudan University, Zhen Dong Fudan University, China, Xin Peng Fudan University, Bicheng Zhang Fudan University, Miao Chen Fudan University
11:15
15m
Talk
ReClues: Representing and indexing failures in parallel debugging with program variables
ICSE Research Track
Yi Song School of Computer Science, Wuhan University, Xihao Zhang School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Quanming Liu School of Computer Science, Wuhan University, Ruizhi Gao Sonos Inc., Chenliang Xing School of Computer Science, Wuhan University
11:30
15m
Talk
PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code
ICSE Research Track
Wuxia Jin Xi'an Jiaotong University, Shuo Xu Xi'an jiaotong university, Dawei Chen Xi'an Jiaotong University, Jiajun He Xi'an jiaotong university, Dinghong Zhong Xi'an jiaotong university, Ming Fan Xi'an Jiaotong University, Hongxu Chen Huawei Technologies Co., Ltd., Huijia Zhang Huawei Technologies Co Ltd, Ting Liu Xi'an Jiaotong University
11:45
15m
Talk
Detecting Automatic Software Plagiarism via Token Sequence Normalization
ICSE Research Track
Timur Sağlam Karlsruhe Institute of Technology (KIT), Moritz Brödel Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology, Sebastian Hahner Karlsruhe Institute of Technology (KIT)
DOI Pre-print
12:00
15m
Talk
NuzzleBug: Debugging Block-Based Programs in Scratch
ICSE Research Track
Adina Deiner University of Passau, Gordon Fraser University of Passau
Pre-print
12:15
7m
Talk
Locating Buggy Segments in Quantum Program Debugging
ICSE New Ideas and Emerging Results
Naoto Sato Hitachi, Ltd., Ryota Katsube Hitachi, Ltd.
12:22
7m
Talk
Beyond a Joke: Dead Code Elimination Can Delete Live Code
ICSE New Ideas and Emerging Results
Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Debin Gao Singapore Management University, He Jiang Dalian University of Technology
14:00 - 15:30
14:00
15m
Talk
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains
ICSE Research Track
Raphael J. Sofaer Columbia University, Yaniv David Columbia University, Mingqing Kang Johns Hopkins University, Jianjia Yu Johns Hopkins University, Yinzhi Cao Johns Hopkins University, Junfeng Yang Columbia University, Jason Nieh Columbia University
14:15
15m
Talk
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
ICSE Research Track
Huijia Sun ShanghaiTech University, China, Chris Poskitt Singapore Management University, Yang Sun Singapore Management University, Jun Sun Singapore Management University, Yuqi Chen ShanghaiTech University, China
Pre-print
14:30
15m
Talk
Efficiently Trimming the Fat: Streamlining Software Dependencies with Java Reflection and Dependency Analysis
ICSE Research Track
Xiaohu Song Northeastern University, Ying Wang Northeastern University, Xiao Cheng Huawei Technologies Co., Ltd., Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co. Ltd, Zhiliang Zhu Northeastern University, China
14:45
7m
Talk
Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages
ICSE Journal-first Papers
Jaekwon Lee University of Ottawa & University of Luxembourg, Seung Yeob Shin University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Shiva Nejati University of Ottawa
14:52
7m
Talk
Are automated static analysis tools worth it? An investigation into relative warning density and external software quality on the example of Apache open source projects
ICSE Journal-first Papers
Alexander Trautsch University of Passau, Steffen Herbold University of Passau, Jens Grabowski University of Göttingen
14:59
7m
Talk
Actor-driven Decomposition of Microservices through Multi-level Scalability Assessment
ICSE Journal-first Papers
Carmine Colarusso University of Sannio, Benevento, Matteo Camilli Politecnico di Milano, Barbara Russo , Eugenio Zimeo University of Sannio, Benevento
15:06
7m
Talk
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
ICSE Demonstrations
Ashwin Prasad Shivarpatna Venkatesh University of Paderborn, Samkutty Sabu University of Paderborn, Jiawei Wang Monash University, Amir Mir Delft University of Technology, Li Li Beihang University, Eric Bodden
15:13
7m
Talk
Toward Adaptive Tracing: Efficient System Behavior Analysis using Language Models
ICSE New Ideas and Emerging Results
Kasra Darvishi Brock University, Morteza Noferesti Brock University, Naser Ezzati Jivan

Fri 19 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
11:00
15m
Talk
How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
ICSE Research Track
Yuxia Zhang Beijing Institute of Technology, Mian Qin Beijing Institute of Technology, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Minghui Zhou Peking University, Hui Liu Beijing Institute of Technology
Pre-print
11:15
15m
Talk
Barriers for Students During Code Change Comprehension
ICSE Research Track
Justin Middleton North Carolina State University, John-Paul Ore North Carolina State University, Kathryn Stolee North Carolina State University
11:30
15m
Talk
SERGE – Serious Game for the Education of Risk Management in Software Project Management
ICSE Software Engineering Education and Training
Giusy Annunziata University of Salerno, Stefano Lambiase University of Salerno, Fabio Palomba University of Salerno, Filomena Ferrucci University of Salerno
Pre-print
11:45
15m
Talk
Equitable Student Collaboration in Pair Programming
ICSE Software Engineering Education and Training
Isabella Graßl University of Passau, Gordon Fraser University of Passau
12:00
15m
Talk
Scalable Teaching of Software Engineering Theory and Practice: An Experience Report
ICSE Software Engineering Education and Training
12:15
7m
Talk
Relationship Between Diversity of Collaborative Group Members’ Race and Ethnicity and the Frequency of their Collaborative Contributions in GitHub
ICSE Journal-first Papers
Sheik Shameer University of Waterloo, Gema Rodríguez-Pérez University of British Columbia (UBC), Mei Nagappan University of Waterloo
12:22
7m
Talk
Does Code Review Speed Matter for Practitioners?
ICSE Journal-first Papers
Gunnar Kudrjavets Amazon Web Services, USA, Ayushi Rastogi University of Groningen, The Netherlands
Link to publication DOI Pre-print
14:00 - 15:30
14:00
15m
Talk
“I tend to view ads almost like a pestilence”: On the Accessibility Implications of Mobile Ads for Blind Users
ICSE Research Track
Ziyao He University of California, Irvine, Syed Fatiul Huq University of California, Irvine, Sam Malek University of California at Irvine
14:15
15m
Talk
Constructive Code Review: Managing the Impact of Interpersonal Conflicts in Practice
ICSE Software Engineering in Practice
Pavlina Wurzel Goncalves University of Zurich, Joao S. V. Goncalves University of Zurich, Alberto Bacchelli University of Zurich
14:30
15m
Talk
Motivating Open Source Collaborations Through Social Network Evaluation: A Gamification Practice from Alibaba
ICSE Software Engineering in Practice
Shengyu Zhao Tongji University, Xiaoya Xia East China Normal University, Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick, Xiaozhou Li University of Oulu, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu and Tampere University , Rong Wang Alibaba Group, will wang , Chunqi Tian Yongji University
14:45
15m
Talk
Objectives and Key Results in Software Teams: Challenges, Opportunities and Impact on Development
ICSE Software Engineering in Practice
Jenna L. Butler Microsoft Research, Thomas Zimmermann Microsoft Research, Christian Bird Microsoft Research
15:00
7m
Talk
Dealing with Data Challenges when Delivering Data-Intensive Software Solutions
ICSE Journal-first Papers
Ulrike Maria Graetsch , Hourieh Khalajzadeh Deakin University, Australia, Rashina Hoda Monash University, Mojtaba Shahin RMIT University, John Grundy Monash University
Link to publication DOI Pre-print
15:07
7m
Talk
What’s (Not) Working in Programmer User Studies?
ICSE Journal-first Papers
Matthew C. Davis Carnegie Mellon University, Emad Aghayi George Mason University, Thomas LaToza George Mason University, Xiaoyin Wang University of Texas at San Antonio, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
15:14
7m
Talk
Confirmation Bias and Time Pressure: A Family of Experiments in Software Testing
ICSE Journal-first Papers
Iflaah Salman Lappeenranta-Lahti University of Technology (LUT), Burak Turhan University of Oulu, Robert Ramač Faculty of Technical Sciences, University of Novi Sad, Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad
16:00 - 17:30
16:00
15m
Talk
Property-Based Testing in PracticeACM SIGSOFT Distinguished Paper Award
ICSE Research Track
Harrison Goldstein University of Pennsylvania, Joseph W. Cutler University of Pennsylvania, Daniel Dickstein Jane Street, Benjamin C. Pierce University of Pennsylvania, Andrew Head University of Pennsylvania
16:15
15m
Talk
Navigating the Path of Women in Software Engineering: From Academia to Industry
ICSE Software Engineering in Society
Tatalina Oliveira CESAR School, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary, Ronnie de Souza Santos University of Calgary, Helda Barros CESAR School, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Cesar França CESAR School
Pre-print
16:30
15m
Talk
Early Career Software Developers - Are You Sinking or Swimming?
ICSE Software Engineering in Society
Xin Zhao Seattle University, Narissa Tsuboi Seattle University
16:45
15m
Talk
An experience report on the use of Active Learning in Empirical Software Engineering Education: Understanding the pros and cons from the student's perspective
ICSE Software Engineering Education and Training
Maria Alcimar Costa Meireles UFAM - Federal University of Amazonas, Sabrina Rocha UFAM - Federal University of Amazonas, José Carlos Maldonado Loggi Tecnologia and University of São Paulo - USP and, Tayana Conte Universidade Federal do Amazonas
17:00
15m
Talk
Teaching Software Ethics to Future Software Engineers
ICSE Software Engineering Education and Training
Aastha Pant Monash University, Simone Spiegler Monash University, Rashina Hoda Monash University, Jeremy Yoon Monash University, Nabeeb Yusuf Monash University, Tian Er Monash University, Shenyi Hu Monash University
17:15
7m
Talk
Mind the Gap: Gender, Micro-inequities and Barriers in Software Development
ICSE Journal-first Papers
Emitzá Guzmán Vrije Universiteit Amsterdam, Ricarda Anna-Lena Fischer Vrije Universiteit Amsterdam, Janey Kok Vrije Universiteit Amsterdam

Sat 20 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session 1: Welcome & Opening + Keynote 1 + Full PapersLLM4Code at Luis de Freitas Branco
Chair(s): Lin Tan Purdue University
09:00
10m
Day opening
Welcome & Opening
LLM4Code
Prem Devanbu University of California at Davis, Yiling Lou Fudan University, Lin Tan Purdue University, Lingming Zhang University of Illinois at Urbana-Champaign
09:10
50m
Keynote
Code Llama: Open Foundation Models for Code
LLM4Code
10:00
10m
Talk
Industrial Experience Report on AI-Assisted Coding in Professional Software Development
LLM4Code
Rudolf Ramler Software Competence Center Hagenberg (SCCH), Lukas Fischer Software Competence Center Hagenberg GmbH, Michael Moser Software Competence Center Hagenberg GmbH, Markus Nissl Building Digital Solutions 421 GmbH, Rene Heinzl Building Digital Solutions 421 GmbH
10:10
10m
Talk
Gauging Tech Community Acceptance of Rapid Prototyping in Unfamiliar Programming Languages using LLM Chatbots
LLM4Code
Krerkkiat Chusap Ohio University, Chang Liu
10:20
10m
Talk
LLM4TDD: Best Practices for Test Driven Development Using Large Language Models
LLM4Code
Sanyogita Piya The University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
11:00 - 12:30
Session 2: Full PapersLLM4Code at Luis de Freitas Branco
Chair(s): Yiling Lou Fudan University
11:00
10m
Talk
LLM-based and Retrieval-Augmented Control Code Generation
LLM4Code
Heiko Koziolek ABB Corporate Research, Sten Grüner ABB Corporate Research, Rhaban Hark ABB Research, Virendra Ashiwal ABB Research, Sofia Linsbauer ABB Research, Nafise Eskandani ABB Corporate Research Center
Pre-print
11:10
10m
Talk
Learn to Code Sustainably: An Empirical Study on Green Code Generation
LLM4Code
Tina Vartziotis TWT Science and Innovation, National Technical University of Athens, Ippolyti Dellatolas Massachusetts Institute of Technology, George Dasoulas Harvard University, Maximilian Schmidt TWT Science and Innovation, Florian Schneider TWT Science and Innovation, Tim Hoffmann Mercedes-Benz, Sotirios Kotsopoulos National Technical University of Athens, Massachusetts Institute of Technology, Michael Keckeisen TWT Science and Innovation
11:20
10m
Talk
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
LLM4Code
Federico Cassano Northeastern University, Tao Li Northeastern University, Akul Sethi Northeastern University, Noah Shinn Northeastern University, Abby Brennan-Jones Wellesley College, Anton Lozhkov Hugging Face, Carolyn Jane Anderson Wellesley College, Arjun Guha Northeastern University; Roblox
Pre-print
11:30
10m
Talk
HierarchyNet: Learning to Summarize Source Code with Heterogeneous Representations
LLM4Code
Thai Minh Nguyen Monash University, Nghi D. Q. Bui Fulbright University, Viet Nam
11:40
10m
Talk
LLM-based Control Code Generation using Image Recognition
LLM4Code
Heiko Koziolek ABB Corporate Research, Anne Koziolek Karlsruhe Institute of Technology
Pre-print
11:50
10m
Talk
Translation of Low-Resource COBOL to Logically Correct and Readable Java leveraging High-Resource Java Refinement
LLM4Code
Shubham Gandhi TCS Research, Manasi Patwardhan TCS Research, Jyotsana Khatri TCS Research, Lovekesh Vig TCS Research, New Delhi, India, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services
Pre-print
12:00
10m
Talk
Unit Test Generation using Generative AI : A Comparative Performance Analysis of Autogeneration Tools
LLM4Code
Shreya Bhatia IIIT Delhi, Tarushi Gandhi IIIT Delhi, Dhruv Kumar Indraprastha Institute of Information Technology, Delhi, Pankaj Jalote IIIT Delhi
Pre-print
12:10
10m
Talk
StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code
LLM4Code
Hannah McLean Babe Oberlin College, Sydney Nguyen Wellesley College, Yangtian Zi Northeastern University, Arjun Guha Northeastern University; Roblox, Molly Feldman Oberlin College, Carolyn Jane Anderson Wellesley College
Pre-print
12:20
10m
Talk
PromptSet: A Programmer’s Prompting Dataset
LLM4Code
Kaiser Pister Univeristy of Wisconsin-Madison, Dhruba Jyoti Paul Univeristy of Wisconsin-Madison, Ishan Joshi Univeristy of Wisconsin-Madison, Patrick Brophy Univeristy of Wisconsin-Madison
Pre-print
14:00 - 15:30
Session 3: Keynote 2 + Position PapersLLM4Code at Luis de Freitas Branco
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
14:00
50m
Keynote
Open development of Large Language Models for code with BigCode and StarCoder2
LLM4Code
Loubna Ben Allal Hugging Face
14:50
8m
Talk
Benchmarking the Security Aspect of Large Language Model-Based Code Generation
LLM4Code
Cheng Cheng Concordia University, Jinqiu Yang Concordia University
Pre-print
14:58
8m
Talk
Enhancing LLM-Based Coding Tools through Native Integration of IDE-Derived Static Context
LLM4Code
Yichen LI The Chinese University of Hong Kong, Yun Peng Chinese University of Hong Kong, Yintong Huo The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
Pre-print
15:06
8m
Talk
Evaluating Fault Localization and Program Repair Capabilities of Existing Closed-Source General-Purpose LLMs
LLM4Code
Shengbei Jiang Beijing Jiaotong University, Jiabao Zhang Beijing Jiaotong University, Wei Chen Beijing Jiaotong University, Bo Wang Beijing Jiaotong University, Jianyi Zhou Huawei Cloud Computing Technologies Co., Ltd., Jie M. Zhang King’s College London
Pre-print
15:14
8m
Talk
MoonBit: Explore the Design of an AI-Friendly Programming Language
LLM4Code
Haoxiang Fei International Digital Economy Academy, Yu Zhang International Digital Economy Academy, Hongbo Zhang International Digital Economy Academy, Yanlin Wang Sun Yat-sen University, Qing Liu International Digital Economy Academy
Pre-print
15:22
8m
Talk
Toward a New Era of Rapid Development: Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
LLM4Code
Gabor Antal University of Szeged, Richárd Vozár Department of Software Engineering, University of Szeged, Hungary, Rudolf Ferenc University of Szeged
16:00 - 17:30
Session 4: Full Papers + Award & ClosingLLM4Code at Luis de Freitas Branco
Chair(s): Prem Devanbu University of California at Davis
16:00
10m
Talk
Investigating the Proficiency of Large Language Models in Formative Feedback Generation for Student Programmers
LLM4Code
Smitha S Kumar Heriot-Watt University -UAE, Michael Lones Heriot Watt University- UK, Manuel Maarek Heriot-Watt University, Hind Zantout Heriot-Watt University -UAE
Pre-print
16:10
10m
Talk
Tackling Students' Coding Assignments with LLMs
LLM4Code
Adam Dingle Charles University, Martin Kruliš Charles University
Pre-print
16:20
10m
Talk
Applying Large Language Models to Enhance the Assessment of Parallel Functional Programming Assignments
LLM4Code
Skyler Grandel Vanderbilt University, Douglas C. Schmidt Vanderbilt University, Kevin Leach Vanderbilt University
Pre-print
16:30
10m
Talk
An Empirical Study on Usage and Perceptions of LLMs in a Software Engineering Project
LLM4Code
Sanka Rasnayaka National University of Singapore, Wang Guanlin National University of Singapore, Ridwan Salihin Shariffdeen National University of Singapore, Ganesh Neelakanta Iyer National University of Singapore
Pre-print
16:40
10m
Talk
LLMs for Relational Reasoning: How Far are We?
LLM4Code
Zhiming Li Nanyang Technological University, Singapore, Yushi Cao Nanyang Technological University, Xiufeng Xu Nanyang Technological University, Junzhe Jiang Hong Kong Polytechnic University, Xu Liu North Carolina State University, Yon Shin Teo Continental Automotive Singapore Pte. Ltd., Shang-Wei Lin Nanyang Technological University, Yang Liu Nanyang Technological University
Pre-print
16:50
10m
Talk
HawkEyes: Spotting and Evading Instruction Disalignments of LLMs
LLM4Code
Dezhi Ran Peking University, Zihe Song University of Texas at Dallas, Wenhan Zhang Peking University, Wei Yang University of Texas at Dallas, Tao Xie Peking University
17:00
10m
Talk
Semantically Aligned Question and Code Generation for Automated Insight Generation
LLM4Code
Ananya Singha Microsoft, Bhavya Chopra Microsoft, Anirudh Khatry Microsoft, Sumit Gulwani Microsoft, Austin Henley University of Tennessee, Vu Le Microsoft, Chris Parnin Microsoft, Mukul Singh Microsoft, Gust Verbruggen Microsoft
Pre-print
17:10
20m
Day closing
Award & Closing
LLM4Code

Sun 14 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Luis de Freitas Branco

Mon 15 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Luis de Freitas Branco

Tue 16 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Luis de Freitas Branco

Wed 17 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Luis de Freitas Branco

Thu 18 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Luis de Freitas Branco

Fri 19 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Luis de Freitas Branco

Sat 20 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Luis de Freitas Branco