SE4RAI 2022
Sat 21 - Sun 29 May 2022
co-located with ICSE 2022
VenueMidspace
Room nameICSE room 4-odd hours
Room InformationNo extra information available

Information for Participants
Info for room ICSE room 4-odd hours:

Click here to go to the room on Midspace

Program

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

Mon 9 May

Displayed time zone: Eastern Time (US & Canada) change

21:00 - 22:00
Diversity and InclusionICSE SEIS - Software Engineering in Society at ICSE room 4-odd hours
Chair(s): Mary Sánchez-Gordón Østfold University College
21:00
5m
Talk
How are Diverse End-user Human-centric Issues Discussed on GitHub?
ICSE SEIS - Software Engineering in Society
Hourieh Khalajzadeh Monash University, Australia, Mojtaba Shahin RMIT University, Australia, Humphrey Obie Monash University, John Grundy Monash University
Pre-print Media Attached
21:05
5m
Talk
A New Approach Towards Ensuring Gender Inclusive SE Job Advertisements
ICSE SEIS - Software Engineering in Society
Tanjila Kanij Monash University, John Grundy Monash University, Jennifer McIntosh Monash University, Anita Sarma Oregon State University, Gayatri Aniruddha Monash University
Pre-print Media Attached
21:10
5m
Talk
Impact of animated objects on autistic and non-autistic users
ICSE SEIS - Software Engineering in Society
Mona Alzahrani RMIT University, Alexandra Uitdenbogerd RMIT University, Maria Spichkova RMIT University, Australia
Pre-print
21:15
5m
Talk
An Empirical Investigation on the Challenges Faced by Women in the Software Industry: A Case StudySEIS-track Award
ICSE SEIS - Software Engineering in Society
Bianca Trinkenreich Northern of Arizona Univeristy, Ricardo Britto Ericsson / Blekinge Institute of Technology, Marco Gerosa Northern Arizona University, USA, Igor Steinmacher Northern Arizona University
Pre-print Media Attached
21:20
5m
Talk
Detecting Interpersonal Conflict in Issues and Code Review: Cross Pollinating Open- and Closed-Source Approaches
ICSE SEIS - Software Engineering in Society
Huilian Sophie Qiu Carnegie Mellon University, USA, Bogdan Vasilescu Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Carolyn Egelman Google, Ciera Jaspan , Emerson Murphy-Hill Google
Pre-print Media Attached
21:25
5m
Talk
Perceptions of the State of D&I and D&I Initiative in the ASF
ICSE SEIS - Software Engineering in Society
Mariam Guizani Oregon State University, Bianca Trinkenreich Northern of Arizona Univeristy, Aileen Abril Castro-Guzman Oregon State University, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, USA, Anita Sarma Oregon State University
Pre-print Media Attached

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00
03:00
5m
Talk
The secret life of test smells - an empirical study on test smell evolution and maintenance
ICSE Journal-First Papers
Dong Jae Kim Concordia University, Tse-Hsun (Peter) Chen Concordia University, Jinqiu Yang Concordia University
Link to publication DOI Media Attached
03:05
5m
Talk
Statistical Reasoning About Programs
ICSE NIER - New Ideas and Emerging Results
Marcel Böhme MPI-SP, Germany and Monash University, Australia
DOI Pre-print Media Attached
03:10
5m
Talk
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External ParametersDistinguished Paper Award
ICSE Technical Track
Sooyoung Cha Sungkyunkwan University, Myungho Lee Korea University, Seokhyun Lee Korea University, South Korea, Hakjoo Oh Korea University
Pre-print Media Attached
03:15
5m
Talk
Path Transitions Tell More: Optimizing Fuzzing Schedules via Runtime Program States
ICSE Technical Track
Kunpeng Zhang Tsinghua Shenzhen International Graduate School, Tsinghua University, Xi Xiao Tsinghua Shenzhen International Graduate School, Tsinghua University, Xiaogang Zhu Swinburne University of Technology, Ruoxi Sun The University of Adelaide, Minhui (Jason) Xue University of Adelaide, Sheng Wen Swinburne University of Technology
DOI Pre-print Media Attached
03:20
5m
Talk
WindRanger: A Directed Greybox Fuzzer driven by DeviationBasic Blocks
ICSE Technical Track
Zhengjie Du Nanjing University, Yuekang Li Nanyang Technological University, Yang Liu Nanyang Technological University, Bing Mao Nanjing University
Pre-print Media Attached
03:25
5m
Talk
μAFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware
ICSE Technical Track
DOI Pre-print Media Attached
05:00 - 06:00
Validation and Verification 1ICSE SEIP - Software Engineering in Practice / ICSE Technical Track at ICSE room 4-odd hours
Chair(s): Grischa Liebel Reykjavik University
05:00
5m
Talk
Unreliable Test Infrastructures in Automotive Testing Setups
ICSE SEIP - Software Engineering in Practice
Claudius Jordan Technical University of Munich, Philipp Foth Technical University of Munich, Alexander Pretschner TU Munich, Matthias Fruth TraceTronic GmbH
Pre-print Media Attached
05:05
5m
Talk
How Does Code Reviewing Feedback Evolve? A Longitudinal Study at Dell EMC
ICSE SEIP - Software Engineering in Practice
Ruiyin Wen McGill University, Maxime Lamothe Polytechnique Montréal, Shane McIntosh University of Waterloo
Pre-print Media Attached
05:10
5m
Talk
Linear-time Temporal Logic guided Greybox Fuzzing
ICSE Technical Track
Ruijie Meng National University of Singapore, Singapore, Zhen Dong Fudan University, China, Jialin Li National University of Singapore, Singapore, Ivan Beschastnikh University of British Columbia, Abhik Roychoudhury National University of Singapore
DOI Pre-print Media Attached
05:15
5m
Talk
ExAIS: Executable AI Semantics
ICSE Technical Track
Richard Schumi Singapore Management University, Jun Sun Singapore Management University
Pre-print Media Attached
05:20
5m
Talk
Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies
ICSE Technical Track
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print Media Attached
05:25
5m
Talk
Dynamic Update for Synthesized GR(1) Controllers
ICSE Technical Track
Gal Amram Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Itai Segall Nokia Bell-Labs, Matan Yossef Tel Aviv University
Pre-print Media Attached
11:00 - 12:00
Software Security 7ICSE Journal-First Papers / ICSE Technical Track at ICSE room 4-odd hours
Chair(s): Diomidis Spinellis Athens University of Economics and Business; Delft University of Technology
11:00
5m
Talk
The Case for Adaptive Security Interventions
ICSE Journal-First Papers
Irum Rauf The Open University, UK, Marian Petre The Open University, Thein Tun , Tamara Lopez The Open University, Paul Lunn The University of Manchester, UK, Dirk van der Linden Northumbria University, John Towse Department of Psychology, University of Lancaster, UK, Helen Sharp The Open University, Mark Levine Lancaster University, Awais Rashid University of Bristol, UK, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
Link to publication DOI Pre-print Media Attached
11:05
5m
Talk
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite
ICSE Journal-First Papers
Andreas Dann Paderborn University, Henrik Plate SAP Security Research, France, Ben Hermann Technical University Dortmund, Serena Elisa Ponta SAP Security Research, France, Eric Bodden University of Paderborn; Fraunhofer IEM
Link to publication DOI Pre-print Media Attached
11:10
5m
Talk
The Extent of Orphan Vulnerabilities from Code Reuse in Open Source SoftwareNominated for Distinguished Paper
ICSE Technical Track
David Reid University of Tennessee, Mahmoud Jahanshahi Research Assistant, University of Tennessee Knoxville, Audris Mockus The University of Tennessee
DOI Pre-print Media Attached
11:15
5m
Talk
Practical Automated Detection of Malicious npm Packages
ICSE Technical Track
Adriana Sejfia University of Southern California, Max Schaefer GitHub, Inc.
Pre-print Media Attached
11:20
5m
Talk
Exploiting Input Sanitization for Regex Denial of Service
ICSE Technical Track
Efe Barlas Purdue University, Xin Du Purdue University, James C. Davis Purdue University, USA
DOI Pre-print Media Attached
11:25
5m
Talk
Hiding Critical Program Components via Ambiguous Translation
ICSE Technical Track
Chijung Jung University of Virginia, Doowon Kim University of Tennessee, Knoxville, An Chen University of Georgia, Weihang Wang University at Buffalo, SUNY, Yunhui Zheng IBM Research, Kyu Hyung Lee University of Georgia, Yonghwi Kwon University of Virginia
Pre-print Media Attached
13:00 - 14:00
Tools and Environments 5ICSE Technical Track / ICSE SEIP - Software Engineering in Practice at ICSE room 4-odd hours
Chair(s): Frank Tip Northeastern University
13:00
5m
Talk
Reflekt: a Library for Compile-Time Reflection in Kotlin
ICSE SEIP - Software Engineering in Practice
Anastasiia Birillo JetBrains Research, Elena Lyulina JetBrains Research, Maria Malysheva JetBrains Research;Saint Petersburg State University, Vladislav Tankov JetBrains, ITMO University, Timofey Bryksin JetBrains Research; HSE University
Pre-print Media Attached
13:05
5m
Talk
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment
ICSE Technical Track
Maxime Cordy University of Luxembourg, Luxembourg, Renaud Rwemalika University of Luxembourg, Adriano Franci University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Mark Harman University College London
Pre-print Media Attached
13:10
5m
Talk
Semantic Image Fuzzing of AI Perception Systems
ICSE Technical Track
Trey Woodlief University of Virginia, Sebastian Elbaum University of Virginia, Kevin Sullivan University of Virginia
DOI Pre-print Media Attached
13:15
5m
Talk
Use of Test Doubles in Android Testing: An In-Depth Investigation
ICSE Technical Track
Mattia Fazzini University of Minnesota, Chase Choi University of Minnesota, Juan Manuel Copia IMDEA Software Institute, Gabriel Lee University of Minnesota, Yoshiki Kakehi Georgia Institute of Technology, Alessandra Gorla IMDEA Software Institute, Alessandro Orso Georgia Tech
Pre-print Media Attached

