Maria Helena Vieira da Silva

VenueCentro Cultural de Belém

Room nameMaria Helena Vieira da Silva

Capacity34

Room Information

100

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

Sun 14 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	Keynote 1SATrends at Maria Helena Vieira da Silva Chair(s): Davide Taibi University of Oulu and Tampere University

09:00 90m Keynote		Keynote 1: Matrushka and the spider - or the challenge to connect architectural knowledge across boundaries SATrends K: Remco de Boer ArchiXL & Vrije Universiteit (VU) Amsterdam

11:00 - 12:30	Software Architecture and InfrastructureSATrends at Maria Helena Vieira da Silva Chair(s): Patricia Lago Vrije Universiteit Amsterdam

11:00 15m Talk		On the need to merge architectural and infrastructural considerations SATrends A: Vasilios Andrikopoulos University of Groningen, A: Elisabetta Di Nitto Politecnico di Milano
11:15 15m Talk		Self-sustaining Software Systems (S4): Towards Improved Interpretability and Adaptation SATrends A: Christian Cabrera Department of Computer Science and Technology, Univesity of Cambridge, A: Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, A: Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge
11:30 15m Talk		Modular Monolith: Is This the Trend in Software Architecture? SATrends P: Ruoyu Su University of Oulu, A: Xiaozhou Li University of Oulu
11:45 45m Talk		Working Session on new trends on software architecture SATrends

14:00 - 15:30	Organizational Structure SATrends at Maria Helena Vieira da Silva Chair(s): Luciano Baresi Politecnico di Milano

14:00 15m Talk		Understanding the Causes of Microservice Logical Coupling: an Exploratory Study SATrends P: Dario Amoroso d'Aragona Tampere University, A: Xiaozhou Li University of Oulu, A: Andrea Janes Free University of Bozen-Bolzano
14:15 15m Talk		A Framework for Microservice Organizational Structure Optimization SATrends P: Xiaozhou Li University of Oulu, A: Michele Albano Aalborg University
14:30 60m Talk		Working Session on Organizational Structure SATrends P: Remco de Boer ArchiXL & Vrije Universiteit (VU) Amsterdam

16:00 - 17:30	Keynote 2SATrends at Maria Helena Vieira da Silva Chair(s): Henry Muccini University of L'Aquila, Italy

16:00 90m Keynote		Keynote 2: Playing with Abstractions: Can LLMs be Architects New Best Friend? SATrends Henry Muccini University of L'Aquila, Italy, K: Karthik Vaidhyanathan IIIT Hyderabad

Mon 15 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	Opening & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Cristian Cadar Imperial College London

09:00 30m Day opening		Opening Remarks KLEE Cristian Cadar Imperial College London
09:30 46m Keynote		Software Complexity, Path Complexity, and Branch Selectivity KLEE Tevfik Bultan University of California at Santa Barbara

11:00 - 12:30	State Merging & PostersKLEE at Maria Helena Vieira da Silva Chair(s): Alessandro Orso Georgia Institute of Technology

11:00 22m Talk		State Merging for Concolic Testing of Event-driven Applications KLEE P: Maarten Vandercammen , Coen De Roover Vrije Universiteit Brussel
11:22 22m Talk		State Merging with Quantifiers in Symbolic Execution KLEE P: David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University, Vaibhav Sharma Amazon DOI
11:50 5m Poster		FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers KLEE P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology
11:55 5m Poster		Input Grammar Oriented Symbolic Execution KLEE Ke Ma , Yunlai Luo National University of Defense Technology, P: Weijiang Hong National University of Defense Technology, Changsha, China, Zhenbang Chen School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Ji Wang School of Computer, National University of Defense Technology, China
12:00 5m Poster		Mixed Fixed-point and Floating-point Symbolic Execution KLEE P: Thom Hughes Imperial College London, Daniel Schemmel Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
12:05 5m Poster		SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines KLEE Golla Monika Rani , P: Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei
12:10 5m Poster		Towards Complete Fuzzing with KLEE KLEE Kanika Gupta National Institute of Technology, Warangal, P: Sangharatna Godboley National Institute of Technology Warangal
12:15 5m Poster		TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation KLEE P: Arpita Dutta National University of Singapore, Rasool Maghareh Huawei, Joxan Jaffar National University of Singapore
12:20 5m Talk		Exploring Complexity Estimation with Symbolic Execution and Large Language Models KLEE Adrians Skapars University of Manchester, Youcheng Sun The University of Manchester, Yannic Noller Singapore University of Technology and Design, P: Corina Pasareanu

14:00 - 15:30	Grammars, Concurrency, Mocking and ConstraintsKLEE at Maria Helena Vieira da Silva Chair(s): Abhik Roychoudhury National University of Singapore

