Meeting Room 104 - FormaliSE 2023

VenueMelbourne Convention Exhibition Centre | MCEC

Room nameMeeting Room 104

Floor1

Room number104

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+11:00) Hobart.

Use conference time zone: (GMT+11:00) HobartSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 14 May
Displayed time zone: Hobart change

09:00 - 10:30	Opening and Keynote 1ICSSP 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 UpICSSP 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 3ICSSP 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 1ICSSP 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 DiscussionICSSP 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 UpICSSP 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	OpeningAPR at Meeting Room 104

11:00 15m Day opening		Opening APR

11:00 - 12:30	Morning sessionAPR 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 session1APR 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 verificationICSE 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 engineeringICSE 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 systemsICSE 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 applicationsICSE 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 fairnessICSE 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 engineeringICSE 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 toolsICSE 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 analysisICSE 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 KeynoteSVM 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 1SVM 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 2SVM 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

Room information: Meeting Room 104

Program Display Configuration

Sun 14 MayDisplayed time zone: Hobart change

Mon 15 MayDisplayed time zone: Hobart change

Tue 16 MayDisplayed time zone: Hobart change

Wed 17 MayDisplayed time zone: Hobart change

Thu 18 MayDisplayed time zone: Hobart change

Fri 19 MayDisplayed time zone: Hobart change

Sat 20 MayDisplayed time zone: Hobart change

Sun 14 MayDisplayed time zone: Hobart change

ICSSP

ICSSP

ICSSP

ICSSP

Mon 15 MayDisplayed time zone: Hobart change

ICSSP

ICSSP

ICSSP

ICSSP

Tue 16 MayDisplayed time zone: Hobart change

APR

APR

APR

APR

Wed 17 MayDisplayed time zone: Hobart change

ICSE SEIP - Software Engineering in Practice + ICSE DEMO - Demonstrations + ICSE Technical Track + ICSE NIER - New Ideas and Emerging Results + ICSE Showcase

ICSE SEIP - Software Engineering in Practice + ICSE Technical Track + ICSE NIER - New Ideas and Emerging Results + ICSE Journal-First Papers

ICSE SEIP - Software Engineering in Practice + ICSE Technical Track + ICSE NIER - New Ideas and Emerging Results

Thu 18 MayDisplayed time zone: Hobart change

ICSE Technical Track + ICSE Journal-First Papers + ICSE DEMO - Demonstrations

ICSE DEMO - Demonstrations + ICSE Technical Track + ICSE Journal-First Papers

Fri 19 MayDisplayed time zone: Hobart change

ICSE Technical Track + ICSE Journal-First Papers + ICSE SEIP - Software Engineering in Practice

ICSE DEMO - Demonstrations + ICSE Technical Track + ICSE SEIP - Software Engineering in Practice + ICSE NIER - New Ideas and Emerging Results

ICSE Showcase + ICSE Journal-First Papers + ICSE Technical Track + ICSE SEIP - Software Engineering in Practice

Sat 20 MayDisplayed time zone: Hobart change

SVM

SVM

SVM

SVM

Sun 14 MayDisplayed time zone: Hobart change

Mon 15 MayDisplayed time zone: Hobart change

Tue 16 MayDisplayed time zone: Hobart change

Wed 17 MayDisplayed time zone: Hobart change

Thu 18 MayDisplayed time zone: Hobart change

Fri 19 MayDisplayed time zone: Hobart change

Sat 20 MayDisplayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Fri 19 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Fri 19 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Fri 19 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change