Wed 11 May

Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00
Validation and Verification 2ICSE Technical Track / ICSE Journal-First Papers at ICSE room 4-odd hours
Chair(s): Grischa Liebel Reykjavik University
03:00
5m
Talk
Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications
ICSE Journal-First Papers
Ralph Hoch Institute of Computer Technology, TU Wien, Christoph Luckeneder Vienna University of Technology, Roman Popp TU Wien, Vienna, Austria, Hermann Kaindl Institute of Computer Technology, TU Wien
Link to publication DOI Pre-print Media Attached
03:05
5m
Talk
Verification of ORM-based Controllers by Summary Inference
ICSE Technical Track
Geetam Chawla Indian Insitute of Science, Bangalore, Navneet Aman Indian Institute of Science, Bangalore, Raghavan Komondoor IISc Bengaluru, Ashish Shashikant Bokil Indian Institute of Science, Bangalore, Nilesh Ramesh Kharat Indian Institute of Science, Bangalore
Pre-print Media Attached
03:10
5m
Talk
Data-Driven Loop Bound Learning for Termination Analysis
ICSE Technical Track
Rongchen Xu Tsinghua University, Jianhui Chen Tsinghua University, Fei He Tsinghua University
DOI Pre-print Media Attached
03:15
5m
Talk
Refty: Refinement Types for Valid Deep Learning Models
ICSE Technical Track
Yanjie Gao Microsoft Research, lizhengxian Microsoft Research, Haoxiang Lin Microsoft Research, Hongyu Zhang University of Newcastle, Ming Wu Shanghai Tree-Graph Blockchain Research Institute, Mao Yang Microsoft Research
DOI Pre-print Media Attached
03:20
5m
Talk
GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs
ICSE Technical Track
Harrison Green ForAllSecure, Thanassis Avgerinos ForAllSecure
DOI Pre-print Media Attached
03:25
5m
Talk
MOREST: Model-based RESTful API Testing with Execution Feedback
ICSE Technical Track
Yi Liu Nanyang Technological University, Yuekang Li Nanyang Technological University, Gelei Deng Nanyang Technological University, Yang Liu Nanyang Technological University, Ruiyuan Wan Huawei Inc., Runchao Wu Huawei Inc., Dandan Ji Huawei Inc., Shiheng Xu Huawei Inc., Minli Bao Huawei Inc.
Pre-print Media Attached
05:00 - 06:00
05:00
5m
Talk
Socio-Technical Grounded Theory for Software Engineering (Journal First Presentation)
ICSE Journal-First Papers
Rashina Hoda Monash University
Link to publication DOI Pre-print Media Attached
05:05
5m
Talk
How are Diverse End-user Human-centric Issues Discussed on GitHub?
ICSE SEIS - Software Engineering in Society
Hourieh Khalajzadeh Monash University, Australia, Mojtaba Shahin RMIT University, Australia, Humphrey Obie Monash University, John Grundy Monash University
Pre-print Media Attached
05:10
5m
Talk
Good Fences Make Good Neighbours? On the Impact of Cultural and Geographical Dispersion on Community Smells
ICSE SEIS - Software Engineering in Society
Stefano Lambiase University of Salerno, Gemma Catolino Tilburg University & ​Jheronimus Academy of Data Science, Damian Andrew Tamburri TU/e, Alexander Serebrenik Eindhoven University of Technology, Fabio Palomba University of Salerno, Filomena Ferrucci University of Salerno
Pre-print Media Attached
05:15
5m
Talk
Open Data Inclusion through Narrative Approaches
ICSE SEIS - Software Engineering in Society
Annika Wolff LUT University, Natasha Tylosky LUT University, Tanvir Hasan LUT University
05:20
5m
Talk
GitHub Sponsors: Exploring a New Way to Contribute to Open Source
ICSE Technical Track
Naomichi Shimada Nara Institute of Science and Technology, Tao Xiao Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Christoph Treude University of Melbourne, Kenichi Matsumoto Nara Institute of Science and Technology
DOI Pre-print Media Attached
05:25
5m
Talk
Big Data = Big Insights? Operationalizing Brooks’ Law in a Massive GitHub Data Set
ICSE Technical Track
Christoph Gote Chair of Systems Design, ETH Zurich, Pavlin Mavrodiev Chair of Systems Design, ETH Zurich, Frank Schweitzer Chair of Systems Design, ETH Zurich, Ingo Scholtes Chair of Computer Science XV - Machine Learning for Complex Networks, Julius-Maximilians-Universität Würzburg
Pre-print Media Attached
11:00 - 12:00
Autonomic Systems and Self-AdaptationICSE SEIS - Software Engineering in Society / ICSE Technical Track at ICSE room 4-odd hours
Chair(s): Henry Muccini University of L'Aquila, Italy
11:00
5m
Talk
Software Engineers’ Response to Public Crisis: Lessons Learnt from Spontaneously Building an Informative COVID-19 Dashboard
ICSE SEIS - Software Engineering in Society
Han Wang Monash University, Chao Wu Monash University, Chunyang Chen Monash University, Burak Turhan University of Oulu, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jon Whittle CSIRO's Data61 and Monash University
Pre-print Media Attached
11:05
5m
Talk
DRESS-ML: A Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications
ICSE SEIS - Software Engineering in Society
Lucas Vieira State University of Ceará, José Davi da Silva Pereira State University of Ceara, Brazil, Natália Aragão State University of Ceara, Brazil, Matheus Chagas State University of Ceará, Paulo Maia State University of Ceará
Pre-print Media Attached
11:10
5m
Talk
Lowering Barriers to Application Development With Cloud-Native Domain-Specific Functions
ICSE SEIS - Software Engineering in Society
José Miguel Pérez-Álvarez NAVER LABS Europe, Adrian Mos NAVER LABS Europe, Benjamin V. Hanrahan Pennsylvania State University, Iyadunni J. Adenuga Pennsylvania State University
Pre-print Media Attached
11:15
5m
Talk
Automated Assertion Generation via Information Retrieval and Its Integration with Deep Learning
ICSE Technical Track
Hao Yu Peking University, Yiling Lou Purdue University, Ke Sun , Dezhi Ran Peking University, Tao Xie Peking University, Dan Hao Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Ge Li Peking University, Qianxiang Wang Huawei Technologies Co. Ltd
DOI Pre-print Media Attached
13:00 - 14:00
Synthesis and Reverse EngineeringICSE Technical Track / ICSE Journal-First Papers at ICSE room 4-odd hours
Chair(s): Reed Milewicz Sandia National Laboratories
13:00
5m
Talk
Learning to Find Usages of Library Functions in Optimized Binaries
ICSE Journal-First Papers
Toufique Ahmed University of California at Davis, Prem Devanbu Department of Computer Science, University of California, Davis, Anand Ashok Sawant University of California, Davis
Link to publication DOI Pre-print Media Attached
13:05
5m
Talk
Dynamic Update for Synthesized GR(1) Controllers
ICSE Technical Track
Gal Amram Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Itai Segall Nokia Bell-Labs, Matan Yossef Tel Aviv University
Pre-print Media Attached
13:10
5m
Talk
Push-Button Synthesis of Watch Companions for Android Apps
ICSE Technical Track
Cong Li Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University
Link to publication DOI Pre-print Media Attached
13:15
5m
Talk
Jigsaw: Large Language Models meet Program Synthesis
ICSE Technical Track
Naman Jain Microsoft Research, Skanda Vaidyanath Stanford, Arun Iyer Microsoft Research, India, Nagarajan Natarajan Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research, Rahul Sharma Microsoft Research
Pre-print Media Attached
13:20
5m
Talk
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
ICSE Technical Track
Ripon Saha , Akira Ura Fujitsu Ltd., Sonal Mahajan Uber Technologies Inc., Chenguang Zhu University of Texas at Austin, Linyi Li University of Illinois at Urbana-Champaign, Yang Hu The University of Texas at Austin, Hiroaki Yoshida AMD, Sarfraz Khurshid The University of Texas at Austin, Mukul Prasad Fujitsu Research of America
Pre-print Media Attached
13:25
5m
Talk
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly BinariesBest Artifact Award
ICSE Technical Track
Quentin Stiévenart Vrije Universiteit Brussel, David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print Media Attached
21:00 - 22:00
Software Testing 7ICSE Journal-First Papers / ICSE Technical Track at ICSE room 4-odd hours
Chair(s): Upsorn Praphamontripong Computer Science, University of Virginia
21:00
5m
Talk
A Family of Experiments on Test-Driven Development
ICSE Journal-First Papers
Adrian Santos Parrilla University of Oulu, Sira Vegas Universidad Politecnica de Madrid, Oscar Dieste Universidad Politécnica de Madrid, Fernando Uyaguari ETAPA Telecommunications Company, Ayse Tosun Istanbul Technical University, Davide Fucci Blekinge Institute of Technology, Burak Turhan University of Oulu, Giuseppe Scanniello University of Basilicata, Simone Romano University of Bari, Itir Karac University of Oulu, Marco Kuhrmann Reutlingen University, Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad, Robert Ramač Faculty of Technical Sciences, University of Novi Sad, Dietmar Pfahl University of Tartu, Christian Engblom Ericsson, Jarno Kyykka Ericsson, Kerli Rungi Testlio, Carolina Palomeque ETAPA Telecommunications Company, Jaroslav Spisak PAF, Markku Oivo University of Oulu, Natalia Juristo Universidad Politecnica de Madrid
Link to publication DOI Pre-print Media Attached
21:05
5m
Talk
The Impact of Dormant Defects on Defect Prediction: a Study of 19 Apache Projects
ICSE Journal-First Papers
Davide Falessi University of Rome Tor Vergata, Italy, Aalok Ahluwalia California Polytechnic State University, Massimiliano Di Penta University of Sannio, Italy
Link to publication DOI Media Attached
21:10
5m
Talk
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems
ICSE Journal-First Papers
Jianmin Guo Tsinghua University, Quan Zhang Tsinghua University, Yue Zhao Huawei Technologies Co., Ltd., Heyuan Shi Central South University, Yu Jiang Tsinghua University, Jia-Guang Sun
Link to publication DOI Pre-print Media Attached
21:15
5m
Talk
DeepState: Selecting Test Suites to Enhance the Robustness of Recurrent Neural Networks
ICSE Technical Track
Zixi Liu Nanjing University, Yang Feng Nanjing University, Yining Yin Nanjing University, China, Zhenyu Chen Nanjing University
DOI Pre-print Media Attached
21:20
5m
Talk
Evaluating and Improving Neural Program-Smoothing-based Fuzzing
ICSE Technical Track
Mingyuan Wu Southern University of Science and Technology, Ling Jiang Southern University of Science and Technology, Jiahong Xiang Southern University of Science and Technology, Yuqun Zhang Southern University of Science and Technology, Guowei Yang The University of Queensland, Huixin Ma Tencent Security Keen Lab, Sen Nie Keen Security Lab, Tencent, Shi Wu Tencent Security Keen Lab, Heming Cui University of Hong Kong, Lingming Zhang University of Illinois at Urbana-Champaign
DOI Pre-print Media Attached
21:25
5m
Talk
Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing
ICSE Technical Track
Jiazhen Gu Fudan University, China, Xuchuan Luo Fudan University, Yangfan Zhou Fudan University, Xin Wang Fudan University
Pre-print Media Attached

