VORTEX 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
Program

This program is tentative and subject to change.

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

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00
Opening and AwardsISSTA Keynotes at EI 7
Chair(s): Maria Christakis TU Wien, Michael Pradel University of Stuttgart
09:00 - 10:00
KeynoteISSTA Keynotes at EI 7
Chair(s): Maria Christakis TU Wien
09:00
60m
Keynote
Software Quality Assurance in the Era of Large Language Models
ISSTA Keynotes
K: Lingming Zhang University of Illinois Urbana-Champaign
10:30 - 11:50
LLMs for Code GenerationISSTA Technical Papers at EI 7
10:30
20m
Talk
AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
ISSTA Technical Papers
Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Australia, Zhou Yang Singapore Management University, Li Li Beihang University, David Lo Singapore Management University
Pre-print
10:50
20m
Talk
When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
ISSTA Technical Papers
Lianghong Guo Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ensheng Shi Xi’an Jiaotong University, Wanjun Zhong Sun Yat-sen University, Hongyu Zhang Chongqing University, Jiachi Chen Sun Yat-sen University, Ruikai Zhang Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Zibin Zheng Sun Yat-sen University
11:10
20m
Talk
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
ISSTA Technical Papers
Qi Guo Tianjin University, China, Xiaohong Li Tianjin University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University, Ze Tang Nanjing University, Ruitao Feng Singapore Management University, Junjie Wang Tianjin University, Jidong Ge Nanjing University, Lei Bu Nanjing University
DOI
11:30
20m
Talk
Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
ISSTA Technical Papers
Yuxin Qiu University of California, Riverside, Jie Hu University of California Riverside, Qian Zhang University of California, Riverside, Heng Yin University of California, Riverside
13:30 - 14:50
Fairness and Safety of Neural NetworksISSTA Technical Papers at EI 7
13:30
20m
Talk
NeuFair: Neural Network Fairness Repair with Dropout
ISSTA Technical Papers
Vishnu Asutosh Dasu Pennsylvania State University, Ashish Kumar , Saeid Tizpaz-Niari University of Texas at El Paso, Gang Tan Pennsylvania State University
13:50
20m
Talk
A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models
ISSTA Technical Papers
Junjie Yang College of Intelligence and Computing, Tianjin University, Jiajun Jiang Tianjin University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Junjie Chen Tianjin University
DOI
14:10
20m
Talk
Efficient DNN-Powered Software with Fair Sparse Models
ISSTA Technical Papers
Xuanqi Gao Xi’an Jiaotong University, Weipeng Jiang Xi'an Jiaotong University, Juan Zhai University of Massachusetts, Amherst, Shiqing Ma University of Massachusetts, Amherst, Xiaoyu Zhang Xi'an Jiaotong University, Chao Shen Xi'an Jiaotong University
Pre-print
14:30
20m
Talk
Synthesizing Boxes Preconditions for Deep Neural Networks
ISSTA Technical Papers
Zengyu Liu College of Computer Science and Technology, National University of Defense Technology, Changsha 410073, China, Liqian Chen National University of Defense Technology, China, Wanwei Liu National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China
15:30 - 17:10
Program Repair 1ISSTA Technical Papers at EI 7
15:30
20m
Talk
Automated Program Repair via Conversation: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
ISSTA Technical Papers
Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois Urbana-Champaign
15:50
20m
Talk
ThinkRepair: Self-Directed Automated Program Repair
ISSTA Technical Papers
Xin Yin The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Chao Ni School of Software Technology, Zhejiang University, Shaohua Wang Central University of Finance and Economics, Zhenhao Li York University, Limin Zeng School of Software Technology, Zhejiang University, Xiaohu Yang Zhejiang University
16:10
20m
Talk
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
ISSTA Technical Papers
Linna Xie Nanjing University, Chongmin Li Nanjing University, Yu Pei The Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University
16:30
20m
Talk
CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors
ISSTA Technical Papers
Boyang Yang Yanshan University & Jisuanke Co. Ltd., Haoye Tian University of Melbourne, Weiguo PIAN University of Luxembourg, Haoran Yu Jisuanke Co. Ltd., Haitao Wang Jisuanke Co. Ltd., Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Shunfu Jin Yanshan University
16:50
20m
Talk
One Size Does Not Fit All: Multi-Granularity Patch Generation for Better Automated Program Repair
ISSTA Technical Papers
Bo Lin National University of Defense Technology, Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, Liqian Chen National University of Defense Technology, China, Xiaoguang Mao National University of Defense Technology
Pre-print

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
KeynoteISSTA Keynotes at EI 7
Chair(s): Michael Pradel University of Stuttgart
09:00
60m
Keynote
The Overlooked Steps in Program Analysis: Designing by People for People
ISSTA Keynotes
K: Julia Rubin The University of British Columbia
10:30 - 11:50
Program Repair 2ISSTA Technical Papers at EI 7
10:30
20m
Talk
Automating Zero-Shot Patch Porting for Hard Forks
ISSTA Technical Papers
Shengyi Pan Zhejiang University, You Wang Zhejiang University, Zhongxin Liu Zhejiang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Shanping Li Zhejiang University
DOI Pre-print
10:50
20m
Talk
Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
ISSTA Technical Papers
Yicheng Ouyang University of Illinois at Urbana-Champaign, Jun Yang UIUC, Lingming Zhang University of Illinois Urbana-Champaign
DOI
11:10
20m
Talk
Neurosymbolic Repair of Test Flakiness
ISSTA Technical Papers
Yang Chen University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
11:30
20m
Talk
AutoCodeRover: Autonomous Program Improvement
ISSTA Technical Papers
Yuntong Zhang National University of Singapore, Haifeng Ruan National University of Singapore, Zhiyu Fan National University of Singapore, Abhik Roychoudhury National University of Singapore
13:30 - 14:50
Execution and ProfilingISSTA Technical Papers at EI 7
13:30
20m
Talk
MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
ISSTA Technical Papers
Tianyi Yang The Chinese University of Hong Kong, Cheryl Lee The Chinese University of Hong Kong, Jiacheng Shen The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Cong Feng Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Yongqiang Yang Huawei Technologies, Michael Lyu Chinese University of Hong Kong
DOI
13:50
20m
Talk
Feedback-Directed Partial Execution
ISSTA Technical Papers
Ishrak Hayet North Carolina State University, Adam Scott North Carolina State University, Marcelo d'Amorim North Carolina State University
14:10
20m
Talk
Define-Use Guided Path Exploration for Better Forced Execution
ISSTA Technical Papers
Dongnan He Renmin University of China, Dongchen Xie Renmin University of China, Yujie Wang Renmin University of China, Wei You Renmin University of China, Bin Liang Renmin University of China, China, Jianjun Huang Renmin University of China, China, Wenchang Shi Renmin University of China, China, Zhuo Zhang Purdue University, Xiangyu Zhang Purdue University
DOI
14:30
20m
Talk
SelfPiCo: Self-Guided Partial Code Execution with LLMs
ISSTA Technical Papers
Zhipeng Xue , Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Shaohua Wang Central University of Finance and Economics, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Shanping Li Zhejiang University
15:30 - 17:10
Code TransformationISSTA Technical Papers at EI 7
15:30
20m
Talk
One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
ISSTA Technical Papers
Di Cui , Qiangqiang Wang Xidian University, Yutong Zhao University of Central Missouri, USA, Jiaqi Wang Xidian University, Minjie Wei Xidian University, Jingzhao Hu Xidian University, Luqiao Wang Xidian University, Qingshan Li Xidian University
15:50
20m
Talk
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
ISSTA Technical Papers
Chenyan Liu Shanghai Jiao Tong University; National University of Singapore, Cai Yufan Shanghai Jiao Tong University; National University of Singapore, Yun Lin Shanghai Jiao Tong University, Yuhuan Huang Shanghai Jiao Tong University, Yunrui Pei Shanghai Jiao Tong University, Bo Jiang Bytedance Network Technology, Ping Yang Bytedance Network Technology, Jin Song Dong National University of Singapore, Hong Mei Peking University
DOI
16:10
20m
Talk
Arfa: an Agile Regime-based Floating-point Optimization Approach for Rounding Errors
ISSTA Technical Papers
Jinchen Xu Information Engineering University, Mengqi Cui Information Engineering University, Fei Li Information Engineering University, Zuoyan Zhang Hunan University, Changsha, Hunan, Hongru Yang Information Engineering University, Bei Zhou Information Engineering University, Jie Zhao Hunan University
16:30
20m
Talk
Automated Deep Learning Optimization via DSL-Based Source Code Transformation
ISSTA Technical Papers
Ruixin Wang Purdue University, Minghai Lu Purdue University, Cody Hao Yu BosonAI, Yi-Hsiang Lai Amazon Web Services, Tianyi Zhang Purdue University
DOI
16:50
20m
Talk
Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
ISSTA Technical Papers
Cuiying Gao Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Heng Li Huazhong University of Science and Technology, Wei Yuan Huazhong University of Science and Technology, Haoyu Jiang Huazhong University of Science and Technology, Qidan He Jingdong Group, Yang Liu Nanyang Technological University

