Program - ISSTA/ECOOP 2024

Detailed Table Column Timeline Session Timeline Detailed Timeline

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


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 10 Fritz Paschke											PLAID Opening remarks 10:30 - 10:40	PLAID Runtime Instrumentation for Reactive Components 10:40 - 11:30				PLAID CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and ... 11:30 - 12:00								PLAID Local Projections of DCR Choreographies with Data and Spawn 13:30 - 14:00		PLAID Compositional Verification of Swarm Protocols 14:00 - 14:30		PLAID Library Based Choreographies in Lean 14:30 - 15:00				PLAID Modal Crash Types for Intermittent Computing 15:30 - 16:00		PLAID Less is More Revisited: Global Specification and Local Verification App ... 16:00 - 16:30		PLAID Fair Join Pattern Matching for Actors 16:30 - 17:00
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
EI 9 Hlawka					FUZZING Opening and Welcome 09:00 - 09:15	FUZZING [Keynote] Reasons for the Unreasonable Success of Fuzzing 09:15 - 10:00					FUZZING Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup 10:30 - 10:45		FUZZING Effective Fuzzing within CI/CD Pipelines 10:45 - 11:00	FUZZING Automated Feature Testing of Verilog Parsers using Fuzzing 11:00 - 11:15	FUZZING WebAssembly as a Fuzzing Compilation Target 11:15 - 11:30	FUZZING Visualization Task Taxonomy to Understand the Fuzzing Internals 11:30 - 11:45								FUZZING [Keynote] Is "AI" useful for fuzzing? 13:30 - 14:15			FUZZING Discussion: LLMs and Fuzzing for Bug Finding 14:15 - 15:00					FUZZING Sparse Symbolic Loop Execution 15:30 - 15:45	FUZZING LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing 15:45 - 16:00	FUZZING The Havoc Paradox in Generator-Based Fuzzing 16:00 - 16:15	FUZZING Understanding and Improving Coverage Tracking with AFL++ 16:15 - 16:30	FUZZING Concluding Remarks 16:30 - 17:00

Tue 17 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 10 Fritz Paschke												Gamify Introduction to the Gamify 2024 workshop 10:30 - 10:45	Gamify Bug-Hunting Games to Assist Software Development and Testing Education 10:45 - 11:30						Gamify ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback 11:30 - 12:00									Gamify Test Smells Learning by a Gamification Approach 13:30 - 14:00			Gamify Enlisting Students in Gamifying Software Testing Education: Results and ... 14:00 - 14:30				Gamify Engaging Developers in Exploratory Unit Testing through Gamification 14:30 - 15:00					Gamify Testing Robot Challenge: a Serious Game for Testing Learning 15:30 - 16:00		Gamify A Gaming Quest to Improve Web Locators Robustness 16:00 - 16:30		Gamify Panel: upcoming challenges for Gamification in Software Engineering 16:30 - 17:00
EI 2 Pichelmayer						ISSTA/ECOOP Doctoral Symposium The Devil's Guide to Doing your PhD – 10 tips for despair, dismay, and ... 09:00 - 10:00						ISSTA/ECOOP Doctoral Symposium Soft Verification for Actor Contract Systems 10:30 - 10:45	ISSTA/ECOOP Doctoral Symposium Integrating Mutation Techniques to Keep Specification and Source Code i ... 10:45 - 10:55	ISSTA/ECOOP Doctoral Symposium Leveraging Natural Language Processing and Data Mining to Augment and V ... 10:55 - 11:05		ISSTA/ECOOP Doctoral Symposium From Fault Injection to Formal Verification: A Holistic Approach to Fau ... 11:05 - 11:20		ISSTA/ECOOP Doctoral Symposium Robustness against the C/C++11 memory model 11:20 - 11:35		ISSTA/ECOOP Doctoral Symposium Automated Testing of Networked Systems Reliability 11:35 - 11:45	ISSTA/ECOOP Doctoral Symposium Search-Based Translations for Tensor Operations 11:45 - 11:55							ISSTA/ECOOP Doctoral Symposium Shaping Test Inputs in Grammar-Based Fuzzing 13:30 - 13:45	ISSTA/ECOOP Doctoral Symposium Graph Learning for Extract Class Refactoring 13:45 - 13:55	ISSTA/ECOOP Doctoral Symposium With Biabduction towards Memory Safety across the Rust-C-FFI 13:55 - 14:05		ISSTA/ECOOP Doctoral Symposium Decentralized Near-Synchronous Local-First Programming Collaboration 14:05 - 14:15	ISSTA/ECOOP Doctoral Symposium Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins 14:15 - 14:25	ISSTA/ECOOP Doctoral Symposium Collaboration to Repository-Level Vulnerability Detection 14:25 - 14:35		ISSTA/ECOOP Doctoral Symposium Learning the Effects of Software Changes 14:35 - 14:50				ISSTA/ECOOP Doctoral Symposium How to get your Ph.D. DONE! 15:30 - 17:00
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
EI 9 Hlawka					MET Opening remarks 08:50 - 09:00	MET Keynote speech: AI-Driven Metamorphic Testing for Autonomous Systems 09:00 - 10:00						MET Metamorphic Testing of a Steer-by-Wire System: An Intercultural Student ... 10:30 - 11:00			MET Metamorphic Testing of Image Processing Applications: A General Framewo ... 11:00 - 11:30				MET Evaluating Human Trajectory Prediction with Metamorphic Testing 11:30 - 12:00									MET Using Category Partition to Detect Metamorphic Relations 13:30 - 14:00			MET Interactive discussion: Key areas for MT’s research 14:00 - 15:00									MET Using Metamorphic Relations to Improve Accuracy and Robustness of Deep ... 15:30 - 16:00		MET Panel discussion: MT4AI & AI4MT 16:00 - 17:00

