AIware 2024
Mon 15 - Tue 16 July 2024 Porto de Galinhas, Brazil, Brazil
co-located with FSE 2024
VenueHotel Armação
Room nameBaobá 1
Floor0
Capacity99
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Mon 15 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Opening + Keynote1 + AIware VisionMain Track at Baobá 1
09:00
45m
Talk
Automatic Programming vs. Artificial Intelligence
Main Track
James Noble Independent. Wellington, NZ
DOI
09:45
45m
Talk
Towards AI for Software Systems
Main Track
Nafise Eskandani ABB Corporate Research Center, Guido Salvaneschi University of St. Gallen
DOI
11:00 - 12:30
Industry Talk1 + SE for AIwareMain Track at Baobá 1
11:00
45m
Talk
Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning
Main Track
Eduardo de Conto Nanyang Technological University; CNRS@CREATE, Blaise Genest IPAL - CNRS - CNRS@CREATE, Arvind Easwaran Nanyang Technological University
DOI
11:45
45m
Talk
Green AI in Action: Strategic Model Selection for Ensembles in Production
Main Track
Nienke Nijkamp Delft University of Technology, June Sallou Delft University of Technology, Niels van der Heijden University of Amsterdam, Luís Cruz Delft University of Technology
DOI
14:00 - 15:30
Industry Talk2 + Human AI ConversationMain Track at Baobá 1
14:00
22m
Talk
Unveiling Assumptions: Exploring the Decisions of AI Chatbots and Human Testers
Main Track
Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg
DOI
14:22
22m
Talk
RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations
Main Track
Param Biyani Microsoft, Yasharth Bajpai Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Sumit Gulwani Microsoft
DOI
14:45
22m
Talk
From Human-to-Human to Human-to-Bot Conversations in Software Engineering
Main Track
Ranim Khojah Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg
DOI
15:07
22m
Talk
Unveiling the Potential of a Conversational Agent in Developer Support: Insights from Mozilla’s PDF.js Project
Main Track
João Correia PUC-Rio, Morgan C. Nicholson University of São Paulo, Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Caio Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marco Castelluccio Mozilla, Marco Gerosa Northern Arizona University, Alessandro Garcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Igor Steinmacher Northern Arizona University
DOI Pre-print
16:00 - 18:00
Security and Safety + Round Table + Day1 ClosingMain Track at Baobá 1
16:00
40m
Talk
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
Main Track
Ummay Kulsum North Carolina State University, Haotian Zhu Singapore Management University, Bowen Xu North Carolina State University, Marcelo d'Amorim North Carolina State University
DOI
16:40
40m
Talk
An AI System Evaluation Framework for Advancing AI Safety: Terminology, Taxonomy, Lifecycle Mapping
Main Track
Boming Xia CSIRO's Data61 & University of New South Wales, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Zhenchang Xing CSIRO's Data61
DOI
17:20
40m
Talk
Measuring Impacts of Poisoning on Model Parameters and Embeddings for Large Language Models of Code
Main Track
Aftab Hussain University of Houston, Md Rafiqul Islam Rabin University of Houston, Amin Alipour University of Houston
DOI

