InnerSoft 2023
Sat 20 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
Program
InnerSoft Program
Your Program
Sat 20 May
Track/Call
Organization
InnerSoft 2023 Committees
Track Committees
InnerSoft Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2023
(
series
) /
InnerSoft 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
Thu 21 Nov 19:26