EI 7 - PLF 2024

VenueVienna University of Technology (TU Wien) - Campus Gusshaus

Room nameEI 7

Floor0

Capacity434

Room InformationNo extra information available

Information for Participants

Info for room EI 7:

Map: https://tuw-maps.tuwien.ac.at/?q=CDEG13

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15417

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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

08:30 - 09:00	Opening and WelcomeECOOP Technical Papers at EI 7

08:30 30m Day opening		Opening and Welcome ECOOP Technical Papers Werner Dietl University of Waterloo, Jonathan Aldrich Carnegie Mellon University, Guido Salvaneschi University of St. Gallen

09:00 - 10:00	Dahl-Nygaard Junior Prize Keynote - Alvin CheungECOOP Technical Papers at EI 7

09:00 60m Keynote		Dahl-Nygaard Junior Prize Keynote - Alvin Cheung ECOOP Technical Papers Alvin Cheung University of California at Berkeley

10:30 - 12:00	Compilation and RuntimesECOOP Technical Papers at EI 7

10:30 15m Talk		Static Basic Block Versioning ECOOP Technical Papers Manuel Serrano Inria; University of Côte d'Azur, Olivier Melançon Université de Montréal, Marc Feeley Université de Montréal
10:45 15m Talk		Cross Module Quickening - The Curious Case of C Extensions ECOOP Technical Papers Felix Berlakovich μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Stefan Brunthaler Bundeswehr University Munich
11:00 15m Talk		Compiling with Arrays ECOOP Technical Papers David Richter Technical University of Darmstadt, Timon Böhler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Mira Mezini TU Darmstadt Pre-print
11:15 15m Talk		The Performance Effects of Virtual-Machine Instruction Pointer Updates ECOOP Technical Papers M. Anton Ertl TU Wien, Bernd Paysan net2o
11:30 15m Talk		Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization ECOOP Technical Papers Florian Huemer JKU Linz, David Leopoldseder Oracle Labs, Aleksandar Prokopec Oracle Labs, Raphael Mosaner JKU Linz, Hanspeter Mössenböck JKU Linz
11:45 15m Talk		Optimizing Layout of Recursive Datatypes with Marmoset ECOOP Technical Papers Vidush Singhal Purdue University, Chaitanya S. Koparkar Indiana University, Joseph Zullo Purdue University, Artem Pelenitsyn Purdue University, Michael Vollmer University of Kent, Mike Rainey Carnegie Mellon University, Ryan R. Newton Purdue University, Milind Kulkarni Purdue University Pre-print

13:30 - 15:00	Types 1ECOOP Technical Papers at EI 7

13:30 15m Talk		Behavioral up/down casting for statically typed languages ECOOP Technical Papers Lorenzo Bacchiani University of Bologna, Mario Bravetti Università di Bologna, Marco GIUNTI University of Oxford, João Mota NOVA School of Science and Technology, António Ravara Nova University of Lisbon
13:45 15m Talk		Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP Technical Papers Farzaneh Derakhshan Illinois Institute of Technology, Stephanie Balzer Carnegie Mellon University, Yue Yao Carnegie Mellon University
14:00 15m Talk		Ozone: Fully Out-of-Order Choreographies ECOOP Technical Papers Dan Plyukhin University of Southern Denmark, Marco Peressotti University of Southern Denmark, Fabrizio Montesi University of Southern Denmark Pre-print
14:15 15m Talk		Information Flow Control in Cyclic Process Networks ECOOP Technical Papers Bas van den Heuvel Karlsruhe University of Applied Sciences, University of Freiburg, Farzaneh Derakhshan Illinois Institute of Technology, Stephanie Balzer Carnegie Mellon University
14:30 15m Talk		Formalizing, Mechanizing, and Verifying Class-based Refinement Types ECOOP Technical Papers Ke Sun Peking University, Di Wang Peking University, Sheng Chen UL Lafayette, Meng Wang University of Bristol, Dan Hao Peking University
14:45 15m Talk		Pure methods for roDOT ECOOP Technical Papers Vlastimil Dort Charles University, Yufeng Li University of Waterloo, Ondřej Lhoták University of Waterloo, Pavel Parizek Charles University

15:30 - 17:00	AnalysisECOOP Technical Papers at EI 7

