VORTEX 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
VenueVienna University of Technology (TU Wien) - Campus Gusshaus
Room nameEI 10 Fritz Paschke
Floor0
Capacity149
Room InformationNo extra information available

Information for Participants
Program

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

Mon 16 Sep

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

10:30 - 12:00
10:30
10m
Day opening
Opening remarks
PLAID
Alceste Scalas Technical University of Denmark
10:40
50m
Keynote
Runtime Instrumentation for Reactive Components
PLAID
Duncan Paul Attard University of Glasgow
11:30
30m
Talk
CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
PLAID
Ruijie Gong The University of Hong Kong, Hong Kong, Haoze Song The University of Hong Kong, Hong Kong, Heming Cui University of Hong Kong
13:30 - 15:00
13:30
30m
Talk
Local Projections of DCR Choreographies with Data and Spawn
PLAID
Eduardo Geraldo , Bruno Braga NOVA University Lisbon, Nuno Fernandes NOVA University Lisbon, Diogo Ye NOVA University Lisbon, João Costa Seco NOVA-LINCS; Nova University of Lisbon
14:00
30m
Talk
Compositional Verification of Swarm Protocols
PLAID
Florian Furbach Technical University of Denmark, Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
14:30
30m
Talk
Library Based Choreographies in Lean
PLAID
Simon Daniel TU Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
15:30 - 17:00
15:30
30m
Talk
Modal Crash Types for Intermittent Computing
PLAID
Myra Dotzel Carnegie Mellon University, Farzaneh Derakhshan Illinois Institute of Technology, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University
16:00
30m
Talk
Less is More Revisited: Global Specification and Local Verification Approaches
PLAID
Nobuko Yoshida University of Oxford, UK, Ping Hou University of Oxford, Iona Kuhn University of Oxford
16:30
30m
Talk
Fair Join Pattern Matching for Actors
PLAID
Philipp Haller KTH Royal Institute of Technology, Ayman Hussein Technical University of Denmark, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
DOI

Tue 17 Sep

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

10:30 - 12:00
Gamify 2024 session 1Gamify at EI 10 Fritz Paschke
Chair(s): Riccardo Coppola Politecnico di Torino
10:30
15m
Panel
Introduction to the Gamify 2024 workshop
Gamify
Riccardo Coppola Politecnico di Torino, Luca Ardito Politecnico di Torino, Maurizio Leotta DIBRIS, University of Genova, Italy, Gordon Fraser University of Passau
10:45
45m
Keynote
Bug-Hunting Games to Assist Software Development and Testing Education
Gamify
A: Natalia Silvis-Cividjian Vrije Universiteit (VU) Amsterdam
11:30
30m
Paper
ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback
Gamify
A: Lorenzo Laudadio , A: Riccardo Coppola Politecnico di Torino, A: Marco Torchiano Politecnico di Torino, A: Stevan Tomic
13:30 - 15:00
Gamify 2024 session 2Gamify at EI 10 Fritz Paschke
Chair(s): Maurizio Leotta DIBRIS, University of Genova, Italy
13:30
30m
Paper
Test Smells Learning by a Gamification Approach
Gamify
A: Anna Rita Fasolino Federico II University of Naples, A: Porfirio Tramontana Department of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy
14:00
30m
Paper
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights
Gamify
A: Maura Cerioli , A: Maurizio Leotta DIBRIS, University of Genova, Italy, A: Marina Ribaudo
14:30
30m
Paper
Engaging Developers in Exploratory Unit Testing through Gamification
Gamify
A: Philipp Straubinger University of Passau, A: Gordon Fraser University of Passau
15:30 - 17:00
Gamify 2024 session 3Gamify at EI 10 Fritz Paschke
15:30
30m
Paper
Testing Robot Challenge: a Serious Game for Testing Learning
Gamify
A: Anna Rita Fasolino Federico II University of Naples, A: Caterina Maria Accetto , A: Porfirio Tramontana University of Naples Federico II
16:00
30m
Paper
A Gaming Quest to Improve Web Locators Robustness
Gamify
A: Diego Clerissi DIBRIS, University of Genova, Italy, A: Maurizio Leotta DIBRIS, University of Genova, Italy, A: Filippo Ricca DIBRIS, University of Genova, Italy
16:30
30m
Talk
Panel: upcoming challenges for Gamification in Software Engineering
Gamify