Wed 18 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		17:00	15	30	45
EI 10 Fritz Paschke											ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award Large Language Models for Equivalent Mutant Detection: How Far Are We? 10:30 - 10:50		ISSTA Technical Papers An Empirical Examination of Fuzzer Mutator Performance 10:50 - 11:10		ISSTA Technical Papers Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing ... 11:10 - 11:30			ISSTA Technical Papers LPR: Large Language Models-Aided Program Reduction 11:30 - 11:50									ISSTA Technical Papers UPBEAT: Test Input Checks of Q# Quantum Libraries 13:30 - 13:50		ISSTA Technical Papers Towards More Complete Constraints for Deep Learning Library Testing via ... 13:50 - 14:10		ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar ... 14:10 - 14:30			ISSTA Technical Papers Ma11y: A Mutation Framework for Web Accessibility Testing 14:30 - 14:50						ISSTA Technical Papers Bugs in Pods: Understanding Bugs in Container Runtime Systems 15:30 - 15:50		ISSTA Technical Papers An Empirical Study on Kubernetes Operator Bugs 15:50 - 16:10			ISSTA Technical Papers Understanding Misconfigurations in ROS: An Empirical Study and Current ... 16:10 - 16:30			ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award An In-Depth Study of Runtime Verification Overheads during Software Testing 16:30 - 16:50
EI 2 Pichelmayer											ECOOP Technical Papers Inductive Predicate Synthesis Modulo Programs 10:30 - 10:45	ECOOP Technical Papers Fearless Asynchronous Communications with Timed Multiparty Session Prot ... 10:45 - 11:00		ECOOP Technical Papers Java Bytecode Normalization for Code Similarity Analysis 11:00 - 11:15				ECOOP Technical Papers Higher-Order Specifications for Deductive Synthesis of Programs with Po ... 11:30 - 11:45	ECOOP Technical Papers Matching Plans for Frame Inference in Compositional Reasoning 11:45 - 12:00								ECOOP Technical Papers A Dynamic Logic for Symbolic Execution for the Smart Contract Programmi ... 13:30 - 13:45	ECOOP Technical Papers Qafny: A Quantum-Program Verifier 13:45 - 14:00		ECOOP Technical Papers Verifying Lock-free Search Structure Templates 14:00 - 14:15		ECOOP Technical Papers Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarante ... 14:15 - 14:30		ECOOP Technical Papers Compositional Symbolic Execution for Correctness and Incorrectness Reas ... 14:30 - 14:45		ECOOP Technical Papers Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations 14:45 - 15:00				ECOOP Technical Papers Understanding Concurrency Bugs in Real-World Programs with Kotlin Corou ... 15:30 - 15:48		ECOOP Technical Papers Runtime Instrumentation for Reactive Components 15:48 - 16:07		ECOOP Technical Papers HOBBIT: Hashed Object Based InTegrity 16:07 - 16:26			ECOOP Technical Papers Pipit on the Post: proving pre- and post-conditions of reactive systems 16:26 - 16:45			ECOOP Technical Papers Closing and Invitation to ECOOP 2025 16:45 - 17:00
EI 3 Sahulka											ISSTA Technical Papers Toward the Automated Localization of Buggy Mobile App UIs from Bug Desc ... 10:30 - 10:50		ISSTA Technical Papers Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Sing ... 10:50 - 11:10		ISSTA Technical Papers Semantic Constraint Inference for Web Form Test Generation 11:10 - 11:30			ISSTA Technical Papers Guardian: A Runtime Framework for LLM-Based UI Exploration 11:30 - 11:50									ISSTA Technical Papers Automated Data Binding Vulnerability Detection for Java Web Frameworks ... 13:30 - 13:50		ISSTA Technical Papers SCALE: Constructing Structured Natural Language Comment Trees for Softw ... 13:50 - 14:10		ISSTA Technical Papers CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarit ... 14:10 - 14:30			ISSTA Technical Papers Graph Neural Networks for Vulnerability Detection: A Counterfactual Exp ... 14:30 - 14:50						ISSTA Technical Papers Learning to Check LTL Satisfiability and to Generate Traces via Differe ... 15:30 - 15:50		ISSTA Technical Papers Interprocedural Path Complexity Analysis 15:50 - 16:10			ISSTA Technical Papers VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document ... 16:10 - 16:30			ISSTA Technical Papers Characterizing and Detecting Program Representation Faults of Static An ... 16:30 - 16:50			ISSTA Technical Papers API Misuse Detection via Probabilistic Graphical Model 16:50 - 17:10
EI 4 Reithoffer											CAKC Coroutines Scheduler 10:30 - 10:45	CAKC Fast and Scalable Communication Channels 10:45 - 11:25					CAKC CQS: A Formally-Verified Framework for Fair and Abortable Synchronizati ... 11:25 - 11:50																							CAKC Lincheck: A Practical Framework for Testing Concurrent Data Structures ... 15:30 - 16:50
EI 5 Hochenegg																										ISSTA/ECOOP Tool Demonstrations Generalized Concurrency Testing Tool for Distributed Systems 13:30 - 13:42	ISSTA/ECOOP Tool DemonstrationsDistinguished Tool Demo Award Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA 13:42 - 13:55	ISSTA/ECOOP Tool Demonstrations JCWIT: A Correctness-Witness Validator for Java Programs based on Bound ... 13:55 - 14:08		ISSTA/ECOOP Tool Demonstrations ESBMC-Python: A Bounded Model Checker for Python Programs 14:08 - 14:21	ISSTA/ECOOP Tool Demonstrations Panda: A Concurrent Scheduler for Compiler-Based Tools 14:21 - 14:34		ISSTA/ECOOP Tool Demonstrations SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine fo ... 14:34 - 14:47		ISSTA/ECOOP Tool DemonstrationsDistinguished Tool Demo Award PolyTracker: Whole-Input Dynamic Information Flow Tracing 14:47 - 15:00				ISSTA/ECOOP Tool Demonstrations SMBugFinder: An Automated Framework for Testing Protocol Implementation ... 15:30 - 15:42	ISSTA/ECOOP Tool Demonstrations FRAFOL: FRAmework FOr Learning mutation testing 15:42 - 15:55	ISSTA/ECOOP Tool Demonstrations FixCheck: A Tool for Improving Patch Correctness Analysis 15:55 - 16:08		ISSTA/ECOOP Tool Demonstrations HECS: A Hypergraph Learning-based System for Detecting Extract Class Re ... 16:08 - 16:21		ISSTA/ECOOP Tool Demonstrations DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensi ... 16:21 - 16:34		ISSTA/ECOOP Tool Demonstrations FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in ... 16:34 - 16:47		ISSTA/ECOOP Tool Demonstrations The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic ... 16:47 - 17:00
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
EI 9 Hlawka											ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award Policy Testing with MDPFuzz (Replicability Study) 10:30 - 10:50		ISSTA Technical Papers Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Lear ... 10:50 - 11:10		ISSTA Technical Papers Enhancing ROS System Fuzzing through Callback Tracing 11:10 - 11:30			ISSTA Technical Papers Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Follow ... 11:30 - 11:50									ISSTA Technical Papers Domain Adaptation for Code Model-Based Unit Test Case Generation 13:30 - 13:50		ISSTA Technical Papers Practitioners’ Expectations on Automated Test Generation 13:50 - 14:10		ISSTA Technical Papers UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Larg ... 14:10 - 14:30									ISSTA Technical Papers Interoperability in Deep Learning: A User Survey and Failure Analysis o ... 15:30 - 15:50		ISSTA Technical Papers Interpretability Based Neural Network Repair 15:50 - 16:10			ISSTA Technical Papers See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error ... 16:10 - 16:30			ISSTA Technical Papers Isolation-Based Debugging for Neural Networks 16:30 - 16:50			ISSTA Technical Papers Certified Continual Learning for Neural Network Regression 16:50 - 17:10