15:30 15m Talk		Partial Redundancy Elimination in Two Iterative Data Flow Analyses ECOOP Technical Papers Reshma Roy National Institute of Technology, Calicut, Sreekala S National Institute of Technology, Calicut, Vineeth Paleri National Institute of Technology, Calicut
15:45 15m Talk		Indirection-Bounded Call Graph Analysis ECOOP Technical Papers Madhurima Chakraborty University of California, Riverside, Aakash Gnanakumar University of California, Riverside, Manu Sridharan University of California at Riverside, Anders Møller Aarhus University
16:00 15m Talk		Dynamically Generating Callback Summaries for Enhancing Static Analysis ECOOP Technical Papers Steven Arzt Fraunhofer SIT; ATHENE, Marc Miltenberger Fraunhofer SIT \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Julius Näumann TU Darmstadt \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt
16:15 15m Talk		A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction ECOOP Technical Papers Dongjie He Chongqing University, China, Jingbo Lu University of New South Wales, Jingling Xue UNSW Sydney
16:30 15m Talk		Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications ECOOP Technical Papers Fabian Schiebel Fraunhofer IEM, Florian Sattler Saarland Informatics Campus, Saarland University, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Sven Apel Saarland University, Eric Bodden
16:45 15m Talk		CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming ECOOP Technical Papers Quan Zhou Penn State University, Dang Sixuan Duke University, Danfeng Zhang Duke University

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

09:00 - 10:00	Dahl-Nygaard Senior Prize Keynote - Rachid GuerraouiECOOP Technical Papers at EI 7

09:00 60m Keynote		Dahl-Nygaard Senior Prize Keynote - Rachid Guerraoui ECOOP Technical Papers Rachid Guerraoui EPFL

10:30 - 12:00	DesignECOOP Technical Papers at EI 7

10:30 15m Talk		Defining Name Accessibility using Scope Graphs ECOOP Technical Papers Aron Zwaan Delft University of Technology, Casper Bach Poulsen Delft University of Technology Link to publication Pre-print
10:45 15m Talk		Rose: Composable Autodiff for the Interactive Web ECOOP Technical Papers Sam Estep Carnegie Mellon University, Wode Ni Carnegie Mellon University, Raven Rothkopf Barnard College, Joshua Sunshine Carnegie Mellon University
11:00 15m Talk		Failure Transparency in Stateful Dataflow Systems ECOOP Technical Papers Aleksey Veresov KTH Royal Institute of Technology, Jonas Spenger KTH Royal Institute of Technology, Paris Carbone KTH Royal Institute of Technology, Philipp Haller KTH Royal Institute of Technology Pre-print
11:15 15m Talk		Fair join pattern matching for actors ECOOP Technical Papers 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 File Attached
11:30 15m Talk		Constrictor: Immutability as a Design Concept ECOOP Technical Papers Elad Kinsbruner Technion, Shachar Itzhaky Technion, Hila Peleg Technion Pre-print
11:45 15m Talk		A Language-Based Version Control System for Python ECOOP Technical Papers Luís Carvalho NOVA School of Science and Technology, João Costa Seco NOVA-LINCS; Nova University of Lisbon

	13:30 - 15:00	Test of Time AwardECOOP Technical Papers at EI 7

15:30 - 17:00	Types 2ECOOP Technical Papers at EI 7

15:30 15m Talk		InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference ECOOP Technical Papers Senxi Li The University of Tokyo, Tetsuro Yamazaki University of Tokyo, Shigeru Chiba University of Tokyo
15:45 15m Talk		A Sound Type System for Secure Currency Flow ECOOP Technical Papers Luca Aceto Reykjavik University, Daniele Gorla Department of Computer Science, Sapienza University of Rome, Stian Lybech Reykjavik University
16:00 15m Talk		Type Tailoring ECOOP Technical Papers Ashton Wiersdorf University of Utah, Stephen Chang University of Massachusetts Boston, Matthias Felleisen Northeastern University, Ben Greenman University of Utah
16:15 15m Talk		Learning Gradual Typing Performance ECOOP Technical Papers Mohammad Wahiduzzaman Khan UL Lafayette, Sheng Chen University of Louisiana at Lafayette, Yi He Old Dominion University
16:30 15m Talk		Generalizing Shape Analysis with Gradual Types ECOOP Technical Papers Zeina Migeed University of California, Los Angeles, James Reed Fireworks AI, Jason Ansel Meta, Jens Palsberg University of California, Los Angeles (UCLA)
16:45 15m Talk		Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation ECOOP Technical Papers Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford

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	Joint ECOOP/ISSTA KeynoteECOOP Technical Papers at EI 7

09:00 60m Keynote		Software Quality Assurance in the Era of Large Language Models ECOOP Technical Papers Lingming Zhang University of Illinois at Urbana-Champaign

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	Fuzzing 2ISSTA Technical Papers at EI 7

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

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 7							ECOOP Technical Papers Opening and Welcome						ECOOP Technical Papers Dahl-Nygaard Junior Prize Keynote - Alvin Cheung																		ECOOP Technical Papers Compilation and Runtimes																																				ECOOP Technical Papers Types 1																								ECOOP Technical Papers Analysis

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
EI 7	ECOOP Technical Papers Dahl-Nygaard Senior Prize Keynote - Rachid Guerraoui																		ECOOP Technical Papers Design																																				ECOOP Technical Papers Test of Time Award																								ECOOP Technical Papers Types 2

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