Wed 18 Sep

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

10:30 - 11:50
Code Mutation and ReductionISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
10:30
20m
Talk
Large Language Models for Equivalent Mutant Detection: How Far Are We?ACM SIGSOFT Distinguished Paper Award
ISSTA Technical Papers
Zhao Tian Tianjin University, Honglin Shu Kyushu University, Dong Wang Tianjin University, Xuejie Cao Tianjin University, Yasutaka Kamei Kyushu University, Junjie Chen Tianjin University
DOI Pre-print
10:50
20m
Talk
An Empirical Examination of Fuzzer Mutator Performance
ISSTA Technical Papers
James Kukucka George Mason University, Luís Pina University of Illinois at Chicago, Paul Ammann George Mason University, Jonathan Bell Northeastern University
DOI
11:10
20m
Talk
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
ISSTA Technical Papers
Benjamin Kushigian University of Washington, Samuel Kaufman University of Washington, Ryan Featherman University of Washington, Hannah Potter University of Washington, Ardi Madadi University of Washington, René Just University of Washington
DOI
11:30
20m
Talk
LPR: Large Language Models-Aided Program Reduction
ISSTA Technical Papers
Mengxiao Zhang University of Waterloo, Yongqiang Tian Hong Kong University of Science and Technology, Zhenyang Xu University of Waterloo, Yiwen Dong University of Waterloo, Shin Hwei Tan Concordia University, Chengnian Sun University of Waterloo
DOI
13:30 - 14:50
Domain-Specific TestingISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Marcelo d'Amorim North Carolina State University
13:30
20m
Talk
UPBEAT: Test Input Checks of Q# Quantum Libraries
ISSTA Technical Papers
Tianmin Hu Northwest University, Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Concordia University, Huanting Wang University of Leeds, Meng Li Hefei University of Technology, Zheng Wang University of Leeds
DOI
13:50
20m
Talk
Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
ISSTA Technical Papers
Gwihwan Go Tsinghua University, Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Xiazijian Zou Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University
DOI
14:10
20m
Talk
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar InferenceACM SIGSOFT Distinguished Paper Award
ISSTA Technical Papers
Hyungseok Kim Affiliated Institute of ETRI, Soomin Kim KAIST, Jungwoo Lee KAIST, Sang Kil Cha KAIST
DOI
14:30
20m
Talk
Ma11y: A Mutation Framework for Web Accessibility Testing
ISSTA Technical Papers
Mahan Tafreshipour University of California at Irvine, Anmol Vilas Deshpande University of California at Irvine, Forough Mehralian University of California at Irvine, Iftekhar Ahmed University of California at Irvine, Sam Malek University of California at Irvine
DOI
15:30 - 16:50
Empirical StudiesISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Cristian Cadar Imperial College London
15:30
20m
Talk
Bugs in Pods: Understanding Bugs in Container Runtime Systems
ISSTA Technical Papers
Jiongchi Yu Singapore Management University, Xiaofei Xie Singapore Management University, Cen Zhang Nanyang Technological University, Sen Chen Tianjin University, Yuekang Li UNSW, Wenbo Shen Zhejiang University
DOI
15:50
20m
Talk
An Empirical Study on Kubernetes Operator Bugs
ISSTA Technical Papers
Qingxin Xu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yu Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI
16:10
20m
Talk
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
ISSTA Technical Papers
Paulo Canelas Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, Alcides Fonseca LASIGE; University of Lisbon, Christopher Steven Timperley Carnegie Mellon University
DOI Pre-print Media Attached
16:30
20m
Talk
An In-Depth Study of Runtime Verification Overheads during Software TestingACM SIGSOFT Distinguished Paper Award
ISSTA Technical Papers
Kevin Guan Cornell University, Owolabi Legunsen Cornell University
DOI