14:00 22m Talk		Symbolic Grammar Mining KLEE P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
14:22 22m Talk		Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs KLEE Azalea Raad Imperial College London, P: Julien Vanegue Bloomberg, USA, Josh Berdine SkipLabs, Peter O'Hearn University College London, UK and Lacework, London, UK
14:44 22m Talk		Automated Generation of Database Mocks with Symbolic Execution KLEE Cesar Cornejo University of Rio Cuarto and CONICET, Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, P: Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET
15:06 22m Talk		Symbolic Execution Oriented Constraint Solving KLEE P: Zhenbang Chen School of Computer, National University of Defense Technology, China, Ziqi Shuai School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Zehua Chen College of Computer, National University of Defense Technology, Guofeng Zhang Hunan University, Jun Sun Singapore Management University, Wei Dong National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China

16:00 - 17:30	Binary Analysis & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Daniel Schemmel Imperial College London

16:00 22m Talk		What’s Up from Below? An Overview of Recent Advances in BINSEC KLEE P: Frédéric Recoules CEA, List, Sébastien Bardin CEA LIST, University Paris-Saclay
16:22 22m Talk		Symbolic Execution of Binary Code based on Formal ISA Semantics KLEE P: Sören Tempel University of Bremen, Tobias Brandt Independent, Christoph Lüth University of Bremen / DFKI GmbH, Rolf Drechsler University of Bremen / DFKI GmbH
16:44 46m Keynote		Let's help symbolic execution SOAR! KLEE Tomasz Kuchta Samsung Electronics

Tue 16 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	Test Input GenerationKLEE at Maria Helena Vieira da Silva Chair(s): Sergey Mechtaev University College London

09:00 22m Talk		Complex Test Input Generation in KLEE KLEE P: Alexey Babushkin Explyt, Aleksandr Misonizhnik Explyt, Yurii Kostyukov RnD Toolchain Labs, Huawei, Dmitry Mordvinov Huawei, Dmitry Ivanov Huawei
09:22 22m Talk		Precise Lazy Initialization for Programs with Complex Heap Inputs KLEE P: Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Alessandra Gorla IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto
09:44 22m Talk		Automating Differential Testing with Over-approximate Symbolic Execution KLEE Richard Rutledge Georgia Institute of Technology, P: Alessandro Orso Georgia Institute of Technology
10:06 22m Talk		How the SHA-3 Buffer Overflow Was Found using KLEE KLEE P: Nicky Mouha Strativia / NIST Associate

11:00 - 12:30	Program Repair & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Martin Nowack Imperial College London

11:00 22m Talk		Concolic Program Repair KLEE P: Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore Link to publication DOI Pre-print
11:22 22m Talk		Program Repair Guided by Datalog-defined Static Analysis KLEE Yu Liu National University of Singapore, P: Sergey Mechtaev University College London, Pavle Subotic Fantom Foundation, Abhik Roychoudhury National University of Singapore
11:44 46m Keynote		Symbolic PathFinder: Symbolic Execution for Java KLEE Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

14:00 - 15:30	Taming Path Explosion and Non-determinismKLEE at Maria Helena Vieira da Silva Chair(s): Frank Busse Imperial College London

14:00 22m Talk		Find Your Path: SoK on Path Selection Strategies in Symbolic Execution KLEE P: Dairo De Ruck DistriNet-KU Leuven, Jorn Lapon DistriNet-KU Leuven, Vincent Naessens DistriNet-KU Leuven
14:22 22m Talk		Accelerating Symbolic Execution by Targeted Control-flow Transformations KLEE Charitha Saumya Purdue University, P: Rohan Gangaraju Purdue University, Kirshanthan Sundararajah Virginia Tech, Milind Kulkarni Purdue University
14:44 22m Talk		Deferring Branches to Speed Up Symbolic Execution KLEE P: Eric Lu , Eddie Kohler Harvard University
15:06 22m Talk		Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations KLEE P: Martin Nowack Imperial College London

16:00 - 17:30	Coverage and Memory Errors & ClosingKLEE at Maria Helena Vieira da Silva Chair(s): Julien Vanegue Bloomberg, USA

16:00 22m Talk		An Efficient Black-box Support of Advanced Coverage Criteria for KLEE KLEE Nicolas Berthier OCamlPro, Steven de Oliveira OCamlPro, Nikolai Kosmatov Thales Research & Technology, P: Delphine Longuet Thales Research & Technology, Romain Soulat
16:22 22m Talk		Concretely Mapped Symbolic Memory Locations for Memory Error Detection KLEE P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Jiaqi Hong Independent Researcher, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology
16:44 16m Day closing		Closing Remarks KLEE Cristian Cadar Imperial College London

Wed 17 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Language Models and Generated Code 1Research Track / New Ideas and Emerging Results at Maria Helena Vieira da Silva Chair(s): Yiling Lou Fudan University