Room	8:00						30						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
EI 7							ISSTA Keynotes Opening and Awards						ECOOP Technical Papers Joint ECOOP/ISSTA Keynote ISSTA Keynotes Keynote 09:00 - 10:00																		ISSTA Technical Papers LLMs for Code Generation																																				ISSTA Technical Papers Fairness and Safety of Neural Networks																								ISSTA Technical Papers Program Repair 1

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
EI 7	ISSTA Keynotes Keynote																		ISSTA Technical Papers Program Repair 2																																				ISSTA Technical Papers Execution and Profiling																								ISSTA Technical Papers Code Transformation

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
EI 7	ISSTA Keynotes Keynote																		ISSTA Technical Papers Fuzzing 2																																				ISSTA Technical Papers LLMs for Code																								ISSTA Technical Papers Models of Code												ISSTA Keynotes ISSTA 2025 Preview and Closing

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


Room	8:00			15			30			45			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
EI 7							ECOOP Technical Papers Opening and Welcome 08:30 - 09:00						ECOOP Technical Papers Dahl-Nygaard Junior Prize Keynote - Alvin Cheung 09:00 - 10:00																		ECOOP Technical Papers Static Basic Block Versioning 10:30 - 10:45			ECOOP Technical Papers Cross Module Quickening - The Curious Case of C Extensions 10:45 - 11:00			ECOOP Technical Papers Compiling with Arrays 11:00 - 11:15			ECOOP Technical Papers The Performance Effects of Virtual-Machine Instruction Pointer Updates 11:15 - 11:30			ECOOP Technical Papers Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Op ... 11:30 - 11:45			ECOOP Technical Papers Optimizing Layout of Recursive Datatypes with Marmoset 11:45 - 12:00																					ECOOP Technical Papers Behavioral up/down casting for statically typed languages 13:30 - 13:45			ECOOP Technical Papers Regrading Policies for Flexible Information Flow Control in Session-Typ ... 13:45 - 14:00			ECOOP Technical Papers Ozone: Fully Out-of-Order Choreographies 14:00 - 14:15			ECOOP Technical Papers Information Flow Control in Cyclic Process Networks 14:15 - 14:30			ECOOP Technical Papers Formalizing, Mechanizing, and Verifying Class-based Refinement Types 14:30 - 14:45			ECOOP Technical Papers Pure methods for roDOT 14:45 - 15:00									ECOOP Technical Papers Partial Redundancy Elimination in Two Iterative Data Flow Analyses 15:30 - 15:45			ECOOP Technical Papers Indirection-Bounded Call Graph Analysis 15:45 - 16:00			ECOOP Technical Papers Dynamically Generating Callback Summaries for Enhancing Static Analysis 16:00 - 16:15			ECOOP Technical Papers A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis w ... 16:15 - 16:30			ECOOP Technical Papers Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applic ... 16:30 - 16:45			ECOOP Technical Papers CtChecker: a Precise, Sound and Efficient Static Analysis for Constant- ... 16:45 - 17:00

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
EI 7	ECOOP Technical Papers Dahl-Nygaard Senior Prize Keynote - Rachid Guerraoui 09:00 - 10:00																		ECOOP Technical Papers Defining Name Accessibility using Scope Graphs 10:30 - 10:45			ECOOP Technical Papers Rose: Composable Autodiff for the Interactive Web 10:45 - 11:00			ECOOP Technical Papers Failure Transparency in Stateful Dataflow Systems 11:00 - 11:15			ECOOP Technical Papers Fair join pattern matching for actors 11:15 - 11:30			ECOOP Technical Papers Constrictor: Immutability as a Design Concept 11:30 - 11:45			ECOOP Technical Papers A Language-Based Version Control System for Python 11:45 - 12:00																																													ECOOP Technical Papers InferType: A Compiler Toolkit for Implementing Efficient Constraint-Bas ... 15:30 - 15:45			ECOOP Technical Papers A Sound Type System for Secure Currency Flow 15:45 - 16:00			ECOOP Technical Papers Type Tailoring 16:00 - 16:15			ECOOP Technical Papers Learning Gradual Typing Performance 16:15 - 16:30			ECOOP Technical Papers Generalizing Shape Analysis with Gradual Types 16:30 - 16:45			ECOOP Technical Papers Refinements for Multiparty Message-Passing Protocols: Specification-agn ... 16:45 - 17:00

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
EI 7	ECOOP Technical Papers Software Quality Assurance in the Era of Large Language Models 09:00 - 10:00 ISSTA Keynotes Software Quality Assurance in the Era of Large Language Models 09:00 - 10:00																		ISSTA Technical Papers AI Coders Are Among Us: Rethinking Programming Language Grammar Towards ... 10:30 - 10:50				ISSTA Technical Papers When to Stop? Towards Efficient Code Generation in LLMs with Excess Tok ... 10:50 - 11:10				ISSTA Technical Papers FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Comp ... 11:10 - 11:30				ISSTA Technical Papers Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI ... 11:30 - 11:50																								ISSTA Technical Papers NeuFair: Neural Network Fairness Repair with Dropout 13:30 - 13:50				ISSTA Technical Papers A Large-Scale Empirical Study on Improving the Fairness of Image Classi ... 13:50 - 14:10				ISSTA Technical Papers Efficient DNN-Powered Software with Fair Sparse Models 14:10 - 14:30				ISSTA Technical Papers Synthesizing Boxes Preconditions for Deep Neural Networks 14:30 - 14:50												ISSTA Technical Papers Automated Program Repair via Conversation: Fixing 162 out of 337 bugs f ... 15:30 - 15:50				ISSTA Technical Papers ThinkRepair: Self-Directed Automated Program Repair 15:50 - 16:10				ISSTA Technical Papers BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and R ... 16:10 - 16:30				ISSTA Technical Papers CREF: An LLM-based Conversational Software Repair Framework for Program ... 16:30 - 16:50				ISSTA Technical Papers One Size Does Not Fit All: Multi-Granularity Patch Generation for Bette ... 16:50 - 17:10

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
EI 7	ISSTA Keynotes The Overlooked Steps in Program Analysis: Designing by People for People 09:00 - 10:00																		ISSTA Technical Papers Automating Zero-Shot Patch Porting for Hard Forks 10:30 - 10:50				ISSTA Technical Papers Benchmarking Automated Program Repair: An Extensive Study on Both Real- ... 10:50 - 11:10				ISSTA Technical Papers Neurosymbolic Repair of Test Flakiness 11:10 - 11:30				ISSTA Technical Papers AutoCodeRover: Autonomous Program Improvement 11:30 - 11:50																								ISSTA Technical Papers MicroRes: Versatile Resilience Profiling in Microservices via Degradati ... 13:30 - 13:50				ISSTA Technical Papers Feedback-Directed Partial Execution 13:50 - 14:10				ISSTA Technical Papers Define-Use Guided Path Exploration for Better Forced Execution 14:10 - 14:30				ISSTA Technical Papers SelfPiCo: Self-Guided Partial Code Execution with LLMs 14:30 - 14:50												ISSTA Technical Papers One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportu ... 15:30 - 15:50				ISSTA Technical Papers CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, P ... 15:50 - 16:10				ISSTA Technical Papers Arfa: an Agile Regime-based Floating-point Optimization Approach for Ro ... 16:10 - 16:30				ISSTA Technical Papers Automated Deep Learning Optimization via DSL-Based Source Code Transfor ... 16:30 - 16:50				ISSTA Technical Papers Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Ann ... 16:50 - 17:10

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
EI 7	ISSTA Keynotes Benchmarks and Replicability in Software Engineering Research: Challeng ... 09:00 - 10:00																		ISSTA Technical Papers Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Se ... 10:30 - 10:50				ISSTA Technical Papers FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided ... 10:50 - 11:10				ISSTA Technical Papers DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling 11:10 - 11:30				ISSTA Technical Papers Logos: Log Guided Fuzzing for Protocol Implementations 11:30 - 11:50																								ISSTA Technical Papers Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code 13:30 - 13:50				ISSTA Technical Papers CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-Dec ... 13:50 - 14:10				ISSTA Technical Papers Oracle-guided Program Selection from Large Language Models 14:10 - 14:30				ISSTA Technical Papers How Effective Are They? Exploring Large Language Model Based Fuzz Drive ... 14:30 - 14:50												ISSTA Technical Papers FDI: Attack Neural Code Generation Systems through User Feedback Channel 15:30 - 15:50				ISSTA Technical Papers CoderUJB: An Executable and Unified Java Benchmark for Practical Progra ... 15:50 - 16:10				ISSTA Technical Papers CLAP: Learning Transferable Binary Code Representations with Natural La ... 16:10 - 16:30

Room information: EI 7

This program is tentative and subject to change.

Program Display Configuration

Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Keynotes

ECOOP Technical Papers

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Keynotes

Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

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

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

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

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

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

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