EI 7 - CAKC 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

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 KeynoteECOOP Technical Papers at EI 7

09:00 60m Keynote		Optimizing the Object-Relational Interface ECOOP Technical Papers Alvin Cheung University of California at Berkeley

10:30 - 12:00	Compilation and RuntimesECOOP Technical Papers at EI 7 Chair(s): Stefan Marr University of Kent

10:30 15m Talk		Static Basic Block Versioning ECOOP Technical Papers Manuel Serrano Inria; Université Côte d’Azur, Olivier Melançon DIRO, 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 μCSRL, CODE Research Institute, University of the Bundeswehr 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; hessian.AI; National Research Center for Applied Cybersecurity ATHENE 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 DOI Pre-print

13:30 - 15:00	Types 1ECOOP Technical Papers at EI 7 Chair(s): Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy

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 Chair(s): Eva Darulova Uppsala University

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

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 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

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 DOI Pre-print Media Attached File Attached
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 DOI
11:30 15m Talk		Constrictor: Immutability as a Design Concept ECOOP Technical Papers Elad Kinsbruner Technion, Shachar Itzhaky Technion, Hila Peleg Technion DOI 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	ECOOP Technical Papers at EI 7 Chair(s): Jonathan Aldrich Carnegie Mellon University, Guido Salvaneschi University of St. Gallen

13:30 30m Awards		ECOOP Awards ECOOP Technical Papers Guido Salvaneschi University of St. Gallen, Jonathan Aldrich Carnegie Mellon University
14:00 15m Talk		Mutation-based Lifted Repair of Software Product Lines ECOOP Technical Papers Aleksandar S. Dimovski Mother Teresa University, Skopje
14:15 15m Talk		Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation ECOOP Technical Papers Martin Vassor Université de Lorraine; CNRS; Inria; LORIA, Nobuko Yoshida University of Oxford
14:30 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
14:45 15m Talk		The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments ECOOP Technical Papers Petr Maj Czech Technical University, Stefanie Muroya Lei Institute of Science and Technology in Austria, Konrad Siek Czech Technical University in Prague, Luca Di Grazia University of Stuttgart, Jan Vitek Northeastern University

15:30 - 17:00	Types 2ECOOP Technical Papers at EI 7 Chair(s): António Ravara Nova University of Lisbon

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)

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 at Urbana-Champaign

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

10:30 - 11:50	LLMs for Code GenerationISSTA Technical Papers at EI 7 Chair(s): Chao Peng ByteDance

10:30 20m Talk		AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code GenerationACM SIGSOFT Distinguished Paper Award ISSTA Technical Papers Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Zhou Yang Singapore Management University, Li Li Beihang University, David Lo Singapore Management University DOI Pre-print
10:50 20m Talk		When to Stop? Towards Efficient Code Generation in LLMs with Excess Token PreventionACM SIGSOFT Distinguished Paper Award 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, Yuchi Ma Huawei Cloud Computing Technologies, Zibin Zheng Sun Yat-sen University DOI
11:10 20m Talk		FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion ISSTA Technical Papers Qi Guo Tianjin University, 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 at Riverside, Jie Hu University of California at Riverside, Qian Zhang University of California at Riverside, Heng Yin University of California at Riverside DOI

13:30 - 14:50	Fairness and Safety of Neural NetworksISSTA Technical Papers at EI 7 Chair(s): Jingyi Wang Zhejiang University

13:30 20m Talk		NeuFair: Neural Network Fairness Repair with Dropout ISSTA Technical Papers Vishnu Asutosh Dasu Pennsylvania State University, Ashish Kumar Pennsylvania State University, Saeid Tizpaz-Niari University of Texas at El Paso, Gang (Gary) Tan Pennsylvania State University DOI
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 at 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 at Amherst, Shiqing Ma University of Massachusetts at Amherst, Xiaoyu Zhang Xi’an Jiaotong University, Chao Shen Xi’an Jiaotong University DOI Pre-print
14:30 20m Talk		Synthesizing Boxes Preconditions for Deep Neural Networks ISSTA Technical Papers Zengyu Liu National University of Defense Technology, Liqian Chen National University of Defense Technology, Wanwei Liu National University of Defense Technology, Ji Wang National University of Defense Technology DOI

