CAIN 2023
Mon 15 - Sat 20 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
CAIN 2023 Keynote Speaker : Dr. Ken Power
CAIN 2023 Keynote Speaker : Dr. Foutse Khomh
CAIN 2023 Keynote Speaker : Dr. Aurelie Jacquet
ICSE 2023
Keynotes
Melbourne
Victoria
Australia
Code of Conduct
Diversity and Inclusion Plan
Main Conference In-Person Presenter Instructions
Main Conference Virtual Presenter Instructions
Workshop and Co-Located Event Instructions
Session Chair Instructions
Venue Floor Map
Accommodation
Registration
Visa Letter of Invitation
Social Events
Recruitment Opportunities at ICSE 2023
IEEE Computer Society Open Conference Statement
Travel Support
Childcare Support
Submission Format
Program
Complete Program
Your Program
Mon 15 May
Tue 16 May
Wed 17 May
Thu 18 May
Fri 19 May
Sat 20 May
Tracks
CAIN 2023
Dinner
Papers
Industrial Talks
Posters
Organization
CAIN 2023 Committees
Organizing Committee
Program Committee
Steering Committee
Track Committees
Papers
Industrial Talks
Posters
Contributors
People Index
Search
Series
Series
CAIN 2025
CAIN 2024
CAIN 2023
CAIN 2022
Sign in
Sign up
ICSE 2023
(
series
) /
CAIN 2023
(
series
) /
Melbourne Convention Exhibition Centre | MCEC
/
Room information: Meeting Room 104
Venue
Melbourne Convention Exhibition Centre | MCEC
Room name
Meeting Room 104
Floor
1
Room number
104
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+10:00) Hobart
.
Use conference time zone: (GMT+10:00) Hobart
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Opening and Keynote 1
ICSSP
at
Meeting Room 104
09:00
30m
Day opening
Opening
ICSSP
09:30
60m
Keynote
A.I.gile - How Agile and AI (e)merge in practice
ICSSP
K:
Philipp Diebold
11:00 - 12:30
Paper Session 1 (Process Automation)
ICSSP
at
Meeting Room 104
11:00
20m
Full-paper
Automatically Generating Dockerfiles via Deep-Learning: Challenges and Promises
ICSSP
Giovanni Rosa
University of Molise
,
Antonio Mastropaolo
Università della Svizzera italiana
,
Simone Scalabrino
University of Molise
,
Gabriele Bavota
Software Institute, USI Università della Svizzera italiana
,
Rocco Oliveto
University of Molise
11:20
20m
Full-paper
An Experience Report on Assessing Software Engineer’s Outputs in Practice
ICSSP
Juzheng Zhang
Nanjing University
,
He Zhang
Nanjing University
,
Lanxin Yang
Nanjing University, China
,
Liming Dong
Nanjing University
,
Yue Li
11:40
20m
Full-paper
Automatic Detection of Security Deficiencies and Refactoring Advises for Microservices
ICSSP
Burak Ünver
,
Ricardo Britto
Ericsson / Blekinge Institute of Technology
13:45 - 15:15
Paper Session 2 (Process Improvement)
ICSSP
at
Meeting Room 104
13:45
20m
Full-paper
Using GUI Test Videos to Obtain Stakeholders’ Feedback
ICSSP
Jianwei Shi
Leibniz University Hannover
,
Jonas Mönnich
Leibniz University Hannover
,
Jil Klünder
Leibniz Universität Hannover
,
Kurt Schneider
Leibniz Universität Hannover, Software Engineering Group
14:05
20m
Full-paper
Measuring the Benefits of CI/CD Practices for Database Application Development
ICSSP
Jasmin Fluri
Schaltstelle GmbH
,
Fabrizio Fornari
University of Camerino, Italy
,
Ela Pustulka
FHNW
14:25
20m
Full-paper
On Preparing and Assessing Data for Simulation Process Modeling: An Industrial Report
ICSSP
Liming Dong
Nanjing University
,
He Zhang
Nanjing University
,
Yue Li
,
Bohan Liu
Nanjing University
,
Zhiluo Weng
Nanjing University
14:45
20m
Full-paper
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs
ICSSP
Yibin Xu
University of Copenhagen
,
Tijs Slaats
University of Copenhagen
,
Boris Düdder
University of Copenhagen
,
Thomas T. Hildebrandt
University of Copenhagen
15:45 - 17:15
Keynote 2 and Day 1 Wrap Up
ICSSP
at
Meeting Room 104
15:45
60m
Keynote
A Technical Focus on Business Process Management – Past, Present, and Emerging Topics
ICSSP
K:
Ingo Weber
TU Munich & Fraunhofer, Munich
16:45
30m
Day closing
Day 1 Wrap Up
ICSSP
Mon 15 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Keynote 3
ICSSP
at
Meeting Room 104
09:00
60m
Keynote
AI-Augmented Software Engineering: Revolutionising or Challenging Software Quality and Testing?
ICSSP
K:
Tafline Ramos
,
K:
Amanda Dean
,
K:
David McGregor
11:00 - 12:30
Industry Talks 1
ICSSP
at
Meeting Room 104
Chair(s):
Gayan Benedict
University of Technology Sydney
11:00
20m
Industry talk
De-risking major industry transformations using experimentation
ICSSP
11:20
20m
Industry talk
Analyzing the Implications of NFTs as Digital Identities in Web3.0: A Privacy-Focused Approach
ICSSP
11:40
20m
Industry talk
Considering the Human in the loop when adopting AI
ICSSP
12:00
20m
Industry talk
Helping companies de-risk the integration of first, second and third-party AI models into a customer engagement platform
ICSSP
13:45 - 15:15
Industry Talks 2 and Panel Discussion
ICSSP
at
Meeting Room 104
Chair(s):
Gayan Benedict
University of Technology Sydney
13:45
20m
Industry talk
Achieving Business Success - A Framework for Software Delivery of Emerging Technologies
ICSSP
Mahesh Venkataraman
Accenture
,
Shylaja Shivaram
Accenture
14:05
20m
Industry talk
Improve Software and System Process of Cloud Serverless Architectures through Automated Testing with AI
ICSSP
Rohit Patwardhan
Mr.
,
Mallika Fernandes
Mrs.
14:25
50m
Panel
Panel Discussion
ICSSP
15:45 - 17:15
Paper Session 3 (Short Paper) and Day 2 Wrap Up
ICSSP
at
Meeting Room 104
15:45
15m
Short-paper
Characterizing The Impact of Culture on Agile Methods: The MoCA Model
ICSSP
Michael Neumann
University of Applied Sciences & Arts Hannover
,
Klaus Schmid
Stiftung University Hildesheim
,
Lars Baumann
Pre-print
16:00
15m
Short-paper
Towards Sustainable Software for Public Sector Information Systems
ICSSP
Reetta-Kaisa Ghezzi
,
Aapo Koski
,
Janne Lautanala
,
Mikko Lehtisalo
,
Manu Setälä
,
Tommi Mikkonen
University of Jyvaskyla
16:15
15m
Short-paper
Towards Better Code Reviews: Using Mutation Testing to Improve Reviewer Attention
ICSSP
Ziya Mukhtarov
,
Mannan Abdul
,
Mokhlaroyim Raupova
,
Javid Baghirov
,
Osama Tanveer
,
Haluk Altunel
,
Eray Tüzün
Bilkent University
16:30
30m
Day closing
Day 2 Wrap Up
ICSSP
Tue 16 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Opening
APR
at
Meeting Room 104
11:00
15m
Day opening
Opening
APR
11:00 - 12:30
Morning session
APR
at
Meeting Room 104
11:15
15m
Talk
Quick Repair of Semantic Errors for Debugging
APR
Steven P. Reiss
Brown University, USA
,
Xuan Wei
Wuhan University
,
Qi Xin
Wuhan University
11:30
20m
Talk
An Analysis of the Automatic Bug Fixing Performance of ChatGPT
APR
Dominik Sobania
Johannes Gutenberg University Mainz
,
Martin Briesch
Johannes Gutenberg University Mainz
,
Carol Hanna
University College London
,
Justyna Petke
University College London
11:50
20m
Talk
An Extensive Study on Model Architecture and Program Representation in the Domain of Learning-based Automated Program Repair
APR
Dániel Horváth
Department of Software Engineering, University of Szeged, Szeged, Hungary
,
Viktor Csuvik
Department of Software Engineering, MTA-SZTE Research Group on Artificial Intelligence, University of Szeged, Szeged, Hungary
,
Tibor Gyimóthy
University of Szeged, Hungary
,
László Vidács
University of Szeged, Hungary
12:10
20m
Talk
Mining Fix Patterns with Context Information for Automatic Program Repair
APR
Phan Thi Thanh Huyen
Hitachi, Ltd., Research &Development Group
,
Kazuya Yasuda
Hitachi, Ltd.
,
Shinji Itoh
Hitachi, Ltd., Research &Development Group
12:30
90m
Lunch
Lunch
APR
13:45 - 15:15
Afternoon session1
APR
at
Meeting Room 104
13:45
15m
Talk
Program Repair Competition
APR
Ridwan Salihin Shariffdeen
National University of Singapore
,
Martin Mirchev
National University of Singapore
,
Abhik Roychoudhury
National University of Singapore
14:00
75m
Panel
Panel Discussion: Future of APR: Challenges and directions
APR
Manish Motwani
Georgia Institute of Technology
,
Xuan Bach D. Le
The University of Melbourne
,
Abhik Roychoudhury
National University of Singapore
,
Yingfei Xiong
Peking University
,
Lingming Zhang
University of Illinois at Urbana-Champaign
15:15
20m
Talk
FixEval: Execution-based Evaluation of Program Fixes for Programming Problems
APR
Md Mahim Anjum Haque
Virginia Tech
,
Wasi Uddin Ahmad
University of California, Los Angeles
,
Ismini Lourentzou
Virginia Tech
,
Chris Brown
Virginia Tech
15:35
15m
Talk
Beyond Code Generation: The Need for Type-Aware Language Models
APR
Francisco Ribeiro
HASLab/INESC TEC & Universidade do Minho
,
José Nuno Macedo
University of Minho
,
Kanae Tsushima
National Institute of Informatics, Japan
Wed 17 May
Displayed time zone:
Hobart
change
11:00 - 12:30
Formal verification
ICSE SEIP - Software Engineering in Practice
/
ICSE DEMO - Demonstrations
/
ICSE Technical Track
/
ICSE NIER - New Ideas and Emerging Results
/
ICSE Showcase
at
Meeting Room 104
Chair(s):
Bonita Sharif
University of Nebraska-Lincoln, USA
11:00
15m
Talk
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms
ICSE Technical Track
Hammad Ahmad
University of Michigan
,
Zachary Karas
University of Michigan
,
Kimberly Diaz
University of Michigan
,
Amir Kamil
University of Michigan
,
Jean-Baptiste Jeannin
University of Michigan at Ann Arbor
,
Westley Weimer
University of Michigan
11:15
15m
Talk
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
ICSE Technical Track
Rafi Shalom
Tel Aviv University, Israel
,
Shahar Maoz
Tel Aviv University
Pre-print
11:30
15m
Talk
Understanding Inconsistency in Azure Cosmos DB with TLA+
ICSE SEIP - Software Engineering in Practice
Alistair Finn Hackett
University of British Columbia
,
Joshua Rowe
Microsoft
,
Markus Alexander Kuppe
Microsoft Research
11:45
15m
Talk
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
ICSE Showcase
Nicholas Coughlin
Defence Science and Technology Group, Australia
,
Kirsten Winter
Defence Science and Technology Group, Australia
,
Graeme Smith
The University of Queensland
12:00
7m
Talk
HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols
ICSE DEMO - Demonstrations
Shumao Zhai
Beihang University
,
Xiaozhou Li
University of Oulu
,
Ning Ge
School of Software, Beihang University
12:07
7m
Talk
CoVeriTeam Service: Verification as a Service
ICSE DEMO - Demonstrations
Dirk Beyer
LMU Munich
,
Sudeep Kanav
LMU Munich
,
Henrik Wachowitz
LMU Munich
12:15
7m
Talk
Proofster: Automated Formal Verification
ICSE DEMO - Demonstrations
Arpan Agrawal
University of Illinois Urbana-Champaign
,
Emily First
University of Massachusetts Amherst
,
Zhanna Kaufman
University of Massachusetts
,
Tom Reichel
University of Illinois Urbana-Champaign
,
Shizhuo Zhang
University of Illinois Urbana-Champaign
,
Timothy Zhou
University of Illinois Urbana-Champaign
,
Alex Sanchez-Stern
University of Massachusetts at Amherst
,
Talia Ringer
University of Illinois at Urbana-Champaign
,
Yuriy Brun
University of Massachusetts
Media Attached
12:22
7m
Talk
Anti-Patterns (Smells) in Temporal Specifications
ICSE NIER - New Ideas and Emerging Results
Dor Ma'ayan
Tel Aviv University
,
Shahar Maoz
Tel Aviv University
,
Jan Oliver Ringert
Bauhaus-University Weimar
Pre-print
13:45 - 15:15
AI systems engineering
ICSE SEIP - Software Engineering in Practice
/
ICSE Technical Track
/
ICSE NIER - New Ideas and Emerging Results
/
ICSE Journal-First Papers
at
Meeting Room 104
Chair(s):
Xin Peng
Fudan University
13:45
15m
Talk
FedDebug: Systematic Debugging for Federated Learning Applications
ICSE Technical Track
Waris Gill
Virginia Tech
,
Ali Anwar
University of Minnesota
,
Muhammad Ali Gulzar
Virginia Tech
14:00
15m
Talk
Practical and Efficient Model Extraction of Sentiment Analysis APIs
ICSE Technical Track
Weibin Wu
Sun Yat-sen University
,
Jianping Zhang
The Chinese University of Hong Kong
,
Victor Junqiu Wei
The Hong Kong Polytechnic University
,
Xixian Chen
Tencent
,
Zibin Zheng
School of Software Engineering, Sun Yat-sen University
,
Irwin King
The Chinese University of Hong Kong
,
Michael Lyu
The Chinese University of Hong Kong
14:15
15m
Talk
CrossCodeBench: Benchmarking Cross-Task Generalization of Source Code Models
ICSE Technical 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
,
Bin Luo
Nanjing University
Pre-print
14:30
15m
Talk
Challenges in Adopting Artificial Intelligence Based User Input Verification Framework in Reporting Software Systems
ICSE SEIP - Software Engineering in Practice
Dong Jae Kim
Concordia University
,
Tse-Hsun (Peter) Chen
Concordia University
,
Steve Sporea
,
Andrei Toma
ERA Environmental Management Solutions
,
Laura Weinkam
,
Sarah Sajedi
ERA Environmental Management Solutions
,
Steve Sporea
14:45
7m
Talk
Towards Understanding Quality Challenges of the Federated Learning for Neural Networks: A First Look from the Lens of Robustness
ICSE Journal-First Papers
Amin Eslami Abyane
University of Calgary
,
Derui Zhu
Technical University of Munich
,
Roberto Souza
University of Calgary
,
Lei Ma
University of Alberta
,
Hadi Hemmati
York University
14:52
7m
Talk
An Empirical Study of the Impact of Hyperparameter Tuning and Model Optimization on the Performance Properties of Deep Neural Networks
ICSE Journal-First Papers
Lizhi Liao
Concordia University
,
Heng Li
Polytechnique Montréal
,
Weiyi Shang
University of Waterloo
,
Lei Ma
University of Alberta
15:00
7m
Talk
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering
ICSE Journal-First Papers
Mohammed Attaoui
University of Luxembourg
,
Hazem FAHMY
University of Luxembourg
,
Fabrizio Pastore
University of Luxembourg
,
Lionel Briand
University of Luxembourg; University of Ottawa
Link to publication
Pre-print
15:07
7m
Talk
Iterative Assessment and Improvement of DNN Operational Accuracy
ICSE NIER - New Ideas and Emerging Results
Antonio Guerriero
Università di Napoli Federico II
,
Roberto Pietrantuono
Università di Napoli Federico II
,
Stefano Russo
Università di Napoli Federico II
Pre-print
15:45 - 17:15
Development and evolution of AI-intensive systems
ICSE SEIP - Software Engineering in Practice
/
ICSE Technical Track
/
ICSE NIER - New Ideas and Emerging Results
at
Meeting Room 104
Chair(s):
Sebastian Elbaum
University of Virginia
15:45
15m
Talk
Reusing Deep Neural Network Models through Model Re-engineering
ICSE Technical Track
Binhang Qi
Beihang University
,
Hailong Sun
Beihang University
,
Xiang Gao
Beihang University, China
,
Hongyu Zhang
The University of Newcastle
,
Zhaotian Li
Beihang University
,
Xudong Liu
Beihang University
16:00
15m
Talk
PyEvolve: Automating Frequent Code Changes in Python ML Systems
ICSE Technical Track
Malinda Dilhara
University of Colorado Boulder, USA
,
Danny Dig
JetBrains Research & University of Colorado Boulder, USA
,
Ameya Ketkar
Uber
Pre-print
16:15
15m
Talk
DeepArc: Modularizing Neural Networks for the Model Maintenance
ICSE Technical Track
xiaoning ren
,
Yun Lin
Shanghai Jiao Tong University; National University of Singapore
,
Yinxing Xue
University of Science and Technology of China
,
Ruofan Liu
National University of Singapore
,
Jun Sun
Singapore Management University
,
Zhiyong Feng
Tianjin University
,
Jin Song Dong
National University of Singapore
16:30
15m
Talk
Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement
ICSE Technical Track
Sayem Mohammad Imtiaz
Iowa State University
,
Fraol Batole
Dept. of Computer Science, Iowa State University
,
Astha Singh
Dept. of Computer Science, Iowa State University
,
Rangeet Pan
IBM Research
,
Breno Dantas Cruz
Dept. of Computer Science, Iowa State University
,
Hridesh Rajan
Iowa State University
Pre-print
16:45
7m
Talk
Safe-DS: A Domain Specific Language to Make Data Science Safe
ICSE NIER - New Ideas and Emerging Results
Lars Reimann
University of Bonn
,
Günter Kniesel-Wünsche
University of Bonn
Pre-print
16:52
7m
Talk
Rapid Development of Compositional AI
ICSE NIER - New Ideas and Emerging Results
Lee Martie
MIT-IBM Watson AI Lab
,
Jessie Rosenberg
IBM
,
Veronique Demers
MIT-IBM Watson AI Lab
,
Gaoyuan Zhang
IBM
,
Onkar Bhardwaj
MIT-IBM Watson AI Lab
,
John Henning
IBM
,
Aditya Prasad
IBM
,
Matt Stallone
MIT-IBM Watson AI Lab
,
Ja Young Lee
IBM
,
Lucy Yip
IBM
,
Damilola Adesina
IBM
,
Elahe Paikari
IBM
,
Oscar Resendiz
IBM
,
Sarah Shaw
IBM
,
David Cox
IBM
Pre-print
17:00
7m
Talk
StreamAI: Challenges of Continual Learning Systems in Production for AI Industrialization
ICSE SEIP - Software Engineering in Practice
Mariam Barry
BNP Paribas
,
Albert Bifet
University of Waikato, Institut Polytechnique de Paris
,
Jean Luc Billy
BNP Paribas
Thu 18 May
Displayed time zone:
Hobart
change
11:00 - 12:30
Program repair techniques and applications
ICSE Technical Track
/
ICSE Journal-First Papers
/
ICSE DEMO - Demonstrations
at
Meeting Room 104
Chair(s):
Xuan-Bach D. Le
University of Melbourne
11:00
15m
Talk
Better Automatic Program Repair by Using Bug Reports and Tests Together
ICSE Technical Track
Manish Motwani
Georgia Institute of Technology
,
Yuriy Brun
University of Massachusetts
Pre-print
11:15
15m
Talk
CCTEST: Testing and Repairing Code Completion Systems
ICSE Technical Track
Li Zongjie
,
Chaozheng Wang
Harbin Institute of Technology
,
Zhibo Liu
Hong Kong University of Science and Technology
,
Haoxuan Wang
EPFL
,
Dong Chen
HKUST
,
Shuai Wang
Hong Kong University of Science and Technology
,
Cuiyun Gao
Harbin Institute of Technology
11:30
7m
Talk
A Controlled Experiment of Different Code Representations for Learning-Based Program Repair
ICSE Journal-First Papers
Marjane Namavar
University of British Columbia
,
Noor Nashid
University of British Columbia
,
Ali Mesbah
University of British Columbia (UBC)
Link to publication
Pre-print
11:37
7m
Talk
Patching Locking Bugs Statically with Crayons
ICSE Journal-First Papers
Juan Alfredo Cruz-Carlon
IT University of Copenhagen
,
Mahsa Varshosaz
IT University of Copenhagen, Denmark
,
Claire Le Goues
Carnegie Mellon University
,
Andrzej Wąsowski
IT University of Copenhagen, Denmark
11:45
15m
Talk
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair
ICSE Technical Track
Nan Jiang
Purdue University
,
Thibaud Lutellier
University of Alberta
,
Yiling Lou
Fudan University
,
Lin Tan
Purdue University
,
Dan Goldwasser
Purdue University
,
Xiangyu Zhang
Purdue University
Pre-print
12:00
15m
Talk
Rete: Learning Namespace Representation for Program Repair
ICSE Technical Track
Nikhil Parasaram
University College London
,
Earl T. Barr
University College London
,
Sergey Mechtaev
University College London
Link to publication
Pre-print
12:15
7m
Talk
Cerberus: a Program Repair Framework
ICSE DEMO - Demonstrations
Ridwan Salihin Shariffdeen
National University of Singapore
,
Martin Mirchev
National University of Singapore
,
Yannic Noller
National University of Singapore
,
Abhik Roychoudhury
National University of Singapore
12:22
7m
Talk
Predicting Patch Correctness Based on the Similarity of Failing Test Cases
ICSE Journal-First Papers
Haoye Tian
University of Luxembourg
,
Yinghua LI
University of Luxembourg
,
Weiguo Pian
University of Luxembourg
,
Abdoul Kader Kaboré
SnT, University of Luxembourg
,
Kui Liu
Huawei Software Engineering Application Technology Lab
,
Andrew Habib
SnT, University of Luxembourg
,
Jacques Klein
University of Luxembourg
,
Tegawendé F. Bissyandé
SnT, University of Luxembourg
13:45 - 15:15
AI bias and fairness
ICSE DEMO - Demonstrations
/
ICSE Technical Track
/
ICSE Journal-First Papers
at
Meeting Room 104
Chair(s):
Amel Bennaceur
The Open University, UK
13:45
15m
Talk
Towards Understanding Fairness and its Composition in Ensemble Machine Learning
ICSE Technical Track
Usman Gohar
Dept. of Computer Science, Iowa State University
,
Sumon Biswas
Carnegie Mellon University
,
Hridesh Rajan
Iowa State University
Pre-print
14:00
15m
Talk
Fairify: Fairness Verification of Neural Networks
ICSE Technical Track
Sumon Biswas
Carnegie Mellon University
,
Hridesh Rajan
Iowa State University
Pre-print
14:15
15m
Talk
Leveraging Feature Bias for Scalable Misprediction Explanation of Machine Learning Models
ICSE Technical Track
Jiri Gesi
University of California, Irvine
,
Xinyun Shen
University of California, Irvine
,
Yunfan Geng
University of California, Irvine
,
Qihong Chen
University of California, Irvine
,
Iftekhar Ahmed
University of California at Irvine
14:30
15m
Talk
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
ICSE Technical Track
Verya Monjezi
University of Texas at El Paso
,
Ashutosh Trivedi
University of Colorado Boulder
,
Gang (Gary) Tan
Pennsylvania State University
,
Saeid Tizpaz-Niari
University of Texas at El Paso
Pre-print
14:45
7m
Talk
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning
ICSE DEMO - Demonstrations
Austin Hoag
Berkeley Existential Risk Initiative
,
James E. Kostas
University of Massachusetts
,
Bruno Castro da Silva
University of Massachusetts
,
Philip S. Thomas
University of Massachusetts
,
Yuriy Brun
University of Massachusetts
Pre-print
Media Attached
14:52
7m
Talk
What Would You do? An Ethical AI Quiz
ICSE DEMO - Demonstrations
Wei Teo
Monash University
,
Ze Teoh
Monash University
,
Dayang Abang Arabi
Monash University
,
Morad Aboushadi
Monash University
,
Khairenn Lai
Monash University
,
Zhe Ng
Monash University
,
Aastha Pant
Monash Univeristy
,
Rashina Hoda
Monash University
,
Kla Tantithamthavorn
Monash University
,
Burak Turhan
University of Oulu
Pre-print
Media Attached
15:00
7m
Talk
Search-Based Fairness Testing for Regression-Based Machine Learning Systems
ICSE Journal-First Papers
Anjana Perera
Oracle Labs, Australia
,
Aldeida Aleti
Monash University
,
Kla Tantithamthavorn
Monash University
,
Jirayus Jiarpakdee
Monash University, Australia
,
Burak Turhan
University of Oulu
,
Lisa Kuhn
Monash University
,
Katie Walker
Monash University
Link to publication
DOI
15:07
7m
Talk
FairMask: Better Fairness via Model-based Rebalancing of Protected Attributes
ICSE Journal-First Papers
Kewen Peng
North Carolina State University
,
Tim Menzies
North Carolina State University
,
Joymallya Chakraborty
North Carolina State University
Link to publication
Pre-print
Fri 19 May
Displayed time zone:
Hobart
change
11:00 - 12:30
Reverse engineering
ICSE Technical Track
/
ICSE Journal-First Papers
/
ICSE SEIP - Software Engineering in Practice
at
Meeting Room 104
Chair(s):
Wei Le
Iowa State University
11:00
15m
Talk
SeeHow: Workflow Extraction from Programming Screencasts through Action-Aware Video Analytics
ICSE Technical Track
Dehai Zhao
Australian National University, Australia
,
Zhenchang Xing
,
Xin Xia
Huawei
,
Deheng Ye
Tencent AI Lab
,
Xiwei (Sherry) Xu
CSIRO’s Data61
,
Liming Zhu
CSIRO’s Data61
11:15
15m
Talk
AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces
ICSE Technical Track
S M Hasan Mansur
George Mason University
,
Sabiha Salma
George Mason University
,
Damilola Awofisayo
Duke University
,
Kevin Moran
George Mason University
11:30
15m
Talk
Carving UI Tests to Generate API Tests and API Specification
ICSE Technical Track
Rahulkrishna Yandrapally
University of British Columbia, Canada
,
Saurabh Sinha
IBM Research
,
Rachel Tzoref-Brill
IBM Research
,
Ali Mesbah
University of British Columbia (UBC)
Pre-print
11:45
15m
Talk
CFG2VEC: Hierarchical Graph Neural Network for Cross-Architectural Software Reverse Engineering
ICSE SEIP - Software Engineering in Practice
Shih-Yuan Yu
UCI
,
Yonatan Achamyeleh
UCI
,
Chonghan Wang
UCI
,
Anton Kocheturov
Siemens Technology
,
Patrick Eisen
Siemens Technology
,
Mohammad Al Faruque
UCI
12:00
15m
Talk
Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network
ICSE Technical Track
Zhe Liu
Institute of Software, Chinese Academy of Sciences
,
Chunyang Chen
Monash University
,
Junjie Wang
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Yuhui Su
Institute of Software, Chinese Academy of Sciences
,
Yuekai Huang
Institute of Software, Chinese Academy of Sciences
,
Jun Hu
Institute of Software, Chinese Academy of Sciences
,
Qing Wang
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
12:15
7m
Talk
VID2XML: Automatic Extraction of a Complete XML Data from Mobile Programming Screencasts
ICSE Journal-First Papers
Mohammad D. Alahmadi
Department of Software Engineering, College of Computer Science and Engineering, University of Jeddah, Jeddah, Saudi Arabia.
13:45 - 15:15
Software development tools
ICSE DEMO - Demonstrations
/
ICSE Technical Track
/
ICSE SEIP - Software Engineering in Practice
/
ICSE NIER - New Ideas and Emerging Results
at
Meeting Room 104
Chair(s):
Xing Hu
Zhejiang University
13:45
15m
Talk
Safe low-level code without overhead is practical
ICSE Technical Track
Solal Pirelli
EPFL
,
George Candea
EPFL
Pre-print
14:00
15m
Talk
Sibyl: Improving Software Engineering Tools with SMT Selection
ICSE Technical Track
Will Leeson
University of Virgina
,
Matthew B Dwyer
University of Virginia
,
Antonio Filieri
AWS and Imperial College London
Pre-print
14:15
15m
Talk
Make Your Tools Sparkle with Trust: The PICSE Framework for Trust in Software Tools
ICSE SEIP - Software Engineering in Practice
Brittany Johnson
George Mason University
,
Christian Bird
Microsoft Research
,
Denae Ford
Microsoft Research
,
Nicole Forsgren
Microsoft Research
,
Thomas Zimmermann
Microsoft Research
Pre-print
14:30
15m
Talk
CoCoSoDa: Effective Contrastive Learning for Code Search
ICSE Technical Track
Ensheng Shi
Xi'an Jiaotong University
,
Wenchao Gu
The Chinese University of Hong Kong
,
Yanlin Wang
School of Software Engineering, Sun Yat-sen University
,
Lun Du
Microsoft Research Asia
,
Hongyu Zhang
The University of Newcastle
,
Shi Han
Microsoft Research
,
Dongmei Zhang
Microsoft Research
,
Hongbin Sun
Xi'an Jiaotong University
Pre-print
14:45
7m
Talk
Task Context: A Tool for Predicting Code Context Models for Software Development Tasks
ICSE DEMO - Demonstrations
Yifeng Wang
Zhejiang University
,
Yuhang Lin
Zhejiang University
,
Zhiyuan Wan
Zhejiang University
,
Xiaohu Yang
Zhejiang University
Pre-print
Media Attached
14:52
7m
Talk
Continuously Accelerating Research
ICSE NIER - New Ideas and Emerging Results
Sergey Mechtaev
University College London
,
Jonathan Bell
Northeastern University
,
Christopher Steven Timperley
Carnegie Mellon University
,
Earl T. Barr
University College London
,
Michael Hilton
Carnegie Mellon University
Pre-print
15:00
7m
Talk
An Alternative to Cells for Selective Execution of Data Science Pipelines
ICSE NIER - New Ideas and Emerging Results
Lars Reimann
University of Bonn
,
Günter Kniesel-Wünsche
University of Bonn
Pre-print
15:07
7m
Talk
pytest-inline: An Inline Testing Tool for Python
ICSE DEMO - Demonstrations
Yu Liu
University of Texas at Austin
,
Zachary Thurston
Cornell University
,
Alan Han
Cornell University
,
Pengyu Nie
University of Texas at Austin
,
Milos Gligoric
University of Texas at Austin
,
Owolabi Legunsen
Cornell University
15:45 - 17:15
Program analysis
ICSE Showcase
/
ICSE Journal-First Papers
/
ICSE Technical Track
/
ICSE SEIP - Software Engineering in Practice
at
Meeting Room 104
Chair(s):
Marsha Chechik
University of Toronto
15:45
15m
Talk
Stubbifier: debloating dynamic server-side JavaScript applications
ICSE Journal-First Papers
Alexi Turcotte
Northeastern University
,
Ellen Arteca
Northeastern University
,
Ashish Mishra
Purdue University
,
Saba Alimadadi
Simon Fraser University
,
Frank Tip
Northeastern University
16:00
15m
Talk
DStream: A Streaming-Based Highly Parallel IFDS Framework
ICSE Technical Track
Xizao Wang
Nanjing University
,
Zhiqiang Zuo
Nanjing University
,
Lei Bu
Nanjing University
,
Jianhua Zhao
Nanjing University, China
16:15
15m
Talk
(Partial) Program Dependence Learning
ICSE Technical Track
Aashish Yadavally
The University of Texas at Dallas
,
Wenbo Wang
New Jersey Institute of Technology
,
Shaohua Wang
New Jersey Institute of Technology
,
Tien N. Nguyen
University of Texas at Dallas
Pre-print
16:30
15m
Talk
MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems
ICSE Technical Track
Yicheng Ouyang
University of Illinois at Urbana-Champaign
,
Kailai Shao
Ant Group
,
Kunqiu Chen
Southern University of Science and Technology
,
Ruobing Shen
Peking University
,
Chao Chen
Ant Group
,
Mingze Xu
Ant Group
,
Yuqun Zhang
Southern University of Science and Technology
,
Lingming Zhang
University of Illinois at Urbana-Champaign
Pre-print
16:45
15m
Talk
Incremental Call Graph Construction in Industrial Practice
ICSE SEIP - Software Engineering in Practice
Zelin Zhao
Ant Group
,
Xizao Wang
Nanjing University
,
Zhaogui Xu
Ant Group
,
Zhenhao Tang
Ant Group
,
Yongchao Li
Ant Group
,
Peng Di
Ant Group
17:00
15m
Talk
Generic Partition Refinement and Weighted Tree Automata
ICSE Showcase
Hans-Peter Deifel
Friedrich-Alexander University Erlangen-Nürnberg, Germany
,
Stefan Milius
,
Lutz Schröder
University of Erlangen-Nuremberg
,
Thorsten Wißmann
Friedrich-Alexander University Erlangen-Nürnberg
Link to publication
DOI
Pre-print
Sat 20 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Opening and Keynote
SVM
at
Meeting Room 104
Chair(s):
Muhammad Ali Babar
University of Adelaide
,
Triet Le
The University of Adelaide
09:00
15m
Day opening
Opening
SVM
Muhammad Ali Babar
University of Adelaide
,
Triet Le
The University of Adelaide
09:15
60m
Keynote
Keynote: Applying psychological theories to improve software vulnerability management
SVM
Monica Whitty
Monash University
10:15
15m
Full-paper
VrT: Vulnerabilities Reports Tagger Machine Learning Driven Cybersecurity Tool for Vulnerability Classification
SVM
Sultan Alqahtni
10:30
30m
Coffee break
Morning tea
SVM
11:00 - 12:30
Paper Session 1
SVM
at
Meeting Room 104
Chair(s):
M. Mehdi Kholoosi
University of Adelaide
11:00
15m
Full-paper
A Static Analysis Platform for Investigating Security Trends in Repositories
SVM
Tim Sonnekalb
German Aerospace Center (DLR)
,
Christopher-Tobias Knaust
,
Thomas S. Heinze
Aarhus University, Denmark
,
Clemens-Alexander Brust
German Aerospace Center (DLR)
,
Bernd Gruner
DLR Institute of Data Science
,
Lynn von Kurnatowski
German Aerospace Center
,
Andreas Schreiber
German Aerospace Center (DLR)
,
Patrick Mäder
Technische Universität Ilmenau
11:15
15m
Full-paper
An Empirical Study on Workflows and Security Policies in Popular GitHub Repositories
SVM
Jessy Ayala
University of California Irvine
,
Joshua Garcia
University of California, Irvine
11:40
50m
Talk
Group forming and discussion - SVM gaps between academia and practice
SVM
13:45 - 15:15
Paper Session 2
SVM
at
Meeting Room 104
Chair(s):
Roland Croft
The University of Adelaide
13:45
15m
Talk
Invited talk - (Dr. Hyun Sangwon)
SVM
Sangwon Hyun
University of Adelaide
14:00
15m
Talk
Invited talk - Incident Prevention Through Reliable Changes Development: Progress and Future Plans
SVM
Eileen Kapel
Delft University of Technology
14:15
15m
Talk
Invited talk - Software vulnerabilities causing timing attacks: An empirical study
SVM
M. Mehdi Kholoosi
University of Adelaide
14:30
15m
Full-paper
Identifying missing relationships of CAPEC attack patterns by transformer models and graph structure
SVM
Rikuho Miyata
,
Hironori Washizaki
Waseda University
,
Kensuke Sumoto
,
Nobukazu Yoshioka
Waseda University, Japan
,
Yoshiaki Fukazawa
Waseda University
,
Takao Okubo
Institute of Information Security
14:45
30m
Panel
Panel discussion - Reflections and Visions for SVM
SVM
15:15
10m
Day closing
Closing
SVM
Sun 14 May
Displayed time zone:
Hobart
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
Meeting Room 104
ICSSP
Opening and Keynote 1
ICSSP
Paper Session 1 (Process Automation)
ICSSP
Paper Session 2 (Process Improvement)
ICSSP
Keynote 2 and Day 1 Wrap Up
Mon 15 May
Displayed time zone:
Hobart
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
Meeting Room 104
ICSSP
Keynote 3
ICSSP
Industry Talks 1
ICSSP
Industry Talks 2 and Panel Discussion
ICSSP
Paper Session 3 (Short Paper) and Day 2 Wrap Up
Tue 16 May
Displayed time zone:
Hobart
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
Meeting Room 104
APR
Opening
APR
Morning session
APR
Afternoon session1
APR
Wed 17 May
Displayed time zone:
Hobart
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting Room 104
ICSE SEIP - Software Engineering in Practice + ICSE DEMO - Demonstrations + ICSE Technical Track + ICSE NIER - New Ideas and Emerging Results + ICSE Showcase
Formal verification
ICSE SEIP - Software Engineering in Practice + ICSE Technical Track + ICSE NIER - New Ideas and Emerging Results + ICSE Journal-First Papers
AI systems engineering
ICSE SEIP - Software Engineering in Practice + ICSE Technical Track + ICSE NIER - New Ideas and Emerging Results
Development and evolution of AI-intensive systems
Thu 18 May
Displayed time zone:
Hobart
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Meeting Room 104
ICSE Technical Track + ICSE Journal-First Papers + ICSE DEMO - Demonstrations
Program repair techniques and applications
ICSE DEMO - Demonstrations + ICSE Technical Track + ICSE Journal-First Papers
AI bias and fairness
Fri 19 May
Displayed time zone:
Hobart
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting Room 104
ICSE Technical Track + ICSE Journal-First Papers + ICSE SEIP - Software Engineering in Practice
Reverse engineering
ICSE DEMO - Demonstrations + ICSE Technical Track + ICSE SEIP - Software Engineering in Practice + ICSE NIER - New Ideas and Emerging Results
Software development tools
ICSE Showcase + ICSE Journal-First Papers + ICSE Technical Track + ICSE SEIP - Software Engineering in Practice
Program analysis
Sat 20 May
Displayed time zone:
Hobart
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
Meeting Room 104
SVM
Opening and Keynote
SVM
Paper Session 1
SVM
Paper Session 2
SVM
Sun 14 May
Displayed time zone:
Hobart
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
Meeting Room 104
ICSSP
Opening
09:00 - 09:30
ICSSP
A.I.gile - How Agile and AI (e)merge in practice
09:30 - 10:30
ICSSP
Automatically Generating Dockerfiles via Deep-Learning: Challenges and ...
11:00 - 11:20
ICSSP
An Experience Report on Assessing Software Engineer’s Outputs in Practice
11:20 - 11:40
ICSSP
Automatic Detection of Security Deficiencies and Refactoring Advises fo ...
11:40 - 12:00
ICSSP
Using GUI Test Videos to Obtain Stakeholders’ Feedback
13:45 - 14:05
ICSSP
Measuring the Benefits of CI/CD Practices for Database Application Deve ...
14:05 - 14:25
ICSSP
On Preparing and Assessing Data for Simulation Process Modeling: An Ind ...
14:25 - 14:45
ICSSP
Adding Generic Role- and Process-based Behaviors to Smart Contracts usi ...
14:45 - 15:05
ICSSP
A Technical Focus on Business Process Management – Past, Present, and E ...
15:45 - 16:45
ICSSP
Day 1 Wrap Up
16:45 - 17:15
Mon 15 May
Displayed time zone:
Hobart
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
Meeting Room 104
ICSSP
AI-Augmented Software Engineering: Revolutionising or Challenging Softw ...
09:00 - 10:00
ICSSP
De-risking major industry transformations using experimentation
11:00 - 11:20
ICSSP
Analyzing the Implications of NFTs as Digital Identities in Web3.0: A P ...
11:20 - 11:40
ICSSP
Considering the Human in the loop when adopting AI
11:40 - 12:00
ICSSP
Helping companies de-risk the integration of first, second and third-pa ...
12:00 - 12:20
ICSSP
Achieving Business Success - A Framework for Software Delivery of Emerg ...
13:45 - 14:05
ICSSP
Improve Software and System Process of Cloud Serverless Architectures t ...
14:05 - 14:25
ICSSP
Panel Discussion
14:25 - 15:15
ICSSP
Characterizing The Impact of Culture on Agile Methods: The MoCA Model
15:45 - 16:00
ICSSP
Towards Sustainable Software for Public Sector Information Systems
16:00 - 16:15
ICSSP
Towards Better Code Reviews: Using Mutation Testing to Improve Reviewer ...
16:15 - 16:30
ICSSP
Day 2 Wrap Up
16:30 - 17:00
Tue 16 May
Displayed time zone:
Hobart
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
Meeting Room 104
APR
Opening
11:00 - 11:15
APR
Quick Repair of Semantic Errors for Debugging
11:15 - 11:30
APR
An Analysis of the Automatic Bug Fixing Performance of ChatGPT
11:30 - 11:50
APR
An Extensive Study on Model Architecture and Program Representation in ...
11:50 - 12:10
APR
Mining Fix Patterns with Context Information for Automatic Program Repair
12:10 - 12:30
APR
Lunch
12:30 - 14:00
Program Repair Competition
13:45 - 14:00
APR
Panel Discussion: Future of APR: Challenges and directions
14:00 - 15:15
APR
FixEval: Execution-based Evaluation of Program Fixes for Programming Pr ...
15:15 - 15:35
APR
Beyond Code Generation: The Need for Type-Aware Language Models
15:35 - 15:50
Wed 17 May
Displayed time zone:
Hobart
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
Meeting Room 104
ICSE Technical Track
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs ...
11:00 - 11:15
ICSE Technical Track
Which of My Assumptions are Unnecessary for Realizability and Why Shoul ...
11:15 - 11:30
ICSE SEIP - Software Engineering in Practice
Understanding Inconsistency in Azure Cosmos DB with TLA+
11:30 - 11:45
ICSE Showcase
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
11:45 - 12:00
ICSE DEMO - Demonstrations
HOME: Heard-Of based Formal Modeling and Verification Environment for C ...
12:00 - 12:07
ICSE DEMO - Demonstrations
CoVeriTeam Service: Verification as a Service
12:07 - 12:15
ICSE DEMO - Demonstrations
Proofster: Automated Formal Verification
12:15 - 12:22
ICSE NIER - New Ideas and Emerging Results
Anti-Patterns (Smells) in Temporal Specifications
12:22 - 12:30
ICSE Technical Track
FedDebug: Systematic Debugging for Federated Learning Applications
13:45 - 14:00
ICSE Technical Track
Practical and Efficient Model Extraction of Sentiment Analysis APIs
14:00 - 14:15
ICSE Technical Track
CrossCodeBench: Benchmarking Cross-Task Generalization of Source Code M ...
14:15 - 14:30
ICSE SEIP - Software Engineering in Practice
Challenges in Adopting Artificial Intelligence Based User Input Verific ...
14:30 - 14:45
ICSE Journal-First Papers
Towards Understanding Quality Challenges of the Federated Learning for ...
14:45 - 14:52
ICSE Journal-First Papers
An Empirical Study of the Impact of Hyperparameter Tuning and Model Opt ...
14:52 - 15:00
ICSE Journal-First Papers
Black-box Safety Analysis and Retraining of DNNs based on Feature Extra ...
15:00 - 15:07
ICSE NIER - New Ideas and Emerging Results
Iterative Assessment and Improvement of DNN Operational Accuracy
15:07 - 15:15
ICSE Technical Track
Reusing Deep Neural Network Models through Model Re-engineering
15:45 - 16:00
ICSE Technical Track
PyEvolve: Automating Frequent Code Changes in Python ML Systems
16:00 - 16:15
ICSE Technical Track
DeepArc: Modularizing Neural Networks for the Model Maintenance
16:15 - 16:30
ICSE Technical Track
Decomposing a Recurrent Neural Network into Modules for Enabling Reusab ...
16:30 - 16:45
ICSE NIER - New Ideas and Emerging Results
Safe-DS: A Domain Specific Language to Make Data Science Safe
16:45 - 16:52
ICSE NIER - New Ideas and Emerging Results
Rapid Development of Compositional AI
16:52 - 17:00
ICSE SEIP - Software Engineering in Practice
StreamAI: Challenges of Continual Learning Systems in Production for AI ...
17:00 - 17:07
Thu 18 May
Displayed time zone:
Hobart
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
Meeting Room 104
ICSE Technical Track
Better Automatic Program Repair by Using Bug Reports and Tests Together
11:00 - 11:15
ICSE Technical Track
CCTEST: Testing and Repairing Code Completion Systems
11:15 - 11:30
ICSE Journal-First Papers
A Controlled Experiment of Different Code Representations for Learning- ...
11:30 - 11:37
ICSE Journal-First Papers
Patching Locking Bugs Statically with Crayons
11:37 - 11:45
ICSE Technical Track
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair
11:45 - 12:00
ICSE Technical Track
Rete: Learning Namespace Representation for Program Repair
12:00 - 12:15
ICSE DEMO - Demonstrations
Cerberus: a Program Repair Framework
12:15 - 12:22
ICSE Journal-First Papers
Predicting Patch Correctness Based on the Similarity of Failing Test Cases
12:22 - 12:30
ICSE Technical Track
Towards Understanding Fairness and its Composition in Ensemble Machine ...
13:45 - 14:00
ICSE Technical Track
Fairify: Fairness Verification of Neural Networks
14:00 - 14:15
ICSE Technical Track
Leveraging Feature Bias for Scalable Misprediction Explanation of Machi ...
14:15 - 14:30
ICSE Technical Track
Information-Theoretic Testing and Debugging of Fairness Defects in Deep ...
14:30 - 14:45
ICSE DEMO - Demonstrations
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning
14:45 - 14:52
ICSE DEMO - Demonstrations
What Would You do? An Ethical AI Quiz
14:52 - 15:00
ICSE Journal-First Papers
Search-Based Fairness Testing for Regression-Based Machine Learning Systems
15:00 - 15:07
ICSE Journal-First Papers
FairMask: Better Fairness via Model-based Rebalancing of Protected Attr ...
15:07 - 15:15
Fri 19 May
Displayed time zone:
Hobart
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
Meeting Room 104
ICSE Technical Track
SeeHow: Workflow Extraction from Programming Screencasts through Action ...
11:00 - 11:15
ICSE Technical Track
AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces
11:15 - 11:30
ICSE Technical Track
Carving UI Tests to Generate API Tests and API Specification
11:30 - 11:45
ICSE SEIP - Software Engineering in Practice
CFG2VEC: Hierarchical Graph Neural Network for Cross-Architectural Soft ...
11:45 - 12:00
ICSE Technical Track
Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Gra ...
12:00 - 12:15
ICSE Journal-First Papers
VID2XML: Automatic Extraction of a Complete XML Data from Mobile Progra ...
12:15 - 12:22
ICSE Technical Track
Safe low-level code without overhead is practical
13:45 - 14:00
ICSE Technical Track
Sibyl: Improving Software Engineering Tools with SMT Selection
14:00 - 14:15
ICSE SEIP - Software Engineering in Practice
Make Your Tools Sparkle with Trust: The PICSE Framework for Trust in So ...
14:15 - 14:30
ICSE Technical Track
CoCoSoDa: Effective Contrastive Learning for Code Search
14:30 - 14:45
ICSE DEMO - Demonstrations
Task Context: A Tool for Predicting Code Context Models for Software De ...
14:45 - 14:52
ICSE NIER - New Ideas and Emerging Results
Continuously Accelerating Research
14:52 - 15:00
ICSE NIER - New Ideas and Emerging Results
An Alternative to Cells for Selective Execution of Data Science Pipelines
15:00 - 15:07
ICSE DEMO - Demonstrations
pytest-inline: An Inline Testing Tool for Python
15:07 - 15:15
ICSE Journal-First Papers
Stubbifier: debloating dynamic server-side JavaScript applications
15:45 - 16:00
ICSE Technical Track
DStream: A Streaming-Based Highly Parallel IFDS Framework
16:00 - 16:15
ICSE Technical Track
(Partial) Program Dependence Learning
16:15 - 16:30
ICSE Technical Track
MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-bas ...
16:30 - 16:45
ICSE SEIP - Software Engineering in Practice
Incremental Call Graph Construction in Industrial Practice
16:45 - 17:00
ICSE Showcase
Generic Partition Refinement and Weighted Tree Automata
17:00 - 17:15
Sat 20 May
Displayed time zone:
Hobart
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
Meeting Room 104
SVM
Opening
09:00 - 09:15
SVM
Keynote: Applying psychological theories to improve software vulnerabil ...
09:15 - 10:15
SVM
VrT: Vulnerabilities Reports Tagger Machine Learning Driven Cybersecuri ...
10:15 - 10:30
SVM
Morning tea
10:30 - 11:00
SVM
A Static Analysis Platform for Investigating Security Trends in Reposit ...
11:00 - 11:15
SVM
An Empirical Study on Workflows and Security Policies in Popular GitHub ...
11:15 - 11:30
SVM
Group forming and discussion - SVM gaps between academia and practice
11:40 - 12:30
SVM
Invited talk - (Dr. Hyun Sangwon)
13:45 - 14:00
SVM
Invited talk - Incident Prevention Through Reliable Changes Development ...
14:00 - 14:15
SVM
Invited talk - Software vulnerabilities causing timing attacks: An empi ...
14:15 - 14:30
SVM
Identifying missing relationships of CAPEC attack patterns by transform ...
14:30 - 14:45
SVM
Panel discussion - Reflections and Visions for SVM
14:45 - 15:15
SVM
Closing
15:15 - 15:25
x
Fri 8 Nov 22:52