Tue 16 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Opening Day2 + Keynote2 + AIware for Domain-specific ApplicationsMain Track at Baobá 1
09:00
30m
Talk
Neuro-Symbolic Approach to Certified Scientific Software Synthesis
Main Track
Hamid Bagheri University of Nebraska-Lincoln, Mehdi Mirakhorli Rochester Institute of Technology, Mohamad Fazelnia University of Hawaii at Manoa, Ibrahim Mujhid University of Hawaii at Manoa, Md Rashedul Hasan University of Nebraska-Lincoln
DOI
09:30
30m
Talk
SolMover: Smart Contract Code Translation Based on Concepts
Main Track
Rabimba Karanjai University of Houston, Lei Xu Kent State University, Weidong Shi University of Houston
DOI
10:00
30m
Talk
The Art of Programming: Challenges in Generating Code for Creative Applications
Main Track
Michael Cook King’s College London
DOI
11:00 - 12:30
Industry Talk3 + AIware for CodeMain Track at Baobá 1
11:00
22m
Talk
A Transformer-Based Approach for Smart Invocation of Automatic Code Completion
Main Track
Aral de Moor Delft University of Technology, Arie van Deursen Delft University of Technology, Maliheh Izadi Delft University of Technology
DOI
11:22
22m
Talk
Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
Main Track
Sylvain Kouemo Ngassom Polytechnique Montréal, Arghavan Moradi Dakhel Polytechnique Montreal, Florian Tambon Polytechnique Montréal, Foutse Khomh Polytechnique Montréal
DOI
11:45
22m
Talk
Identifying the Factors That Influence Trust in AI Code Completion
Main Track
Adam Brown Google, Sarah D'Angelo Google, Ambar Murillo Google, Ciera Jaspan Google, Collin Green Google
DOI
12:07
22m
Talk
Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems
Main Track
Sasan Azizian University of Nebraska-Lincoln, Elham Rastegari Creighton University, Hamid Bagheri University of Nebraska-Lincoln
DOI
14:00 - 15:30
Industry Talk4 + AIware for Software Lifecycle ActivitiesMain Track at Baobá 1
14:00
22m
Talk
A Comparative Analysis of Large Language Models for Code Documentation Generation
Main Track
Shubhang Shekhar Dvivedi IIIT Delhi, Vyshnav Vijay IIIT Delhi, Sai Leela Rahul Pujari IIIT Delhi, Shoumik Lodh IIIT Delhi, Dhruv Kumar Indraprastha Institute of Information Technology, Delhi
DOI
14:22
22m
Talk
AI-Assisted Assessment of Coding Practices in Modern Code Review
Main Track
Manushree Vijayvergiya Google, Malgorzata Salawa Google, Ivan Budiselic Google, Dan Zheng Google DeepMind, Pascal Lamblin Google, Marko Ivanković Google; Universität Passau, Juanjo Carin Google, Mateusz Lewko Google Inc, Jovan Andonov Google, Goran Petrović Google Inc, Danny Tarlow Google, Petros Maniatis Google DeepMind, René Just University of Washington
DOI
14:45
22m
Talk
Effectiveness of ChatGPT for Static Analysis: How Far Are We?
Main Track
Mohammad Mahdi Mohajer York University, Reem Aleithan York University, Canada, Nima Shiri Harzevili York University, Moshi Wei York University, Alvine Boaye Belle York University, Hung Viet Pham York University, Song Wang York University
DOI
15:07
22m
Talk
The Role of Generative AI in Software Development Productivity: A Pilot Case Study
Main Track
Mariana Coutinho CESAR School, Lorena Marques CESAR School, Anderson Santos CESAR School, Marcio Dahia CESAR School, Cesar França CESAR School, Ronnie de Souza Santos University of Calgary
DOI
16:00 - 18:00
Industry Talk5 + AIware challenge + Day2 ClosingChallenge Track at Baobá 1
16:00
40m
Talk
Automated Scheduling for Thematic Coherence in Conferences
Challenge Track
Mahzabeen Emu Queen’s University, Tasnim Ahmed Queen’s University, Salimur Choudhury Queen’s University
DOI
16:40
40m
Talk
Conference Program Scheduling using Genetic Algorithms
Challenge Track
Rucha Deshpande Purdue University, USA, Aishwarya Devi Akila Pandian Purdue University, Vigneshwaran Dharmalingam Purdue University
DOI
17:20
40m
Talk
Investigating the Potential of Using Large Language Models for Scheduling
Challenge Track
Deddy Jobson Mercari, Li Yilin Mercari
DOI