Thu 19 Sep

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

10:30 - 11:50
Logging and Field BugsISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Willem Visser Amazon Web Services
10:30
20m
Research paper
A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
ISSTA Technical Papers
Zhihan Jiang Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Junjie Huang Chinese University of Hong Kong, Yichen LI Chinese University of Hong Kong, Yintong Huo Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Jieming Zhu Huawei Noah’s Ark Lab, Michael Lyu Chinese University of Hong Kong
DOI Pre-print
10:50
20m
Talk
FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
ISSTA Technical Papers
Xiaoyuan Xie Wuhan University, Zhipeng Cai Wuhan University, Songqiang Chen The Hong Kong University of Science and Technology, Jifeng Xuan Wuhan University
DOI
11:10
20m
Talk
Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
ISSTA Technical Papers
Shiwen Shan Sun Yat-sen University, Yintong Huo Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Yichen LI Chinese University of Hong Kong, Dan Li Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
DOI
11:30
20m
Talk
Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
ISSTA Technical Papers
Zhanyao Lei Shanghai Jiao Tong University, Yixiong Chen Shanghai Jiao Tong University, Mingyuan Xia AppetizerIO, Zhengwei Qi Shanghai Jiao Tong University
DOI
13:30 - 14:50
WebAssembly and BrowsersISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
13:30
20m
Talk
Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
ISSTA Technical Papers
Jiashui Wang Zhejiang University, Peng Qian Zhejiang University, Xilin Huang Ant Group, Xinlei Ying Ant Group, Yan Chen Northwestern University, Shouling Ji Zhejiang University, Jianhai Chen Zhejiang University, Jundong Xie Ant Group, Long Liu Ant Group
DOI
13:50
20m
Talk
WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
ISSTA Technical Papers
Shangtong Cao Beijing University of Posts and Telecommunications, Ningyu He Peking University, Xinyu She Huazhong University of Science and Technology, Yixuan Zhang Peking University, Mu Zhang University of Utah, Haoyu Wang Huazhong University of Science and Technology
DOI
14:10
20m
Talk
Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
ISSTA Technical Papers
Wenxuan Zhao Fudan University, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University
DOI
15:30 - 17:10
Vulnerabilities and MalwareISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Wei You Renmin University of China
15:30
20m
Talk
Silent Taint-Style Vulnerability Fixes Identification
ISSTA Technical Papers
Zhongzhen Wen Nanjing University, Jiayuan Zhou Huawei, Minxue Pan Nanjing University, Shaohua Wang Central University of Finance and Economics, Xing Hu Zhejiang University, Tongtong Xu Huawei, Tian Zhang Nanjing University, Xuandong Li Nanjing University
DOI
15:50
20m
Talk
FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
ISSTA Technical Papers
Zhenyu Ye Hunan University, Lei Zhou National University of Defense Technology, Fengwei Zhang Southern University of Science and Technology, Wenqiang Jin Hunan University, Zhenyu Ning Hunan University; Xinchuang Haihe Laboratory, Yupeng Hu Hunan University, Zheng Qin Hunan University
DOI
16:10
20m
Talk
Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
ISSTA Technical Papers
Zeliang Yu Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Xiaochen Guo Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
DOI
16:30
20m
Talk
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
ISSTA Technical Papers
Kaixuan Li East China Normal University; Nanyang Technological University, Jian Zhang Nanyang Technological University, Sen Chen Tianjin University, Han Liu East China Normal University, Yang Liu Nanyang Technological University, Yixiang Chen East China Normal University
DOI Pre-print
16:50
20m
Talk
An Empirical Study of Static Analysis Tools for Secure Code Review
ISSTA Technical Papers
Wachiraphan (Ping) Charoenwet University of Melbourne, Patanamon Thongtanunam University of Melbourne, Thuan Pham University of Melbourne, Christoph Treude Singapore Management University
DOI

Fri 20 Sep

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