11:00 15m Talk		Modularizing while Training: a New Paradigm for Modularizing DNN Models Research Track Binhang Qi Beihang University, Hailong Sun Beihang University, Hongyu Zhang Chongqing University, Ruobing Zhao Beihang University, Xiang Gao Beihang University Pre-print
11:15 15m Research paper		KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understanding Research Track Lipeng Ma Fudan University, Weidong Yang Fudan University, Bo Xu Donghua University, Sihang Jiang Fudan University, Ben Fei Fudan University, Jiaqing Liang Fudan University, Mingjie Zhou Fudan University, Yanghua Xiao Fudan University
11:30 15m Talk		FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations Research Track Changan Niu Software Institute, Nanjing University, Chuanyi Li Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688, David Lo Singapore Management University, Bin Luo Nanjing University Pre-print
11:45 15m Talk		Unveiling Memorization in Code Models Research Track Zhou Yang Singapore Management University, Zhipeng Zhao Singapore Management University, Chenyu Wang Singapore Management University, Jieke Shi Singapore Management University, Dongsun Kim Kyungpook National University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University
12:00 15m Talk		Code Search is All You Need? Improving Code Suggestions with Code Search Research Track Junkai Chen Zhejiang University, Xing Hu Zhejiang University, Zhenhao Li Concordia University, Cuiyun Gao Harbin Institute of Technology, Xin Xia Huawei Technologies, David Lo Singapore Management University
12:15 7m Talk		Expert Monitoring: Human-Centered Concept Drift Detection in Machine Learning Operations New Ideas and Emerging Results Joran Leest Vrije Universiteit Amsterdam, Claudia Raibulet Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam Pre-print

14:00 - 15:30	Dependability and Formal methods 1Software Engineering in Practice / Demonstrations / Research Track at Maria Helena Vieira da Silva Chair(s): Domenico Bianculli University of Luxembourg

14:00 15m Talk		REDriver: Runtime Enforcement for Autonomous Vehicles Research Track Yang Sun Singapore Management University, Chris Poskitt Singapore Management University, Xiaodong Zhang , Jun Sun Singapore Management University Pre-print
14:15 15m Talk		Scalable Relational Analysis via Relational Bound Propagation Research Track Clay Stevens Iowa State University, Hamid Bagheri University of Nebraska-Lincoln DOI Pre-print
14:30 15m Talk		Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications Research Track Ariel Gorenstein Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar
14:45 15m Talk		On the Difficulty of Identifying Incident-Inducing Changes Software Engineering in Practice Eileen Kapel ING & Delft University of Technology, Luís Cruz Delft University of Technology, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arie van Deursen Delft University of Technology
15:00 15m Talk		Autonomous Monitors for Detecting Failures Early and Reporting Interpretable Alerts in Cloud Operations Software Engineering in Practice Adha Hrusto Lund University, Sweden, Per Runeson Lund University, Magnus C Ohlsson System Verification
15:15 7m Talk		nvshare: Practical GPU Sharing without Memory Size Constraints Demonstrations Georgios Alexopoulos University of Athens, Dimitris Mitropoulos University of Athens Pre-print
15:22 7m Talk		Daedalux: An Extensible Platform for Variability-Aware Model Checking Demonstrations Sami Lazreg Visteon Electronics and Universite Cote d Azur, Maxime Cordy University of Luxembourg, Luxembourg, Simon Thrane Hansen SnT, University of Luxembourg, Axel Legay Université Catholique de Louvain, Belgium

Thu 18 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Language Models and Generated Code 2Demonstrations / Research Track at Maria Helena Vieira da Silva Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign

11:00 15m Talk		Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study Research Track Qi Guo Tianjin University, China, Junming Cao Fudan University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University, Xiaohong Li Tianjin University, Bihuan Chen Fudan University, Xin Peng Fudan University
11:15 15m Talk		Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection Research Track BoXi Yu The Chinese University of Hong Kong, Shenzhen, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Qiuai Fu Huawei Cloud Computing Technologies CO., LTD., Zhiqing Zhong Chinese University of Hong Kong, Shenzhen, Haotian Xie The Chinese University of Hong Kong, Shenzhen, Yaoliang Wu Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Pinjia He Chinese University of Hong Kong, Shenzhen
11:30 15m Talk		TRACED: Execution-aware Pre-training for Source Code Research Track Yangruibo Ding Columbia University, Benjamin Steenhoek Iowa State University, Kexin Pei The University of Chicago, Gail Kaiser Columbia University, Wei Le Iowa State University, Baishakhi Ray AWS AI Labs
11:45 15m Talk		On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study Research Track Li Zongjie Hong Kong University of Science and Technology, Chaozheng Wang The Chinese University of Hong Kong, Pingchuan Ma HKUST, Chaowei Liu National University of Singapore, Shuai Wang The Hong Kong University of Science and Technology, Daoyuan Wu Nanyang Technological University, Cuiyun Gao Harbin Institute of Technology, Yang Liu Nanyang Technological University
12:00 15m Talk		When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference Research Track Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Australia, Fu Song State Key Laboratory of Computer Science and Institute of Software, Chinese Academy of Sciences., Shangwen Wang National University of Defense Technology, Li Li Beihang University Pre-print
12:15 7m Talk		TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion Demonstrations Arkadii Sapozhnikov JetBrains Research, Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology, Vladimir Kovalenko JetBrains Research, Pouria Derakhshanfar JetBrains Research

14:00 - 15:30	Analytics 3Research Track / Journal-first Papers / Demonstrations at Maria Helena Vieira da Silva Chair(s): Sridhar Chimalakonda Indian Institute of Technology, Tirupati