Thu 12 May

Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00
03:00
5m
Talk
Analyzing the CMake Build System
ICSE SEIP - Software Engineering in Practice
KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, Quoc-Sang Phan Facebook, Inc.
03:05
5m
Talk
A Software Impact Analysis Tool based on Change History Learning and its Evaluation
ICSE SEIP - Software Engineering in Practice
Haruya Iwasaki Shibaura Institute of Technologies, Tsuyoshi Nakajima Shibaura Institute of Technology, Ryota Tsukamoto Mitsubishi Electric Corporation, Kazuko Takahashi Mitsubishi Electric Corporation, Shuichi Tokumoto Mitsubishi Electric Corporation
DOI Media Attached
03:10
5m
Talk
Adaptive Performance Anomaly Detection for Online Service Systems via Pattern Sketching
ICSE Technical Track
Zhuangbin Chen Chinese University of Hong Kong, China, Jinyang Liu , Yuxin Su Sun Yat-sen University, Hongyu Zhang University of Newcastle, Xiao Ling Huawei Technologies, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
Pre-print Media Attached
03:15
5m
Talk
Push-Button Synthesis of Watch Companions for Android Apps
ICSE Technical Track
Cong Li Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University
Link to publication DOI Pre-print Media Attached
03:20
5m
Talk
Jigsaw: Large Language Models meet Program Synthesis
ICSE Technical Track
Naman Jain Microsoft Research, Skanda Vaidyanath Stanford, Arun Iyer Microsoft Research, India, Nagarajan Natarajan Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research, Rahul Sharma Microsoft Research
Pre-print Media Attached
05:00 - 06:00
05:00
5m
Talk
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios
ICSE Journal-First Papers
Fuchen Ma Tsinghua University, Zhenyang Xu University of Waterloo, Meng Ren Tsinghua University, Zijing Yin Tsinghua University, Yuanliang Chen Tsinghua University, Yu Jiang Tsinghua University
Pre-print Media Attached
05:05
5m
Talk
Toward the Analysis of Graph Neural Network
ICSE NIER - New Ideas and Emerging Results
Thanh-Dat Nguyen University of Melbourne, Le-Cong Thanh Hanoi University of Science and Technology, ThanhVu Nguyen George Mason University, Xuan-Bach D. Le Singapore Management University, Singapore, Quyet Thang Huynh Hanoi University of Science and Technology
Pre-print Media Attached
05:10
5m
Talk
A Static Analysis Framework for Data Science Notebooks
ICSE SEIP - Software Engineering in Practice
Pavle Subotic Microsoft Azure, Lazar Milikic Microsoft, Milan Stojic Microsoft
Pre-print Media Attached
05:15
5m
Talk
Learning Probabilistic Models for Static Analysis AlarmsBest Artifact Award
ICSE Technical Track
Hyunsu Kim KAIST, Mukund Raghothaman University of Southern California, Kihong Heo KAIST
DOI Pre-print Media Attached
05:20
5m
Talk
Characterizing and Detecting Bugs in WeChat Mini-Programs
ICSE Technical Track
Tao Wang , Qingxin Xu Institute of Software, Chinese Academy of Sciences, China, Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Jinhui Xie Tencent Inc., Yuetang Deng Tencent, Jianbo Yang Tencent Inc., Jiaheng Yang Tencent Inc., Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences
Pre-print Media Attached
05:25
5m
Talk
Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for PythonNominated for Distinguished Paper
ICSE Technical Track
Yun Peng The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Zongjie Li The Hong Kong University of Science and Technology, Bowei Gao Harbin Institute of Technology, Shenzhen, David Lo Singapore Management University, Qirun Zhang Georgia Institute of Technology, USA, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print Media Attached
11:00 - 12:00
11:00
5m
Talk
Software Batch Testing to Save Build Test Resources and to Reduce Feedback Time
ICSE Journal-First Papers
Mohammad Javad Beheshtian Concordia University, Amir Bavand Concordia University, Peter Rigby Concordia University, Montreal, Canada
Link to publication DOI Media Attached
11:05
5m
Talk
A Family of Experiments on Test-Driven Development
ICSE Journal-First Papers
Adrian Santos Parrilla University of Oulu, Sira Vegas Universidad Politecnica de Madrid, Oscar Dieste Universidad Politécnica de Madrid, Fernando Uyaguari ETAPA Telecommunications Company, Ayse Tosun Istanbul Technical University, Davide Fucci Blekinge Institute of Technology, Burak Turhan University of Oulu, Giuseppe Scanniello University of Basilicata, Simone Romano University of Bari, Itir Karac University of Oulu, Marco Kuhrmann Reutlingen University, Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad, Robert Ramač Faculty of Technical Sciences, University of Novi Sad, Dietmar Pfahl University of Tartu, Christian Engblom Ericsson, Jarno Kyykka Ericsson, Kerli Rungi Testlio, Carolina Palomeque ETAPA Telecommunications Company, Jaroslav Spisak PAF, Markku Oivo University of Oulu, Natalia Juristo Universidad Politecnica de Madrid
Link to publication DOI Pre-print Media Attached
11:10
5m
Talk
Prioritizing Mutants to Guide Mutation Testing
ICSE Technical Track
Samuel Kaufman University of Washington, Ryan Featherman University of Washington, Justin Alvin University of Massachusetts Amherst, Bob Kurtz George Mason University, USA, Paul Ammann George Mason University, USA, René Just University of Washington
DOI Pre-print Media Attached
11:15
5m
Talk
Automated Testing of Software that Uses Machine Learning APIs
ICSE Technical Track
Chengcheng Wan The University of Chicago, Shicheng Liu University of Chicago, Sophie Xie University of California, Berkeley, Yifan Liu University of Chicago, Henry Hoffmann University of Chicago, Michael Maire University of Chicago, Shan Lu University of Chicago
Pre-print Media Attached
11:20
5m
Talk
CONFETTI: Amplifying Concolic Guidance for Fuzzers
ICSE Technical Track
James Kukucka George Mason University, Luís Pina University of Illinois at Chicago, Paul Ammann George Mason University, USA, Jonathan Bell Northeastern University
Pre-print Media Attached
11:25
5m
Talk
On the Reliability of Coverage-Based Fuzzer Benchmarking
ICSE Technical Track
Marcel Böhme MPI-SP, Germany and Monash University, Australia, Laszlo Szekeres Google, Jonathan Metzman Google
DOI Pre-print Media Attached
13:00 - 14:00
Machine Learning with and for SE 12ICSE Journal-First Papers / ICSE Technical Track / ICSE NIER - New Ideas and Emerging Results at ICSE room 4-odd hours
Chair(s): Wei Yang University of Texas at Dallas
13:00
5m
Talk
Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks
ICSE Journal-First Papers
NIKITA MEHROTRA Indraprastha Institute of Information Technology, NAVDHA AGARWAL Indraprastha Institute of Information Technology, Delhi, PIYUSH GUPTA Indraprastha Institute of Information Technology, Delhi, SAKET ANAND Indraprastha Institute of Information Technology, Delhi, David Lo Singapore Management University, Rahul Purandare IIIT-Delhi
Link to publication DOI Media Attached
13:05
5m
Talk
Revisiting Process versus Product Metrics: a Large Scale Analysi
ICSE Journal-First Papers
Suvodeep Majumder North Carolina State University, Pranav Mody North Carolina State University, Tim Menzies North Carolina State University
Link to publication DOI Pre-print Media Attached File Attached
13:10
5m
Talk
Learning to Recognize Actionable Static Code Warnings (is Intrinsically Easy)
ICSE Journal-First Papers
Xueqi Yang NCSU, Jianfeng Chen North Carolina State University, Rahul Yedida North Carolina State University, Zhe Yu , Tim Menzies North Carolina State University
Link to publication DOI Pre-print Media Attached
13:15
5m
Talk
Improving the Learnability of Machine Learning APIs by Semi-Automated API Wrapping
ICSE NIER - New Ideas and Emerging Results
Lars Reimann University of Bonn, Günter Kniesel-Wünsche University of Bonn
DOI Pre-print Media Attached
13:20
5m
Talk
Improving Machine Translation Systems via Isotopic Replacement
ICSE Technical Track
Zeyu Sun Peking University, Jie M. Zhang King's College London, Yingfei Xiong Peking University, Mark Harman University College London, Mike Papadakis University of Luxembourg, Luxembourg, Lu Zhang Peking University
Pre-print Media Attached
13:25
5m
Talk
Collaboration Challenges in Building ML-Enabled Systems: Communication, Documentation, Engineering, and ProcessDistinguished Paper Award
ICSE Technical Track
Nadia Nahar Carnegie Mellon University, Shurui Zhou University of Toronto, Grace Lewis Carnegie Mellon Software Engineering Institute, Christian Kästner Carnegie Mellon University
Pre-print Media Attached
21:00 - 22:00
Human Aspects of SE 5ICSE Journal-First Papers / ICSE NIER - New Ideas and Emerging Results / ICSE SEET - Software Engineering Education and Training / ICSE Technical Track at ICSE room 4-odd hours
Chair(s): Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary
21:00
5m
Talk
Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS
ICSE Journal-First Papers
Gede Artha Azriadi Prana Singapore Management University, Denae Ford Microsoft Research, Ayushi Rastogi University of Groningen, The Netherlands, Rahul Purandare IIIT-Delhi, Nachiappan Nagappan Microsoft Research, David Lo Singapore Management University
Link to publication DOI Pre-print Media Attached
21:05
5m
Talk
Assessing Practitioner Beliefs about Software Engineering
ICSE Journal-First Papers
Shrikanth N C North Carolina State University, William R. Nichols Carnegie Mellon University/Software Engineering Institute, Fahmid Morshed Fahid North Carolina State University, Tim Menzies North Carolina State University
Link to publication Authorizer link Pre-print Media Attached
21:10
5m
Talk
Socio-Technical Grounded Theory for Software Engineering (Journal First Presentation)
ICSE Journal-First Papers
Rashina Hoda Monash University
Link to publication DOI Pre-print Media Attached
21:15
5m
Talk
Investigating User Perceptions of Conversational Agents for Software-related Exploratory Web Search
ICSE NIER - New Ideas and Emerging Results
Matthew Frazier University of Delaware, Shaayal Kumar University of Delaware, Kostadin Damevski Virginia Commonwealth University, Lori Pollock University of Delaware
DOI Pre-print Media Attached
21:20
5m
Talk
A Project-Based Collaboration between Software Engineering and Criminology Students: Building Applications to Understand Racial Injustice in the Criminal Justice System
ICSE SEET - Software Engineering Education and Training
S. Monisha Pulimood The College of New Jersey, Margaret Leigey The College of New Jersey, Diane C. Bates The College of New Jersey, Kim Pearson The College of New Jersey, Supriya Mishra The College of New Jersey
Pre-print Media Attached
21:25
5m
Talk
What Makes Effective Leadership in Agile Software Development Teams?Nominated for Distinguished Paper
ICSE Technical Track
Lucas Gren Chalmers | University of Gothenburg and Volvo Cars, Paul Ralph Dalhousie University
Pre-print Media Attached