Wed 17 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
18m
Talk
AI-assisted Code Authoring at Scale: Fine-tuning, deploying, and mixed methods evaluation
FSE Research Papers
Vijayaraghavan Murali Meta Platforms Inc., Chandra Sekhar Maddila Meta Platforms, Inc., Imad Ahmad Meta Platforms, Inc., Michael Bolin Meta Platforms, Inc., Daniel Cheng Meta Platforms Inc., Negar Ghorbani Meta Platforms Inc., Renuka Fernandez Meta Platforms, Inc., Nachiappan Nagappan Meta Platforms, Inc., Peter C Rigby Meta / Concordia University
11:18
18m
Talk
An Analysis of the Costs and Benefits of Autocomplete in IDEs
FSE Research Papers
Shaokang Jiang University of California, San Diego, Michael Coblenz University of California, San Diego
Pre-print
11:36
18m
Talk
An empirical study on code review activity prediction in practice
FSE Research Papers
Doriane Olewicki Queen's University, Sarra Habchi Ubisoft Montréal, Bram Adams Queen's University
Pre-print
11:54
18m
Talk
"The Law Doesn’t Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
FSE Research Papers
Nathan Wintersgill William & Mary, Trevor Stalnaker William & Mary, Laura A. Heymann William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary
12:12
9m
Talk
Paths to Testing: Why Women Enter and Remain in Software Testing?
FSE Industry Papers
Kleice Silva CESAR School, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary, Ronnie de Souza Santos University of Calgary
14:00 - 15:30
14:00
18m
Talk
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation
FSE Research Papers
Yibo He Key Lab of HCST (PKU), MOE; SCS, Peking University, China, Jiaming Huang Peking University, Hao Yu Peking University, Tao Xie Peking University
14:18
18m
Talk
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Applications
FSE Research Papers
Shuqing Li The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Jianping Zhang The Chinese University of Hong Kong, Yujia Zhang Harbin Institute of Technology, Yepang Liu Southern University of Science and Technology, Jiazhen Gu The Chinese University of Hong Kong, Yun Peng The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
14:36
18m
Talk
Decision Making for Managing Automotive Platforms: An Interview Survey on the Sate-of-Practice
FSE Industry Papers
Philipp Zellmer Volkswagen AG & Harz University of Applied Sciences, Jacob Krüger Eindhoven University of Technology, Thomas Leich Harz University of Applied Sciences, Germany
14:54
18m
Talk
Evaluation framework for autonomous systems: the case of Programmable Electronic Medical Systems
FSE Journal First
Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Martina De Sanctis Gran Sasso Science Institute, Angelo Gargantini University of Bergamo, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Elvinia Riccobene Computer Science Dept., University of Milan, Patrizia Scandurra University of Bergamo, Italy
15:12
18m
Talk
Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive Industry
FSE Industry Papers
Lennart Holsten Volkswagen AG & Harz University of Applied Sciences, Jacob Krüger Eindhoven University of Technology, Thomas Leich Harz University of Applied Sciences, Germany
16:00 - 18:00
16:00
18m
Talk
A Deep Dive into Large Language Models for Automated Bug Localization and Repair
FSE Research Papers
Soneya Binta Hossain University of Virginia, Nan Jiang Purdue University, Qiang Zhou Amazon Web Services, Xiaopeng LI Amazon Web Services, Wen-Hao Chiang Amazon Web Services, Yingjun Lyu Amazon Web Services, Hoan Nguyen Amazon Web Services, Omer Tripp Amazon Web Services
DOI
16:18
18m
Talk
CORE: Resolving Code Quality Issues Using LLMs
FSE Research Papers
Nalin Wadhwa Microsoft Research, India, Jui Pradhan Microsoft Research, India, Atharv Sonwane Microsoft Research, India, Surya Prakash Sahu Microsoft Research, India, Nagarajan Natarajan Microsoft Research India, Aditya Kanade Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research Indua
16:36
18m
Talk
Towards Effective Multi-Hunk Bug Repair: Detecting, Creating, Evaluating, and Understanding Indivisible Bugs
FSE Research Papers
Qi Xin Wuhan University, Haojun Wu Wuhan University, Jinran Tang Wuhan University, Xinyu Liu Wuhan University, Steven P. Reiss Brown University, Jifeng Xuan Wuhan University
16:54
18m
Talk
ProveNFix: Temporal Property guided Program Repair
FSE Research Papers
Yahui Song National University of Singapore, Xiang Gao Beihang University, Wenhua Li National University of Singapore, Wei-Ngan Chin National University of Singapore, Abhik Roychoudhury National University of Singapore
DOI Pre-print
17:12
18m
Talk
Towards AI-Assisted Synthesis of Verified Dafny Methods
FSE Research Papers
Md Rakib Hossain Misu University of California Irvine, Crista Lopes University of California Irvine, Iris Ma University of California Irvine, James Noble Independent. Wellington, NZ
DOI Pre-print
17:30
9m
Talk
The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking
FSE Ideas, Visions and Reflections
Justyna Petke University College London, Matias Martinez Universitat Politècnica de Catalunya (UPC), Maria Kechagia University College London, Aldeida Aleti Monash University, Federica Sarro University College London
17:39
9m
Talk
Execution-free program repair
FSE Ideas, Visions and Reflections
Bertrand Meyer Constructor Institute Schaffhausen, Li Huang Constructor Institute Schaffhausen, Ilgiz Mustafin Constructor Institute, Manuel Oriol Constructor Institute Schaffhausen