14:00 15m Talk		Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem Research Track Yun Peng The Chinese University of Hong Kong, Ruida Hu Harbin Institute of Technology, Shenzhen, Ruoke Wang Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shuqing Li The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
14:15 15m Talk		Data-Driven Evidence-Based Syntactic Sugar Design Research Track David OBrien Iowa State University, Robert Dyer University of Nebraska-Lincoln, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University
14:30 15m Talk		Revisiting Android App Categorization Research Track Marco Alecci University of Luxembourg, Jordan Samhi CISPA Helmholtz Center for Information Security, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
14:45 15m Talk		Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App Research Track Fuman Xie University of Queensland, Chuan Yan University of Queensland, Mark Huasong Meng National University of Singapore, Shaoming Teng The University of Queensland, Yanjun Zhang Deakin University, Guangdong Bai University of Queensland
15:00 7m Talk		Acrobats and Safety-Nets: Problematizing Large-Scale Agile Software Development Journal-first Papers Knut Rolland University of Oslo, Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick, Torgeir Dingsøyr Norwegian University of Science and Technology and SimulaMet, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital Link to publication DOI
15:07 7m Talk		Program Transformation Landscapes for Automated Program Modification Using Gin: Extended Abstract Journal-first Papers Justyna Petke University College London, Brad Alexander University of Adelaide, Earl T. Barr University College London, Alexander E.I. Brownlee University of Stirling, Markus Wagner Monash University, Australia, David R. White University of Sheffield
15:14 7m Talk		Boidae: Your Personal Mining Platform Demonstrations Brian Sigurdson Bowling Green State University, Samuel W. Flint University of Nebraska-Lincoln, Robert Dyer University of Nebraska-Lincoln Pre-print Media Attached
15:21 7m Talk		Code Mapper: Mapping the Global Contributions of OSS Demonstrations Thomas Le Tourneau CY Tech, Jasmine Latendresse Concordia University, Ahmad Abdellatif University of Calgary, Emad Shihab Concordia University

Fri 19 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Human and Social Aspects, and Requirements 2Research Track / Software Engineering in Society at Maria Helena Vieira da Silva Chair(s): Silvia Abrahão Universitat Politècnica de València

11:00 15m Talk		Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem Research Track Hongbo Fang Carnegie Mellon University, Jim Herbsleb Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Pre-print
11:15 15m Talk		Characterizing Software Maintenance Meetings: Information Shared, Discussion Outcomes, and Information Captured Research Track Adriana Meza Soria MIT-IBM Watson AI Lab, Taylor Lopez University of California, Irvine, Liz Seero Colorado College, Negin Mashhadi University of California, Irvine, Emily Evans Colorado College, Janet Burge Colorado College, André van der Hoek University of California, Irvine Link to publication
11:30 15m Talk		Predicting open source contributor turnover from value-related discussions: An analysis of GitHub issues Research Track Jack Jamieson NTT Social Informatics Laboratories, Naomi Yamashita NTT Communication Science Laboratories, Eureka Foong University of Tokyo
11:45 15m Talk		On the Helpfulness of Answering Developer Questions on Discord with Similar Conversations and Posts from the Past Research Track Alexander Lill University of Zurich, André N. Meyer University of Zurich, Thomas Fritz University of Zurich
12:00 15m Talk		Exploring Assessment Criteria for Sustainable Software Engineering Processes Software Engineering in Society Michael Wahler Zurich University of Applied Sciences (ZHAW), Norbert Seyff University of Applied Sciences and Arts Northwestern Switzerland FHNW, Maria Susana Soriano Ramirez Zurich University of Applied Sciences (ZHAW) Pre-print
12:15 15m Talk		Adaptive User Interfaces for Software Supporting Chronic Disease Software Engineering in Society Wei Wang Monash University, Hourieh Khalajzadeh Deakin University, Australia, John Grundy Monash University, Anuradha Madugalla Monash University, Australia, Humphrey Obie Monash University Pre-print Media Attached

14:00 - 15:30	Dependability and Formal methods 3Research Track / Software Engineering in Practice / New Ideas and Emerging Results at Maria Helena Vieira da Silva Chair(s): Shahar Maoz Tel Aviv University

14:00 15m Talk		It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data Research Track Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Christian Burghard AVL List GmbH Link to publication DOI
14:15 15m Talk		Verifying Declarative Smart Contracts Research Track Haoxian Chen ShanghaiTech University, Lan Lu University of Pennsylvania, Brendan Massey University of Pennsylvania, Yuepeng Wang Simon Fraser University, Boon Thau Loo University of Pennsylvania
14:30 15m Talk		Knowledge-aware Alert Aggregation in Large-scale Cloud Systems: a Hybrid Approach Software Engineering in Practice Jinxi Kuang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Lan Yu Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Rui Tan Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Michael Lyu The Chinese University of Hong Kong
14:45 15m Talk		Intelligent Monitoring Framework for Cloud Services: A Data-Driven Approach Software Engineering in Practice Pooja Srinivas Microsoft, Fiza Husain Microsoft, Anjaly Parayil Microsoft, Ayush Choure Microsoft, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft
15:00 15m Talk		FaultProfIT: Hierarchical Fault Profiling of Incident Tickets in Large-scale Cloud Systems Software Engineering in Practice Junjie Huang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Zhihan Jiang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Cong Feng Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
15:15 7m Talk		Translating between SQL Dialects for Cloud Migration Software Engineering in Practice Ran Zmigrod JP Morgan - Chase, Salwa Alamir J.P. Morgan AI Research, Xiaomo Liu JP Morgan AI Research
15:22 7m Talk		Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era New Ideas and Emerging Results Renan Lima Baima University of Luxembourg, Loïck Chovet University of Luxembourg, Johannes Sedlmeir University of Luxembourg, Miguel A. Olivares-Mendez University of Luxembourg, Gilbert Fridgen University of Luxembourg