15:30 - 17:10	Program Repair 1ISSTA Technical Papers at EI 7 Chair(s): Xiang Gao Beihang University

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 at Urbana-Champaign DOI
15:50 20m Talk		ThinkRepair: Self-Directed Automated Program Repair ISSTA Technical Papers Xin Yin Zhejiang University, Chao Ni Zhejiang University, Shaohua Wang Central University of Finance and Economics, Zhenhao Li York University, Limin Zeng Zhejiang University, Xiaohu Yang Zhejiang University DOI
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 Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University DOI
16:30 20m Talk		CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors ISSTA Technical Papers Boyang Yang Yanshan University; Beijing JudaoYouda Network Technology, Haoye Tian University of Melbourne, Weiguo Pian University of Luxembourg, Haoran Yu Beijing JudaoYouda Network Technology, Haitao Wang Beijing JudaoYouda Network Technology, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Shunfu Jin Yanshan University DOI
16:50 20m Talk		One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program RepairACM SIGSOFT Distinguished Paper Award 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, Xiaoguang Mao National University of Defense Technology DOI 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 Chair(s): Chao Peng ByteDance

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, 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 University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at 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 DOI
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 DOI

13:30 - 14:50	Execution and ProfilingISSTA Technical Papers at EI 7 Chair(s): Rohan Padhye Carnegie Mellon University

13:30 20m Talk		MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing ISSTA Technical Papers Tianyi Yang Chinese University of Hong Kong, Cheryl Lee Chinese University of Hong Kong, Jiacheng Shen Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Cong Feng Huawei Cloud Computing Technology, Yongqiang Yang Huawei Cloud Computing Technology, 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 DOI
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, Jianjun Huang Renmin University of China, Wenchang Shi Renmin University of 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, Shanping Li Zhejiang University DOI

15:30 - 17:10	Code TransformationISSTA Technical Papers at EI 7 Chair(s): Xiaoning Du Monash University

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 Xidian University, Qiangqiang Wang Xidian University, Yutong Zhao University of Central Missouri, Jiaqi Wang Xidian University, Minjie Wei Xidian University, Jingzhao Hu Xidian University, Luqiao Wang Xidian University, Qingshan Li Xidian University DOI
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, Yufan Cai 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 Shanghai Jiao Tong 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, Hongru Yang Information Engineering University, Bei Zhou Information Engineering University, Jie Zhao Hunan University DOI
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

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 Chair(s): Marcel Böhme MPI-SP, Bochum

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 at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Liwei Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haolai Wei Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Gang Shi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dan Meng Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI
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 DOI
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 DOI Pre-print
11:30 20m Talk		Logos: Log Guided Fuzzing for Protocol Implementations ISSTA Technical Papers Feifan Wu Tsinghua University, Zhengxiong Luo National University of Singapore, 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 DOI

13:30 - 14:50	LLMs for CodeISSTA Technical Papers at EI 7 Chair(s): Jacques Klein University of Luxembourg

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, 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, 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 DOI
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 Peking University, Abhik Roychoudhury National University of Singapore DOI
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 at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Wei Ma Nanyang Technological University, Xiaofei Xie Singapore Management University, Yuekang Li UNSW, Limin Sun Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yang Liu Nanyang Technological University DOI

15:30 - 16:30	Models of CodeISSTA Technical Papers at EI 7 Chair(s): Jürgen Cito TU Wien

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, Xiapu Luo Hong Kong Polytechnic University, Fu Song Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology, David Lo Singapore Management University, Li Li Beihang University DOI
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 Tsinghua University, Han Qiu Tsinghua University, Xi Xiao 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																		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																								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						ISSTA Keynotes Keynote ECOOP Technical Papers Joint ECOOP/ISSTA 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 Optimizing the Object-Relational Interface 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

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 ECOOP Awards 13:30 - 14:00						ECOOP Technical Papers Mutation-based Lifted Repair of Software Product Lines 14:00 - 14:15			ECOOP Technical Papers Refinements for Multiparty Message-Passing Protocols: Specification-agn ... 14:15 - 14:30			ECOOP Technical Papers CtChecker: a Precise, Sound and Efficient Static Analysis for Constant- ... 14:30 - 14:45			ECOOP Technical Papers The Fault in our Stars: Designing Reproducible Large-scale Code Analysi ... 14:45 - 15: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

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	ISSTA Keynotes Software Quality Assurance in the Era of Large Language Models 09:00 - 10:00 ECOOP Technical Papers Software Quality Assurance in the Era of Large Language Models 09:00 - 10:00																		ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award AI Coders Are among Us: Rethinking Programming Language Grammar towards ... 10:30 - 10:50				ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award 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 PapersACM SIGSOFT Distinguished Paper Award 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
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

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

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

ISSTA Keynotes

ECOOP Technical Papers

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