10:30 - 11:50
Compilers and DecompilersISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Sang Kil Cha KAIST
10:30
20m
Talk
Inconsistencies in TeX-Produced Documents
ISSTA Technical Papers
Jovyn Tan National University of Singapore, Manuel Rigger National University of Singapore
DOI Pre-print
10:50
20m
Talk
Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
ISSTA Technical Papers
Chenyao Suo Tianjin University, Junjie Chen Tianjin University, Shuang Liu Renmin University of China, Jiajun Jiang Tianjin University, Yingquan Zhao Tianjin University, Jianrong Wang Tianjin University
DOI
11:10
20m
Talk
Towards Understanding the Bugs in Solidity Compiler
ISSTA Technical Papers
Haoyang Ma Hong Kong University of Science and Technology, Wuqi Zhang Hong Kong University of Science and Technology, Qingchao Shen Tianjin University, Yongqiang Tian Hong Kong University of Science and Technology, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology
DOI
11:30
20m
Talk
Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
ISSTA Technical Papers
Gao Cuiying Huazhong University of Science and Technology; JD.com, 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 JD.com, Yang Liu Nanyang Technological University
DOI
13:30 - 14:50
Smart ContractsISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Michael Pradel University of Stuttgart
13:30
20m
Talk
Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
ISSTA Technical Papers
Shuwei Song University of Electronic Science and Technology of China, Jiachi Chen Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Xiapu Luo Hong Kong Polytechnic University, Teng Li University of Electronic Science and Technology of China, Wenwu Yang University of Electronic Science and Technology of China, Leqing Wang University of Electronic Science and Technology of China, Weijie Zhang Jiangsu University of Science and Technology, Feng Luo Hong Kong Polytechnic University, Zheyuan He University of Electronic Science and Technology of China, Yi Lu BitsLab, Pan Li MoveBit
DOI
13:50
20m
Talk
FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees
ISSTA Technical Papers
Yunqi Liu Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
DOI
14:10
20m
Talk
Identifying Smart Contract Security Issues in Code Snippets from Stack OverflowACM SIGSOFT Distinguished Paper Award
ISSTA Technical Papers
Jiachi Chen Sun Yat-sen University, Chong Chen Sun Yat-sen University, Jiang Hu Sun Yat-sen University, John Grundy Monash University, Yanlin Wang Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Zibin Zheng Sun Yat-sen University
DOI Pre-print
14:30
20m
Talk
Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
ISSTA Technical Papers
Mingxi Ye Sun Yat-sen University, Xingwei Lin Zhejiang University, Yuhong Nan Sun Yat-sen University, Jiajing Wu Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
DOI
15:30 - 16:30
Analysis of Code OriginISSTA Technical Papers at EI 10 Fritz Paschke
Chair(s): Darko Marinov University of Illinois at Urbana-Champaign
15:30
20m
Talk
Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
ISSTA Technical Papers
Xiaowei Guo Huazhong University of Science and Technology, Cai Fu Huazhong University of Science and Technology, Juan Chen Huazhong University of Science and Technology, Hongle Liu Huazhong University of Science and Technology, Lansheng Han Huazhong University of Science and Technology, Wenjin Li NSFOCUS Technologies Group
DOI
15:50
20m
Talk
Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
ISSTA Technical Papers
Kaifeng Huang Tongji University, Yingfeng Xia Fudan University, Bihuan Chen Fudan University, Siyang He Fudan University, Huazheng Zeng Fudan University, Zhuotong Zhou Fudan University, Jin Guo Fudan University, Xin Peng Fudan University
DOI
16:10
20m
Talk
DeLink: Source File Information Recovery in Binaries
ISSTA Technical Papers
Zhe Lang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhengzi Xu Nanyang Technological University; Imperial Global Singapore, Xiaohui Chen China Mobile Research Institute, Shichao Lv Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhanwei Song Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiqiang Shi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Limin Sun Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI

Mon 16 Sep

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

Room10:003011:003012:003013:003014:003015:003016:0030
EI 10 Fritz Paschke

Tue 17 Sep

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

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