16:00 - 17:30	Requirements 2Software Engineering in Society / Research Track / Software Engineering in Practice at Maria Helena Vieira da Silva Chair(s): Fabio Palomba University of Salerno

16:00 18m Talk		Recovering Trace Links Between Software Documentation And Code Research Track Jan Keim Karlsruhe Institute of Technology (KIT), Sophie Corallo Karlsruhe Institute of Technology (KIT), Dominik Fuchß Karlsruhe Institute of Technology, Tobias Hey Karlsruhe Institute of Technology (KIT), Tobias Telge Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology Link to publication DOI Pre-print
16:18 18m Talk		TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts Research Track Hui Gao Nanjing University, Hongyu Kuang Nanjing University, Wesley Assunção North Carolina State University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Guoping Rong Nanjing University, He Zhang Nanjing University, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University, Alexander Egyed Johannes Kepler University Linz Pre-print
16:36 18m Talk		Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations Software Engineering in Society Usman Gohar Dept. of Computer Science, Iowa State University, Michael Hunter Iowa State University, Agnieszka Marczak-Czajka University of Notre Dame, Robyn Lutz Iowa State University, Myra Cohen Iowa State University, Jane Cleland-Huang University of Notre Dame DOI Pre-print
16:54 18m Talk		What Can Requirements Engineering Do for Emerging System of Systems? Case of Smart Local Energy Software Engineering in Society Ruzanna Chitchyan University of Bristol
17:12 18m Talk		API Governance at Scale Software Engineering in Practice Mak Ahmad UC Davis, JJ Geewax Meta, Andrew Macvean Google, Inc., David Karger MIT, Kwan-Liu Ma UC Davis

Sat 20 Apr
Displayed time zone: Lisbon change

08:15 - 10:30	OpeningNLBSE at Maria Helena Vieira da Silva Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences

09:15 15m Day opening		Opening NLBSE
09:30 60m Keynote		Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code NLBSE Michael Pradel University of Stuttgart

11:00 - 12:30	Session 1 - Language and code dynamicsNLBSE at Maria Helena Vieira da Silva Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences

11:00 20m Full-paper		Aligning Programming Language and Natural Language: Exploring Design Choices in Multi-Modal Transformer-Based Embedding for Bug Localization NLBSE Partha Chakraborty University of Waterloo, Venkatraman Arumugam University of Waterloo, Mei Nagappan University of Waterloo
11:20 20m Full-paper		What’s in a Display Name? An Empirical Study on the Use of Display Names in Open-Source JUnit Tests NLBSE Yining Qiao University of Sheffield, José Miguel Rojas The University of Sheffield
11:40 15m Short-paper		Software Vulnerability and Functionality Assessment using Large Language Models NLBSE Rasmus Ingemann Tuffeveson Jensen J.P. Morgan AI Research, Vali Tawosi J.P. Morgan AI Research, Salwa Alamir J.P. Morgan AI Research
11:55 15m Short-paper		Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions NLBSE Arumoy Shome Delft University of Technology, Luís Cruz Delft University of Technology, Arie van Deursen Delft University of Technology

14:00 - 15:30	Discussion Panel - Challenges and Opportunities of LLMsNLBSE at Maria Helena Vieira da Silva Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences

14:15 5m Other		Panel Introduction NLBSE Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences, Andrea Di Sorbo University of Sannio, Rafael Kallis Rafael Kallis Consulting
14:20 15m Talk		Presentation of a Book on Security for LLMs NLBSE Andrei Kucharavy
14:35 55m Panel		Panel discussion NLBSE Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences, Andrea Di Sorbo University of Sannio, Rafael Kallis Rafael Kallis Consulting, Michael Pradel University of Stuttgart, Andrei Kucharavy , Arie van Deursen Delft University of Technology, Nicole Novielli University of Bari

16:00 - 17:30	Session 2 - Frontiers of collaborative developmentNLBSE at Maria Helena Vieira da Silva Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences

