Internetware 2023 (series) /
Internetware 2023 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 5 AugDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sat 5 Aug
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 09:15 | |||
09:00 15mDay opening | Opening Main Track | ||
09:15 - 10:30 | |||
09:15 75mKeynote | Keynote 1: From Software Analytics to Cloud Intelligence – Reflection and Path Forward Main Track Dongmei Zhang Microsoft Research | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Tea Break Main Track | ||
11:00 - 12:15 | |||
11:00 75mKeynote | Keynote 2: Toward a Better Software Future Main Track Zhendong Su ETH Zurich | ||
12:15 - 13:30 | |||
12:15 75mLunch | Lunch Main Track | ||
13:30 - 14:40 | |||
13:30 15mResearch paper | Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models Main Track Chaoxuan Shi , Tingwei Zhu Nanjing University, Tian Zhang Nanjing University, Jun Pang University of Luxembourg, Minxue Pan Nanjing University | ||
13:45 15mResearch paper | Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models Main Track Bingzhe Zhou , Xinying Wang , Shengbin Xu Nanjing University, Yuan Yao Nanjing University, Minxue Pan Nanjing University, Feng Xu Nanjing University, Xiaoxing Ma Nanjing University | ||
14:00 15mResearch paper | Towards Better Multilingual Code Search through Cross-Lingual Contrastive Learning Main Track Xiangbing Huang , Yingwei Ma Nanjing University of Aeronautics and Astronautics, Haifang Zhou National University of Defense Technology, Zhijie Jiang National University of Defense Technology, Yuanliang Zhang , Teng Wang National University of Defense Technology, Shanshan Li National University of Defense Technology | ||
14:15 15mResearch paper | PyBartRec: Python API Recommendation with Semantic Information Main Track | ||
14:40 - 15:50 | |||
14:40 15mResearch paper | SupConFL: Fault Localization with Supervised Contrastive Learning Main Track Wei Chen Southwest University, Wu Chen Southwest University, Jiamou Liu The University of Auckland, Kaiqi Zhao The University of Auckland, Mingyue Zhang Southwest University | ||
14:55 15mResearch paper | Effective Recommendation of Cross-Project Correlated Issues based on Issue Metrics Main Track Hao Ren Department of Computer Science and Technology, Nanjing University, Mingliang Ma , Xiaowei Zhang , Yulu Cao , Changhai Nie Nanjing University, Yanhui Li Nanjing University | ||
15:10 15mResearch paper | The Impact of the Bug Number on Effort-Aware Defect Prediction: An Empirical Study Main Track Peixin Yang , Lin Zhu , Wenhua Hu , Jacky Keung City University of Hong Kong, Liping Lu , Jianwen Xiang | ||
15:25 15mResearch paper | Can Neural Networks Help Smart Contract Testing? An Empirical Study Main Track Jiadong Wu School of Software Engineering, Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ruixin Wang Purdue University, Jiachi Chen Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
15:50 - 16:10 | |||
15:50 20mCoffee break | Tea Break 2 Main Track | ||
16:10 - 17:20 | |||
16:10 15mResearch paper | Towards Better Dependency Scope Settings in Maven Projects Main Track | ||
16:25 15mResearch paper | An Empirical Study of the Apache Voting Process on Open Source Community Governance Main Track | ||
16:40 15mResearch paper | A Deep Dive into the Featured iOS Apps Main Track Liu Wang Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, Huiyi Wang Beijing University of Posts and Telecommunications, Li Li Beihang University, Yi Wang | ||
16:55 15mResearch paper | A Fine-Grained Evaluation of Mutation Operators for Deep Learning Systems: A Selective Mutation Approach Main Track Yichun Wang , Zhiyi Zhang Nanjing University of Aeronautics and Astronautics, Yongming Yao , Zhiqiu Huang Nanjing University of Aeronautics and Astronautics | ||
17:20 - 18:00 | |||
17:20 15mResearch paper | UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System Main Track | ||
17:35 15mResearch paper | Fine-Grained Flow Control Agent on Path MTU for IoT Software Main Track | ||
18:00 - 21:00 | |||
18:00 3hDinner | Banquet Main Track | ||
Sun 6 AugDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 6 Aug
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:15 - 10:30 | |||
09:15 75mKeynote | Keynote 3: Massive-Scale Smart City Deployments Main Track | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Tea Break 3 Main Track | ||
11:00 - 12:10 | |||
11:00 15mResearch paper | Prompt Learning for Developing Software Exploits Main Track | ||
11:15 15mResearch paper | FAEG: Feature-Driven Automatic Exploit Generation Main Track | ||
11:30 15mResearch paper | Comparing the Performance of Different Code Representations for Learning-based Vulnerability Detection Main Track Yuting Zhang , Jiahao Zhu , Yixin Yang , Ming Wen Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology | ||
11:45 15mResearch paper | VulD-Transformer: Source Code Vulnerability Detection via Transformer Main Track Xuejun Zhang Lanzhou Jiaotong University, Fenghe Zhang Lanzhou Jiaotong University, Bo Zhao , Bo Zhou Lanzhou Jiaotong University, Boyang Xiao | ||
12:15 - 13:30 | |||
12:15 75mLunch | Lunch 2 Main Track | ||
13:30 - 14:40 | |||
13:30 15mResearch paper | Prioritizing Testing Instances to Enhance the Robustness of Object Detection Systems Main Track Shihao Weng Nanjing University, Yang Feng Nanjing University, Yining Yin Nanjing University, China, Jia Liu Nanjing University | ||
13:45 15mResearch paper | Practical Accuracy Evaluation for Deep Learning Systems via Latent Representation Discrepancy Main Track Yining Yin Nanjing University, China, Yang Feng Nanjing University, Zixi Liu Nanjing University, Zhihong Zhao | ||
14:00 15mResearch paper | An Empirical Study on AST-level mutation-based fuzzing techniques for JavaScript Engines Main Track Song Tang College of Intelligence and Computing, Tianjin University, Shuang Liu Tianjin University, Junjie Wang College of Intelligence and Computing, Tianjin University, Xiangwei Zhang College of Intelligence and Computing, Tianjin University | ||
14:15 15mResearch paper | DRIFT: Fine-Grained Prediction of the Co-Evolution of Production and Test Code via Machine Learning Main Track Lei Liu , Sinan Wang , Yepang Liu Southern University of Science and Technology, Jinliang Deng , Sicen Liu | ||
14:40 - 15:50 | |||
14:40 15mResearch paper | Seq2Seq or Seq2Tree: Generating Code Using Both Paradigms via Mutual Learning Main Track | ||
14:55 15mResearch paper | Measuring Efficient Code Generation with GEC Main Track | ||
15:10 15mResearch paper | APICom: Automatic API Completion via Prompt Learning and Adversarial Training-based Data Augmentation Main Track yafeng gu , YihengShen , Xiang Chen Nantong University, ShaoYu Yang School of Information Science and Technology, Nantong University, Yiling Huang , Zhixiang Cao Pre-print | ||
15:25 15mResearch paper | MCodeSearcher Multi-View Contrastive Learning for Code Search Main Track Jia Li Peking University, Fang Liu Beihang University, Yunfei Zhao Peking University, Ge Li Peking University, Zhi Jin Peking University | ||
15:50 - 16:10 | |||
15:50 20mCoffee break | Tea Break 4 Main Track | ||
16:10 - 17:20 | |||
16:10 15mResearch paper | MiTFM: A multi-view information fusion method based on transformer for Next Activity Prediction of Business Processes Main Track Jiaxing Wang Zhejiang University of Technology, Chengliang Lu Zhejiang University of Technology, Bin Cao Zhejiang University of Technology, Jing Fang Zhejiang University of Technology | ||
16:25 15mResearch paper | EFTuner: A Bi-Objective Configuration Parameter Auto-Tuning Method Towards Energy-Efficient Big Data Processing Main Track Hui Dou Anhui University, Xing Wei Anhui University, Kang Wang Anhui University, Yiwen Zhang Anhui University, Pengfei Chen Sun Yat-Sen University, Yuee Huang Wannan Medical College | ||
16:40 15mResearch paper | Conflict-free Replicated Priority Queue: Design, Verification and Evaluation Main Track | ||
16:55 15mResearch paper | Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving Main Track | ||
17:20 - 17:30 | |||
17:20 10mDay closing | Closing Main Track | ||