Thu 18 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Human Aspects 2FSE Research Papers at Baobá 1
11:00
18m
Talk
Can GPT-4 Replicate Empirical Software Engineering Research?
FSE Research Papers
Jenny T. Liang Carnegie Mellon University, Carmen Badea Microsoft Research, Christian Bird Microsoft Research, Robert DeLine Microsoft Research, Denae Ford Microsoft Research, Nicole Forsgren Microsoft Research, Thomas Zimmermann Microsoft Research
Pre-print
11:18
18m
Talk
Do Code Generation Models Think Like Us? - A Study of Attention Alignment between Large Language Models and Human Programmers
FSE Research Papers
Bonan Kou Purdue University, Shengmai Chen Purdue University, Zhijie Wang University of Alberta, Lei Ma The University of Tokyo & University of Alberta, Tianyi Zhang Purdue University
11:36
18m
Talk
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion
FSE Research Papers
Md Shamimur Rahman University of Saskatchewan, Canada, Zadia Codabux University of Saskatchewan, Canada, Chanchal K. Roy University of Saskatchewan, Canada
11:54
18m
Talk
Effective Teaching through Code Reviews: Patterns and Anti-Patterns
FSE Research Papers
Anita Sarma Oregon State University, Nina Chen Google
12:12
18m
Talk
How does Simulation-based Testing for Self-driving Cars match Human Perception?
FSE Research Papers
Christian Birchler Zurich University of Applied Sciences & University of Bern, Tanzil Kombarabettu Mohammed University of Zurich, Pooja Rani University of Zurich, Teodora Nechita Zurich University of Applied Sciences, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences
14:00 - 15:30
14:00
18m
Talk
Harnessing Neuron Stability to Improve DNN Verification
FSE Research Papers
Hai Duong George Mason University, Dong Xu University of Virginia, ThanhVu Nguyen George Mason University, Matthew B Dwyer University of Virginia
14:18
18m
Talk
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions
FSE Research Papers
Ying Xiao Southern University of Science and Technology, Jie M. Zhang King's College London, Yepang Liu Southern University of Science and Technology, Mohammad Reza Mousavi King's College London, Sicen Liu Southern University of Science and Technology, Dingyuan Xue Southern University of Science and Technology
14:36
9m
Talk
Using Run-time Information to Enhance Static Analysis of Machine Learning Code in Notebooks
FSE Ideas, Visions and Reflections
Yiran Wang Linköping University, José Antonio Hernández López Linkoping University, Ulf Nilsson Linköping University, Daniel Varro Linköping University / McGill University
14:45
9m
Talk
Decide: Knowledge-based Version Incompatibility Detection in Deep Learning Stacks
FSE Demonstrations
Zihan Zhou The University of Hong Kong, Zhongkai Zhao National University of Singapore, Bonan Kou Purdue University, Tianyi Zhang Purdue University
14:54
18m
Talk
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks
FSE Journal First
Zohreh Aghababaeyan The School of EECS, University of Ottawa, Manel Abdellatif Software and Information Technology Engineering Department, École de Technologie Supérieure, Mahboubeh Dadkhah The School of EECS, University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
16:00 - 18:00
16:00
18m
Talk
Natural Is The Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models
FSE Research Papers
Yan Wang Central University of Finance and Economics, Xiaoning Li Central University of Finance and Economics, Tien N. Nguyen University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Chao Ni School of Software Technology, Zhejiang University, Ling Ding Central University of Finance and Economics
16:18
18m
Talk
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software
FSE Research Papers
Ophir Carmel The Hebrew University of Jerusalem, Guy Katz The Hebrew University of Jerusalem
16:36
9m
Talk
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications
FSE Ideas, Visions and Reflections
Quan Zhang Tsinghua University, Binqi Zeng Central South University, Chijin Zhou Tsinghua University, Gwihwan Go Tsinghua University, Heyuan Shi Central South University, Yu Jiang Tsinghua University
16:45
9m
Talk
GAISSALabel: A tool for energy labeling of ML models
FSE Demonstrations
Pau Duran Universitat Politècnica de Catalunya (UPC), Joel Castaño Fernández Universitat Politècnica de Catalunya (UPC), Cristina Gómez Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech
Link to publication Pre-print
16:54
18m
Talk
Test input prioritization for Machine Learning Classifiers
FSE Journal First
Xueqi Dang University of Luxembourg, Yinghua LI University of Luxembourg, Mike Papadakis University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg

Fri 19 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
18m
Talk
How to Gain Commit Rights in Modern Top Open Source Communities?
FSE Research Papers
Xin Tan Beihang University, Yan Gong Beihang University, Geyu Huang Beihang University, Haohua Wu Beihang University, Li Zhang Beihang University
DOI Pre-print
11:18
18m
Talk
Rocks Coding, Not Development–A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks
FSE Research Papers
Wei Wang Beijing University of Posts and Telecommunications, Huilong Ning Beijing University of Posts and Telecommunications, Gaowei Zhang Beijing University of Posts and Telecommunications, Libo Liu School of Computing and Information Systems, University of Melbourne, Yi Wang Beijing University of Posts and Telecommunications
11:36
18m
Talk
Shadows in the Interface: A Comprehensive Study on Dark Patterns
FSE Research Papers
Liming Nie Nanyang Technological University, Yangyang Zhao Zhejiang Sci-Tech University, Chenglin Li Zhejiang Sci-Tech University, Xuqiong Luo Changsha University of Science and Technology, Yang Liu Nanyang Technological University
11:54
18m
Talk
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
FSE Research Papers
Ranim Khojah Chalmers | University of Gothenburg, Mazen Mohamad Chalmers | RISE - Research Institutes of Sweden, Philipp Leitner Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg
12:12
18m
Talk
Exploring Hybrid Work Realities: A Case Study with Software Professionals From Underrepresented Groups
FSE Industry Papers
Ronnie de Souza Santos University of Calgary, Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Robson T. de Souza Santos UNINASSAU, Jorge Correia-Neto Universidade Federal Rural de Pernambuco
14:00 - 15:30
Program Analysis and Performance 3FSE Research Papers at Baobá 1
14:00
18m
Talk
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-specific Code Embeddings
FSE Research Papers
Zirui Song The Chinese University of Hong Kong, Jiongyi Chen National University of Defense Technology, Kehuan Zhang The Chinese University of Hong Kong
14:18
18m
Talk
Active Monitoring Mechanism for Control-based Self-Adaptive Systems
FSE Research Papers
Yi Qin State Key Laboratory for Novel Software Technology, Nanjing University, Yanxiang Tong State Key Laboratory for Novel Software Technology, Nanjing University, Yifei Xu State Key Laboratory for Novel Software Technology, Nanjing University, Chun Cao State Key Laboratory for Novel Software Technology, Nanjing University, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University
14:36
18m
Talk
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs
FSE Research Papers
Haoran Liu National University of Defense technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Yan Lei Chongqing University, Yue Yu National University of Defense Technology, Yu Jiang Tsinghua university, Xiaoguang Mao National University of Defense Technology, Liao Xiangke National University of Defense Technology
14:54
18m
Talk
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
FSE Research Papers
Chengpeng Wang The Hong Kong University of Science and Technology, Jipeng Zhang The Hong Kong University of Science and Technology, Rongxin Wu School of Informatics, Xiamen University, Charles Zhang The Hong Kong University of Science and Technology
15:12
18m
Talk
Decomposing Software Verification Using Distributed Summary Synthesis
FSE Research Papers
Dirk Beyer LMU Munich, Matthias Kettl LMU Munich, Thomas Lemberger LMU Munich

Fri 19 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baobá 1

Thu 18 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baobá 1