16:00 20m Full-paper		Unveiling Disparities: NLP Analysis of Software Industry and Vocational Education Gaps NLBSE Emil Bäckstrand Mid Sweden University, Rasmus Djupedal Mid Sweden University, Lena-Maria Öberg Mid Sweden University, Francisco Gomes de Oliveira Neto Chalmers \| University of Gothenburg
16:20 15m Short-paper		Towards LLM-Generated Code Tours for Onboarding NLBSE Martin Balfroid , Benoît Vanderose University of Namur, Xavier Devroey University of Namur DOI Pre-print
16:35 15m Short-paper		Automated Extraction of Compliance Elements in Software Engineering Contracts Using Natural Language Generation NLBSE Gokul Rejithkumar TCS Research, Preethu Rose Anish TCS Research, Pratik Sonar TCS Research, Smita Ghaisas TCS Research
16:50 20m Full-paper		Emotion Classification In Software Engineering Texts: A Comparative Analysis of Pre-trained Transformers Language Models NLBSE Mia Mohammad Imran Virginia Commonwealth University
17:10 15m Short-paper		Understanding Emojis :) in Useful Code Review Comments NLBSE Sharif Ahmed Boise State University, USA, Nasir Eisty Boise State University
17:25 5m Day closing		Awards & Closing NLBSE

Sun 14 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						16:00						30						17:00						30
Maria Helena Vieira da Silva	SATrends Keynote 1																								SATrends Software Architecture and Infrastructure																																				SATrends Organizational Structure																								SATrends Keynote 2

Mon 15 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						16:00						30						17:00						30
Maria Helena Vieira da Silva	KLEE Opening & Keynote																								KLEE State Merging & Posters																																				KLEE Grammars, Concurrency, Mocking and Constraints																								KLEE Binary Analysis & Keynote

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						16:00						30						17:00						30
Maria Helena Vieira da Silva	KLEE Test Input Generation																								KLEE Program Repair & Keynote																																				KLEE Taming Path Explosion and Non-determinism																								KLEE Coverage and Memory Errors & Closing

Wed 17 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
Maria Helena Vieira da Silva	Research Track + New Ideas and Emerging Results Language Models and Generated Code 1																																				Software Engineering in Practice + Demonstrations + Research Track Dependability and Formal methods 1																								Social Events

Thu 18 Apr
Displayed time zone: Lisbon change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Maria Helena Vieira da Silva	Demonstrations + Research Track Language Models and Generated Code 2																																				Research Track + Journal-first Papers + Demonstrations Analytics 3

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
Maria Helena Vieira da Silva	Research Track + Software Engineering in Society Human and Social Aspects, and Requirements 2																																				Research Track + Software Engineering in Practice + New Ideas and Emerging Results Dependability and Formal methods 3																								Software Engineering in Society + Research Track + Software Engineering in Practice Requirements 2

Sat 20 Apr
Displayed time zone: Lisbon change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Maria Helena Vieira da Silva				NLBSE Opening																																	NLBSE Session 1 - Language and code dynamics																																				NLBSE Discussion Panel - Challenges and Opportunities of LLMs																								NLBSE Session 2 - Frontiers of collaborative development

Sun 14 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			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Maria Helena Vieira da Silva	SATrends Keynote 1: Matrushka and the spider - or the challenge to connect archi ... 09:00 - 10:30																								SATrends On the need to merge architectural and infrastructural considerations 11:00 - 11:15			SATrends Self-sustaining Software Systems (S4): Towards Improved Interpretabilit ... 11:15 - 11:30			SATrends Modular Monolith: Is This the Trend in Software Architecture? 11:30 - 11:45			SATrends Working Session on new trends on software architecture 11:45 - 12:30																											SATrends Understanding the Causes of Microservice Logical Coupling: an Explorato ... 14:00 - 14:15			SATrends A Framework for Microservice Organizational Structure Optimization 14:15 - 14:30			SATrends Working Session on Organizational Structure 14:30 - 15:30																		SATrends Keynote 2: Playing with Abstractions: Can LLMs be Architects New Best F ... 16:00 - 17:30