Fri 13 May

Displayed time zone: Eastern Time (US & Canada) change

13:00 - 14:00
13:00
5m
Talk
The Agile Success Model: A Mixed-methods Study of a Large-scale Agile Transformation
ICSE Journal-First Papers
Daniel Russo Department of Computer Science, Aalborg University
Link to publication DOI Pre-print
13:05
5m
Talk
Factors Affecting On-Time Delivery in Large-Scale Agile Software Development
ICSE Journal-First Papers
Elvan Kula Delft University of Technology, Eric Greuter ING, Arie van Deursen Delft University of Technology, Netherlands, Georgios Gousios Endor Labs & Delft University of Technology
DOI Pre-print Media Attached
13:10
5m
Talk
Integrating User Experience into Agile - An Experience Report on Lean UX and Scrum
ICSE SEET - Software Engineering Education and Training
Manal Alhammad King Saud University, Ana María Moreno Universidad Politécnica de Madrid
DOI Pre-print

Mon 9 May

Displayed time zone: Eastern Time (US & Canada) change

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:00153045
ICSE room 4-odd hours

Wed 11 May

Displayed time zone: Eastern Time (US & Canada) change

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
ICSE room 4-odd hours

Thu 12 May

Displayed time zone: Eastern Time (US & Canada) change

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
ICSE room 4-odd hours