Thu 19 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		17:00	15	30	45
EI 1 Petritsch												DEBT Advanced Debugging Techniques In Practice 10:30 - 11:30								DEBT In-field debugging of automotive microcontrollers for highest system av ... 11:30 - 12:00									DEBT Bug localisation in Model-Based Testing Using Model-Centric Shrinking 13:30 - 14:00			DEBT A Reversible Debugger for MPI Applications 14:00 - 14:30					DEBT Language-Agnostic Debugging for Microcontrollers 14:30 - 15:00				DEBT Concolic Multiverse Debugging 15:30 - 15:50		DEBT Reversible Debugging of Erlang Programs in CauDEr 15:50 - 16:10		DEBT Abstract Debugging with GobPie 16:10 - 16:30			DEBT Localizer - a visual debugging assistant for Python programs 16:30 - 16:50		DEBT Closing by the workshop organizers 16:50 - 17:00
EI 10 Fritz Paschke												ISSTA Technical Papers A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? 10:30 - 10:50		ISSTA Technical Papers FastLog: An End-to-End Method to Efficiently Generate and Insert Loggin ... 10:50 - 11:10			ISSTA Technical Papers Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configu ... 11:10 - 11:30			ISSTA Technical Papers Foliage: Nourishing Evolving Software by Characterizing and Clustering ... 11:30 - 11:50									ISSTA Technical Papers Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment 13:30 - 13:50		ISSTA Technical Papers WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Awa ... 13:50 - 14:10		ISSTA Technical Papers Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Byte ... 14:10 - 14:30								ISSTA Technical Papers Silent Taint-Style Vulnerability Fixes Identification 15:30 - 15:50		ISSTA Technical Papers FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hyp ... 15:50 - 16:10		ISSTA Technical Papers Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhance ... 16:10 - 16:30			ISSTA Technical Papers PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclos ... 16:30 - 16:50		ISSTA Technical Papers An Empirical Study of Static Analysis Tools for Secure Code Review 16:50 - 17:10
EI 2 Pichelmayer					MPLR Welcome from the Chairs 09:00 - 09:05	MPLR Can WebAssembly Be Software’s Final Substrate? (Keynote) 09:05 - 10:00						MPLR Lazy Sparse Conditional Constant Propagation in the Sea of Nodes 10:30 - 10:55			MPLR Mutator-Driven Object Placement using Load Barriers 10:55 - 11:20				MPLR Interactive Programming for Microcontrollers by Offloading Dynamic Incr ... 11:20 - 11:45										MPLR mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices 13:30 - 13:45	MPLR Imagine There’s No Source Code: Replay Diagnostic Location Information ... 13:45 - 14:00		MPLR Existential Containers in Scala 14:00 - 14:25				MPLR Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language 14:25 - 14:50					MPLR Towards Realistic Results for Instrumentation-Based Profilers for JIT-C ... 15:30 - 15:45	MPLR Toward Declarative Auditing of Java Software for Graceful Exception Han ... 15:45 - 16:00		MPLR Dynamic Possible Source Count Analysis for Data Leakage Prevention 16:00 - 16:25			MPLR The Cost of Profiling in the HotSpot Virtual Machine 16:25 - 16:50			MPLR Closing Session 16:50 - 16:55	MPLR Toward Declarative Auditing of Java Software for Graceful Exception Han ... 17:00 - 18:00 Accurate Compilation Replay via Remote JIT Compilation (Poster) 17:00 - 18:00
EI 3 Sahulka												ISSTA Technical Papers DAppFL: Just-in-Time Fault Localization for Decentralized Applications ... 10:30 - 10:50		ISSTA Technical Papers LENT-SSE: Leveraging Executed and Near Transactions for Speculative Sym ... 10:50 - 11:10			ISSTA Technical Papers Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blo ... 11:10 - 11:30			ISSTA Technical Papers DeFort: Automatic Detection and Analysis of Price Manipulation Attacks ... 11:30 - 11:50									ISSTA Technical Papers Testing Gremlin-Based Graph Database Systems via Query Disassembling 13:30 - 13:50		ISSTA Technical Papers SQLess: Dialect-Agnostic SQL Query Simplification 13:50 - 14:10		ISSTA Technical Papers Testing Graph Database Systems with Graph-State Persistence Oracle 14:10 - 14:30								ISSTA Technical Papers Traceback: A Fault Localization Technique for Molecular Programs 15:30 - 15:50		ISSTA Technical Papers C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-S ... 15:50 - 16:10		ISSTA Technical Papers Preserving Reactiveness: Understanding and Improving the Debugging Prac ... 16:10 - 16:30
EI 4 Reithoffer					VORTEX Runtime Invariant Checking in Robotic Systems and Deep Learning Models 09:00 - 10:00							VORTEX Runtime Verified Neural Networks for Cyber-Physical Systems 10:30 - 11:00				VORTEX Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Prope ... 11:00 - 11:30				VORTEX Real-Time Guarantees for SLCS Monitors in XC 11:30 - 12:00									VORTEX R2U2: Runtime Verification Takes Off! 13:30 - 14:30								VORTEX RVsec: Towards a Comprehensive Technology Stack for Secure Deployment o ... 14:30 - 15:00				VORTEX Operational and Declarative Runtime Verification and their Combination 15:30 - 16:30							VORTEX Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx ... 16:30 - 17:00			VORTEX Identifying Potential Deadlocked Instructions in a Multi-threaded ooRex ... 17:00 - 17:30
EI 5 Hochenegg																												A-TEST First Experiments on Automated Execution of Gherkin Test Specifications ... 15:30 - 16:00			A-TEST GreeDDy: Accelerate Parallel DDMIN 16:00 - 16:30				A-TEST Use of ChatGPT as an Assistant in the End-to-End Test Script Generation ... 16:30 - 17:00
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
EI 9 Hlawka												ISSTA Technical Papers Distance-Aware Test Input Selection for Deep Neural Networks 10:30 - 10:50		ISSTA Technical Papers Test Selection for Deep Neural Networks using Meta-Models with Uncertai ... 10:50 - 11:10			ISSTA Technical Papers Datactive: Data Fault Localization for Object Detection Systems 11:10 - 11:30			ISSTA Technical Papers TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Mode ... 11:30 - 11:50									ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award Precise Compositional Buffer Overflow Detection via Heap Disjointness 13:30 - 13:50		ISSTA Technical Papers Finding Cuts in Static Analysis Graphs to Debloat Software 13:50 - 14:10		ISSTA Technical Papers Scalable, Sound, and Accurate Jump Table Analysis 14:10 - 14:30				ISSTA Technical Papers Better Not Together: Staged Solving for Context-Free Language Reachability 14:30 - 14:50				ISSTA Technical Papers Model-less Is the Best Model: Generating Pure Code Implementations to R ... 15:30 - 15:50		ISSTA Technical Papers Decomposition of Deep Neural Networks into Modules via Mutation Analysis 15:50 - 16:10		ISSTA Technical Papers Large Language Models Can Connect the Dots: Exploring Model Optimizatio ... 16:10 - 16:30			ISSTA Technical Papers DistillSeq: A Framework for Safety Alignment Testing in Large Language ... 16:30 - 16:50		ISSTA Technical Papers Evaluating Deep Neural Networks in Deployment: A Comparative Study (Rep ... 16:50 - 17:10

Fri 20 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	17:00	15	30	45
EI 10 Fritz Paschke											ISSTA Technical Papers Inconsistencies in TeX-Produced Documents 10:30 - 10:50		ISSTA Technical Papers Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis 10:50 - 11:10		ISSTA Technical Papers Towards Understanding the Bugs in Solidity Compiler 11:10 - 11:30		ISSTA Technical Papers Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Ann ... 11:30 - 11:50								ISSTA Technical Papers Empirical Study of Move Smart Contract Security: Introducing MoveScan f ... 13:30 - 13:50		ISSTA Technical Papers FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Inv ... 13:50 - 14:10		ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award Identifying Smart Contract Security Issues in Code Snippets from Stack ... 14:10 - 14:30		ISSTA Technical Papers Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedb ... 14:30 - 14:50				ISSTA Technical Papers Enhancing Robustness of Code Authorship Attribution through Expert Feat ... 15:30 - 15:50		ISSTA Technical Papers Your “Notice” Is Missing: Detecting and Fixing Violations of Modificati ... 15:50 - 16:10		ISSTA Technical Papers DeLink: Source File Information Recovery in Binaries 16:10 - 16:30
EI 2 Pichelmayer											FTfJP Static Analysis for Software Security: Detecting Data Races in C 10:30 - 11:30						FTfJP Towards a model checker for Python: pymodcheck 11:30 - 12:00								FTfJP Sound Static Analysis for Microservices: Utopia? A preliminary experien ... 13:30 - 14:00			FTfJP Towards a Sound Construction of EVM Bytecode Control-flow Graphs 14:00 - 14:30			FTfJP Abstract Interpretation of Java Bytecode in Sturdy 14:30 - 15:00				FTfJP Disjoint Polymorphism with Intersection and Union Types 15:30 - 16:00			FTfJP Coeffects for MiniJava: Cf-Mj 16:00 - 16:30			FTfJP Dafny vs. Dala: Experience with Mechanising Language Design 16:30 - 17:00		FTfJP Incrementalizing Polynomial Functors 17:00 - 17:30
EI 3 Sahulka											ISSTA Technical Papers Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries 10:30 - 10:50		ISSTA Technical Papers Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps 10:50 - 11:10		ISSTA Technical Papers NativeSummary: Summarizing Native Binary Code for Inter-language Static ... 11:10 - 11:30		ISSTA Technical Papers Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual O ... 11:30 - 11:50								ISSTA Technical Papers VioHawk: Detecting Traffic Violations of Autonomous Driving Systems thr ... 13:30 - 13:50		ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award Exploration-Driven Reinforcement Learning for Avionic System Fault Dete ... 13:50 - 14:10		ISSTA Technical Papers DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation ... 14:10 - 14:30		ISSTA Technical Papers CooTest: An Automated Testing Approach for V2X Communication Systems 14:30 - 14:50
EI 4 Reithoffer											PLF Real World Local-First Deployments In Industry: An Experience Report 10:30 - 12:00														PLF Agreement without Coordination - Revisiting Consensus from a Local-Firs ... 13:30 - 14:00			PLF Undo and Redo in Concurrent Multifaceted Low-code Application Models 14:00 - 14:30			PLF Orthogonal Synchronization Revisited 14:30 - 15:00				PLF Discussion Round 15:30 - 17:00
EI 5 Hochenegg					ICOOOLPS Miri: Practical Undefined Behavior Detection for Rust 09:00 - 10:00						ICOOOLPS Structured concurrency in Hylo 10:30 - 11:30						ICOOOLPS Stack-copying Delimited Continuations for Scala Native 11:30 - 12:00
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
EI 9 Hlawka											ISSTA Technical Papers Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Langu ... 10:30 - 10:50		ISSTA Technical Papers Total Recall? How Good Are Static Call Graphs Really? 10:50 - 11:10		ISSTA Technical Papers Call Graph Soundness in Android Static Analysis 11:10 - 11:30		ISSTA Technical Papers Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource ... 11:30 - 11:50								ISSTA Technical Papers Segment-Based Test Case Prioritization: A Multi-objective Approach 13:30 - 13:50		ISSTA Technical Papers Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Tes ... 13:50 - 14:10		ISSTA Technical Papers Synthesis-Based Enhancement for GUI Test Case Migration 14:10 - 14:30		ISSTA Technical Papers Revisiting Test-Case Prioritization on Long-Running Test Suites 14:30 - 14:50				ISSTA Technical Papers Enhancing Multi-agent System Testing with Diversity-Guided Exploration ... 15:30 - 15:50		ISSTA Technical Papers Commit Artifact Preserving Build Prediction 15:50 - 16:10		ISSTA Technical Papers Detecting Build Dependency Errors in Incremental Builds 16:10 - 16:30

ISSTA/ECOOP 2024 Program

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

Tracks

Co-hosted Conferences

Workshops

Tutorials

ISSTA/ECOOP 2024 Program

Switch Program View

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

Get Calendar (iCal)

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