Mon 15 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			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Maria Helena Vieira da Silva	KLEE Opening Remarks 09:00 - 09:30						KLEE Software Complexity, Path Complexity, and Branch Selectivity 09:30 - 10:16																		KLEE State Merging for Concolic Testing of Event-driven Applications 11:00 - 11:22				KLEE State Merging with Quantifiers in Symbolic Execution 11:22 - 11:44						KLEE FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checki ... 11:50 - 11:55	KLEE Input Grammar Oriented Symbolic Execution 11:55 - 12:00	KLEE Mixed Fixed-point and Floating-point Symbolic Execution 12:00 - 12:05	KLEE SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines 12:05 - 12:10	KLEE Towards Complete Fuzzing with KLEE 12:10 - 12:15	KLEE TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition ... 12:15 - 12:20	KLEE Exploring Complexity Estimation with Symbolic Execution and Large Langu ... 12:20 - 12:25																				KLEE Symbolic Grammar Mining 14:00 - 14:22 Concurrent Adversarial Separation Logic: A General Approach to Under-ap ... 14:22 - 14:44									KLEE Automated Generation of Database Mocks with Symbolic Execution 14:44 - 15:06				KLEE Symbolic Execution Oriented Constraint Solving 15:06 - 15:28											KLEE What’s Up from Below? An Overview of Recent Advances in BINSEC 16:00 - 16:22				KLEE Symbolic Execution of Binary Code based on Formal ISA Semantics 16:22 - 16:44					KLEE Let's help symbolic execution SOAR! 16:44 - 17:30

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			15:00			15			30			45			16:00			15			30			45
Maria Helena Vieira da Silva	KLEE Complex Test Input Generation in KLEE 09:00 - 09:22 Precise Lazy Initialization for Programs with Complex Heap Inputs 09:22 - 09:44									KLEE Automating Differential Testing with Over-approximate Symbolic Execution 09:44 - 10:06				KLEE How the SHA-3 Buffer Overflow Was Found using KLEE 10:06 - 10:28											KLEE Concolic Program Repair 11:00 - 11:22				KLEE Program Repair Guided by Datalog-defined Static Analysis 11:22 - 11:44					KLEE Symbolic PathFinder: Symbolic Execution for Java 11:44 - 12:30																											KLEE Find Your Path: SoK on Path Selection Strategies in Symbolic Execution 14:00 - 14:22				KLEE Accelerating Symbolic Execution by Targeted Control-flow Transformations 14:22 - 14:44					KLEE Deferring Branches to Speed Up Symbolic Execution 14:44 - 15:06				KLEE Deterministic State-space Exploration: Comparing and Measuring Effectiv ... 15:06 - 15:28											KLEE An Efficient Black-box Support of Advanced Coverage Criteria for KLEE 16:00 - 16:22				KLEE Concretely Mapped Symbolic Memory Locations for Memory Error Detection 16:22 - 16:44					KLEE Closing Remarks 16:44 - 17:00

Wed 17 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
Maria Helena Vieira da Silva	ICSE Research Track Modularizing while Training: a New Paradigm for Modularizing DNN Models 11:00 - 11:15			ICSE Research Track KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understa ... 11:15 - 11:30			ICSE Research Track FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations 11:30 - 11:45			ICSE Research Track Unveiling Memorization in Code Models 11:45 - 12:00			ICSE Research Track Code Search is All You Need? Improving Code Suggestions with Code Search 12:00 - 12:15			ICSE New Ideas and Emerging Results Expert Monitoring: Human-Centered Concept Drift Detection in Machine Le ... 12:15 - 12:22																					ICSE Research Track REDriver: Runtime Enforcement for Autonomous Vehicles 14:00 - 14:15			ICSE Research Track Scalable Relational Analysis via Relational Bound Propagation 14:15 - 14:30			ICSE Research Track Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Speci ... 14:30 - 14:45			ICSE Software Engineering in Practice On the Difficulty of Identifying Incident-Inducing Changes 14:45 - 15:00			ICSE Software Engineering in Practice Autonomous Monitors for Detecting Failures Early and Reporting Interpre ... 15:00 - 15:15			ICSE Demonstrations nvshare: Practical GPU Sharing without Memory Size Constraints 15:15 - 15:22	ICSE Demonstrations Daedalux: An Extensible Platform for Variability-Aware Model Checking 15:22 - 15:29

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
Maria Helena Vieira da Silva	ICSE Research Track Exploring the Potential of ChatGPT in Automated Code Refinement: An Emp ... 11:00 - 11:15			ICSE Research Track Deep Learning or Classical Machine Learning? An Empirical Study on Log- ... 11:15 - 11:30			ICSE Research Track TRACED: Execution-aware Pre-training for Source Code 11:30 - 11:45			ICSE Research Track On Extracting Specialized Code Abilities from Large Language Models: A ... 11:45 - 12:00			ICSE Research Track When Neural Code Completion Models Size up the Situation: Attaining Che ... 12:00 - 12:15			ICSE Demonstrations TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion 12:15 - 12:22																					ICSE Research Track Less is More? An Empirical Study on Configuration Issues in Python PyPI ... 14:00 - 14:15			ICSE Research Track Data-Driven Evidence-Based Syntactic Sugar Design 14:15 - 14:30			ICSE Research Track Revisiting Android App Categorization 14:30 - 14:45			ICSE Research Track Are Your Requests Your True Needs? Checking Excessive Data Collection i ... 14:45 - 15:00			ICSE Journal-first Papers Acrobats and Safety-Nets: Problematizing Large-Scale Agile Software Dev ... 15:00 - 15:07	ICSE Journal-first Papers Program Transformation Landscapes for Automated Program Modification Us ... 15:07 - 15:14		ICSE Demonstrations Boidae: Your Personal Mining Platform 15:14 - 15:21	ICSE Demonstrations Code Mapper: Mapping the Global Contributions of OSS 15:21 - 15:28

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
Maria Helena Vieira da Silva	ICSE Research Track Novelty Begets Popularity, But Curbs Participation - A Macroscopic View ... 11:00 - 11:15			ICSE Research Track Characterizing Software Maintenance Meetings: Information Shared, Discu ... 11:15 - 11:30			ICSE Research Track Predicting open source contributor turnover from value-related discussi ... 11:30 - 11:45			ICSE Research Track On the Helpfulness of Answering Developer Questions on Discord with Sim ... 11:45 - 12:00			ICSE Software Engineering in Society Exploring Assessment Criteria for Sustainable Software Engineering Proc ... 12:00 - 12:15			ICSE Software Engineering in Society Adaptive User Interfaces for Software Supporting Chronic Disease 12:15 - 12:30																					ICSE Research Track It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data 14:00 - 14:15			ICSE Research Track Verifying Declarative Smart Contracts 14:15 - 14:30			ICSE Software Engineering in Practice Knowledge-aware Alert Aggregation in Large-scale Cloud Systems: a Hybri ... 14:30 - 14:45			ICSE Software Engineering in Practice Intelligent Monitoring Framework for Cloud Services: A Data-Driven Approach 14:45 - 15:00			ICSE Software Engineering in Practice FaultProfIT: Hierarchical Fault Profiling of Incident Tickets in Large- ... 15:00 - 15:15			ICSE Software Engineering in Practice Translating between SQL Dialects for Cloud Migration 15:15 - 15:22	ICSE New Ideas and Emerging Results Designing Trustful Cooperation Ecosystems is Key to the New Space Explo ... 15:22 - 15:29								ICSE Research Track Recovering Trace Links Between Software Documentation And Code 16:00 - 16:18				ICSE Research Track TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deducti ... 16:18 - 16:36			ICSE Software Engineering in Society Towards Engineering Fair and Equitable Software Systems for Managing Lo ... 16:36 - 16:54				ICSE Software Engineering in Society What Can Requirements Engineering Do for Emerging System of Systems? Ca ... 16:54 - 17:12			ICSE Software Engineering in Practice API Governance at Scale 17:12 - 17:30