Fri 20 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
KeynoteISSTA Keynotes at EI 7
Chair(s): Maria Christakis TU Wien
09:00
60m
Keynote
Benchmarks and Replicability in Software Engineering Research: Challenges and Opportunities
ISSTA Keynotes
K: René Just University of Washington
10:30 - 11:50
10:30
20m
Talk
Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Sets with Iterative Prioritization
ISSTA Technical Papers
Zhijie Zhang Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, Liwei Chen Institute of Information Engineering, Chinese Academy of Sciences, Haolai Wei Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, Gang Shi Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, Dan Meng Institute of Information Engineering, Chinese Academy of Sciences
10:50
20m
Talk
FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
ISSTA Technical Papers
Xizhe Yin Nanjing University, Yang Feng Nanjing University, Qingkai Shi Nanjing University, Zixi Liu Nanjing University, Hongwang Liu Nanjing University, Baowen Xu Nanjing University
11:10
20m
Talk
DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
ISSTA Technical Papers
Haoran Fang Shanghai Jiao Tong University, Kaikai Zhang Shanghai Jiao Tong University, Donghui Yu Shanghai Jiao Tong University, Yuanyuan Zhang Shanghai Jiao Tong University
11:30
20m
Talk
Logos: Log Guided Fuzzing for Protocol Implementations
ISSTA Technical Papers
Feifan Wu Tsinghua University, Zhengxiong Luo Tsinghua University, Yanyang Zhao Tsinghua University, Qingpeng Du Beijing University of Posts and Telecommunications, Junze Yu Tsinghua University, Ruikang Peng Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University
13:30 - 14:50
LLMs for CodeISSTA Technical Papers at EI 7
13:30
20m
Talk
Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
ISSTA Technical Papers
Yujia Chen Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Zezhou Yang Harbin Institute of Technology, Hongyu Zhang Chongqing University, Qing Liao Harbin Institute of Technology
DOI
13:50
20m
Talk
CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-Decoding
ISSTA Technical Papers
Dong Li Chongqing University, China, Meng Yan Chongqing University, Yaosheng Zhang Chongqing University, Zhongxin Liu Zhejiang University, Chao Liu Chongqing University, Xiaohong Zhang Chongqing University, Ting Chen University of Electronic Science and Technology of China, David Lo Singapore Management University
14:10
20m
Talk
Oracle-guided Program Selection from Large Language Models
ISSTA Technical Papers
Zhiyu Fan National University of Singapore, Haifeng Ruan National University of Singapore, Sergey Mechtaev University College London, Abhik Roychoudhury National University of Singapore
14:30
20m
Talk
How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
ISSTA Technical Papers
Cen Zhang Nanyang Technological University, Yaowen Zheng Nanyang Technological University, Mingqiang Bai Institute of Information Engineering, CAS; School of Cyber Security, UCAS, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Wei Ma Nanyang Technological University, Singapore, Xiaofei Xie Singapore Management University, Yuekang Li The University of New South Wales, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,, Yang Liu Nanyang Technological University
15:30 - 16:30
Models of CodeISSTA Technical Papers at EI 7
15:30
20m
Talk
FDI: Attack Neural Code Generation Systems through User Feedback Channel
ISSTA Technical Papers
Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Australia, Xiapu Luo The Hong Kong Polytechnic University, Fu Song State Key Laboratory of Computer Science and Institute of Software, Chinese Academy of Sciences., David Lo Singapore Management University, Li Li Beihang University
15:50
20m
Talk
CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
ISSTA Technical Papers
Zhengran Zeng Peking University, Yidong Wang Peking University, Rui Xie Peking University, Wei Ye Peking University, Shikun Zhang Peking University
DOI
16:10
20m
Talk
CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
ISSTA Technical Papers
Hao Wang Tsinghua University, Zeyu Gao Tsinghua University, Chao Zhang Tsinghua University, Zihan Sha Information Engineering University, Mingyang Sun University of Electronic Science and Technology of China, Yuchen Zhou Beijing University of Technology, Wenyu Zhu Tsinghua University, Wenju Sun , Han Qiu Tsinghua University, Xi Xiao Tsinghua Shenzhen International Graduate School, Tsinghua University
DOI
16:30 - 17:00
ISSTA 2025 Preview and ClosingISSTA Keynotes at EI 7
Chair(s): Maria Christakis TU Wien, Michael Pradel University of Stuttgart

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
EI 7

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change