Sat 20 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			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Maria Helena Vieira da Silva				NLBSE Opening 09:15 - 09:30			NLBSE Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code 09:30 - 10:30																		NLBSE Aligning Programming Language and Natural Language: Exploring Design Ch ... 11:00 - 11:20				NLBSE What’s in a Display Name? An Empirical Study on the Use of Display Name ... 11:20 - 11:40				NLBSE Software Vulnerability and Functionality Assessment using Large Languag ... 11:40 - 11:55			NLBSE Towards Automatic Translation of Machine Learning Visual Insights to An ... 11:55 - 12:10																												NLBSE Panel Introduction 14:15 - 14:20	NLBSE Presentation of a Book on Security for LLMs 14:20 - 14:35			NLBSE Panel discussion 14:35 - 15:30																	NLBSE Unveiling Disparities: NLP Analysis of Software Industry and Vocational ... 16:00 - 16:20				NLBSE Towards LLM-Generated Code Tours for Onboarding 16:20 - 16:35			NLBSE Automated Extraction of Compliance Elements in Software Engineering Con ... 16:35 - 16:50			NLBSE Emotion Classification In Software Engineering Texts: A Comparative Ana ... 16:50 - 17:10				NLBSE Understanding Emojis :) in Useful Code Review Comments 17:10 - 17:25			NLBSE Awards & Closing 17:25 - 17:30

Room information: Maria Helena Vieira da Silva

Program Display Configuration

Sun 14 AprDisplayed time zone: Lisbon change

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Wed 17 AprDisplayed time zone: Lisbon change

Thu 18 AprDisplayed time zone: Lisbon change

Fri 19 AprDisplayed time zone: Lisbon change

Sat 20 AprDisplayed time zone: Lisbon change

Sun 14 AprDisplayed time zone: Lisbon change

SATrends

SATrends

SATrends

SATrends

Mon 15 AprDisplayed time zone: Lisbon change

KLEE

KLEE

KLEE

KLEE

Tue 16 AprDisplayed time zone: Lisbon change

KLEE

KLEE

KLEE

KLEE

Wed 17 AprDisplayed time zone: Lisbon change

Research Track + New Ideas and Emerging Results

Software Engineering in Practice + Demonstrations + Research Track

Social Events

Thu 18 AprDisplayed time zone: Lisbon change

Demonstrations + Research Track

Research Track + Journal-first Papers + Demonstrations

Fri 19 AprDisplayed time zone: Lisbon change

Research Track + Software Engineering in Society

Research Track + Software Engineering in Practice + New Ideas and Emerging Results

Software Engineering in Society + Research Track + Software Engineering in Practice

Sat 20 AprDisplayed time zone: Lisbon change

NLBSE

NLBSE

NLBSE

NLBSE

Sun 14 AprDisplayed time zone: Lisbon change

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Wed 17 AprDisplayed time zone: Lisbon change

Thu 18 AprDisplayed time zone: Lisbon change

Fri 19 AprDisplayed time zone: Lisbon change

Sat 20 AprDisplayed time zone: Lisbon change

Sun 14 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Wed 17 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Sat 20 Apr
Displayed time zone: Lisbon change

Sun 14 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Wed 17 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Sat 20 Apr
Displayed time zone: Lisbon change

Sun 14 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Wed 17 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Sat 20 Apr
Displayed time zone: Lisbon change