Program - ECOOP and ISSTA 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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 17 Jul
Displayed time zone: Pacific Time (US & Canada) 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
Amazon Auditorium (Gates G20)							FUZZING Welcome and Introductions 09:00 - 09:15	FUZZING Three Colours of Fuzzing: Reflections and Open Challenges 09:15 - 10:00					FUZZING Fishbowl Conversation 10:30 - 11:30						FUZZING Reflections on preregistration-based publication model 11:30 - 12:00								FUZZING Rich coverage signal and the consequences for scaling 13:30 - 14:15					FUZZING Large Language Models for Fuzzing Parsers 14:15 - 14:30	FUZZING Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage 14:30 - 14:45	FUZZING Grammar Mutation for Testing Input Parsers 14:45 - 15:00			FUZZING CrabSandwich: Fuzzing Rust with Rust 15:30 - 15:45			FUZZING Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers 15:45 - 16:00		FUZZING DiPri: Distance-based Seed Prioritization for Greybox Fuzzing 16:00 - 16:15	FUZZING InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through ... 16:15 - 16:30	FUZZING Multi-phase Parallel Fuzzer 16:30 - 16:45	FUZZING Concluding Remarks 16:45 - 17:00
Bezos Seminar Room (Gates G04)			DEBT Welcome 08:30 - 08:45		DEBT Language-Based Debugging 08:45 - 10:00								DEBT Using Object-Sequence Diagrams for Debugging 10:30 - 11:00				DEBT Debugging Video Games: A Systematic Mapping 11:00 - 11:30		DEBT Searching for Justice in Programming Language Design 11:30 - 12:00								DEBT Symbolic Debugging with Gillian 13:30 - 14:00				DEBT Demo: Debugging Constraint Devices with EDWARD 14:00 - 14:30		DEBT Program State Visualizer with User-Defined Representation Conversion 14:30 - 15:00				DEBT Discussion 15:30 - 16:30
Habib Classroom (Gates G01)						COP Opening 08:50 - 09:00	COP Temporal Layers: Reactive Activation Scope of First-class Layer Instances 09:00 - 09:30		COP Towards Virtual Machine Support for Contextual Role-Oriented Programmin ... 09:30 - 10:00
Madrona Seminar Room (Gates 371)			ECOOP and ISSTA Doctoral Symposium Introduction and welcome to the Doctoral Symposium 08:30 - 08:35	ECOOP and ISSTA Doctoral Symposium How to get your Ph.D. DONE! 08:35 - 09:35									ECOOP and ISSTA Doctoral Symposium Automatic Testing and Benchmarking for Configurable Static Analysis Tools 10:30 - 10:38	ECOOP and ISSTA Doctoral Symposium Optimizing Continuous Development and Predicting Test Information in So ... 10:38 - 10:43	ECOOP and ISSTA Doctoral Symposium Sparse Symbolic Execution 10:43 - 10:51	ECOOP and ISSTA Doctoral Symposium Understanding and Improving the Adoption of Large Language Models 10:51 - 10:56											ECOOP and ISSTA Doctoral Symposium Quantitative Robustness Analysis of Neural Networks 13:30 - 13:38	ECOOP and ISSTA Doctoral Symposium Harnessing Large Language Models for Simulink Toolchain Testing and Dev ... 13:38 - 13:46	ECOOP and ISSTA Doctoral Symposium Fairness Testing For Recommender Systems 13:46 - 13:51	ECOOP and ISSTA Doctoral Symposium General advice for your PhD career 13:51 - 14:01	ECOOP and ISSTA Doctoral Symposium Planning your dissertation topic 14:01 - 14:26						ECOOP and ISSTA Doctoral Symposium Reasoning About MLIR Semantics Through Algebraic Effects and Handlers 15:30 - 15:35	ECOOP and ISSTA Doctoral Symposium Quantitative Symbolic Similarity Analysis 15:35 - 15:40	ECOOP and ISSTA Doctoral Symposium Type Automata 15:40 - 15:48		ECOOP and ISSTA Doctoral Symposium How to conduct impactful research 15:48 - 16:13
Microsoft Atrium (Allen Center)	ECOOP and ISSTA Catering Break 08:00 - 08:30										ECOOP and ISSTA Catering Break 10:00 - 10:30																								ECOOP and ISSTA Catering Break 15:00 - 15:30
Smith Classroom (Gates G10)					ICOOOLPS Welcome and Introduction 08:45 - 09:00		ICOOOLPS Deegen: a meta-compiler approach for high performance VMs at low engine ... 09:00 - 10:00						ICOOOLPS Towards Reliable Memory Management for Python Native Extensions 10:30 - 11:00														ICOOOLPS A Retrospective on Julia 13:30 - 14:30						ICOOOLPS Lazy Code Transformations in a Formally Verified Compiler 14:30 - 15:00				ICOOOLPS Round table 15:30 - 16:15
Zillow Commons (Gates 4th Floor)																					ECOOP and ISSTA Catering Lunch 12:00 - 13:30

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) 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
Amazon Auditorium (Gates G20)					ECOOP and ISSTA Keynotes Towards Code-Aware Code Models 09:00 - 10:00						ISSTA Technical Papers Improving Spectrum-Based Localization of Multiple Faults by Iterative T ... 10:30 - 10:45	ISSTA Technical Papers A Bayesian Framework for Automated Debugging 10:45 - 11:00			ISSTA Technical Papers ConfFix: Repairing Configuration Compatibility Issues in Android Apps 11:00 - 11:15		ISSTA Technical Papers Quantitative Policy Repair for Access Control on the Cloud 11:15 - 11:30	ISSTA Technical Papers Automated Program Repair from Fuzzing Perspective 11:30 - 11:45											ISSTA Technical Papers API2Vec: Learning Representations of API Sequences for Malware Detection 13:30 - 13:45		ISSTA Technical PapersACM SIGSOFT Distinguished Paper CONCORD: Clone-Aware Contrastive Learning for Source Code 13:45 - 14:00			ISSTA Technical Papers Type Batched Program Reduction 14:00 - 14:15			ISSTA Technical Papers CodeGrid: A Grid Representation of Code 14:15 - 14:30			ISSTA Technical Papers Guided Retraining to Enhance the Detection of Difficult Android Malware 14:30 - 14:45			ISSTA Technical Papers Automatically Reproducing Android Bug Reports using Natural Language Pr ... 14:45 - 15:00
Anderson Seminar Room (Gates 271)					FTfJP State of state in Dafny 09:00 - 10:00						FTfJP Verifying C++ dynamic binding 10:30 - 10:55			FTfJP Correctness-by-Construction meets Refinement Types 10:55 - 11:10		FTfJP Towards Verified Scalable Parallel Computing with Coq and Spark 11:10 - 11:35			FTfJP Constructing Structured SSA from FJ 11:35 - 12:00										FTfJP Gradual Guarantee for FJ with lambda-expressions 13:30 - 13:55				FTfJP Points-to Analysis for Context-Oriented JavaScript Programs 13:55 - 14:20					FTfJP Dependency-free Capture Tracking 14:20 - 14:45									FTfJP Runtime verification of hash code in mutable classes 15:30 - 15:55				FTfJP Verifying Well-Typedness Preservation of Refactorings using Scope Graphs 15:55 - 16:20					FTfJP Using Rewrite Strategies for Efficient Functional Automatic Differentiation 16:25 - 16:45
Bezos Seminar Room (Gates G04)																											ISSTA Technical Papers Understanding Breaking Changes in the Wild 15:30 - 15:40		ISSTA Technical Papers LiResolver: License Incompatibility Resolution for Open Source Software 15:40 - 15:50	ISSTA Technical Papers An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Sof ... 15:50 - 16:00		ISSTA Technical PapersACM SIGSOFT Distinguished Paper An Empirical Study of Functional Bugs in Android Apps 16:00 - 16:10		ISSTA Technical Papers Testing the Compiler for a New-Born Programming Language: An Industrial ... 16:10 - 16:20		ISSTA Technical Papers An Empirical Study on the Effects of Obfuscation on Static Machine Lear ... 16:20 - 16:30		ISSTA Technical Papers Security Checking of Trigger-Action-Programming Smart Home Integrations 16:30 - 16:40		ISSTA Technical Papers Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosyst ... 16:40 - 16:50		ISSTA Technical Papers Who Judges the Judge: An Empirical Study on Online Judge Tests 16:50 - 17:00
Habib Classroom (Gates G01)																											ISSTA Tool Demonstrations DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issue ... 13:30 - 13:36	ISSTA Tool Demonstrations EvoSpex: A Search-based Tool for Postcondition Inference 13:36 - 13:42	ISSTA Tool Demonstrations ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static ... 13:42 - 13:49	ISSTA Tool Demonstrations KeenTune: Automated Tuning Tool for Cloud Application Performance Testi ... 13:49 - 13:55	ISSTA Tool Demonstrations EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer 13:55 - 14:02	ISSTA Tool Demonstrations KDAlloc: The KLEE Deterministic Allocator 14:02 - 14:08		ISSTA Tool Demonstrations RustSmith: Random Differential Compiler Testing for Rust 14:08 - 14:15	ISSTA Tool Demonstrations SymRustC: A Hybrid Fuzzer for Rust 14:15 - 14:21	ISSTA Tool Demonstrations TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break 14:21 - 14:27	ISSTA Tool Demonstrations MetaData262: Automatic Test Suite Selection for Partial JavaScript Impl ... 14:27 - 14:34		ISSTA Tool Demonstrations PExReport-Maven: Creating Pruned Executable Cross-Project Failure Repor ... 14:34 - 14:40	ISSTA Tool Demonstrations RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Fram ... 14:40 - 14:47	ISSTA Tool Demonstrations Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms 14:47 - 14:53		ISSTA Tool Demonstrations Oven: Safe and Live Communication Protocols in Scala, using Synthetic B ... 14:53 - 15:00			ISSTA Technical Papers Fine-Grained Code Clone Detection with Block-Based Splitting of Abstrac ... 15:30 - 15:40	ISSTA Technical Papers Hybrid Inlining: A Framework for Compositional and Context-Sensitive St ... 15:40 - 15:50	ISSTA Technical Papers CGuard: Scalable and Precise Object Bounds Protection for C 15:50 - 16:00		ISSTA Technical PapersACM SIGSOFT Distinguished Artifact Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fi ... 16:00 - 16:10		ISSTA Technical Papers GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM T ... 16:10 - 16:20	ISSTA Technical Papers Splendor: Static Detection of Stored XSS in Modern Web Applications 16:20 - 16:30		ISSTA Technical PapersACM SIGSOFT Distinguished Paper Improving Bit-Blasting for Nonlinear Integer Constraints 16:30 - 16:40		ISSTA Technical Papers Loop Invariant Inference through SMT Solving Enhanced Reinforcement Lea ... 16:40 - 16:50
Madrona Seminar Room (Gates 371)											VORTEX Runtime Monitoring of Human Behaviour with Aggregate Computing on Android 10:30 - 10:50		VORTEX On Stream Runtime Verification and Aggregate Programming 10:50 - 11:10			VORTEX Combining Static and Runtime Verification with AC and Coq 11:10 - 11:30													VORTEX RV4Rasa: a formalism-agnostic Runtime Verification framework for verify ... 13:30 - 14:00					VORTEX Monitoring for resource-awareness 14:00 - 14:20
Microsoft Atrium (Allen Center)	ECOOP and ISSTA Catering Break 08:00 - 08:30								ECOOP and ISSTA Catering Break 10:00 - 10:30																																			ECOOP and ISSTA Catering Break 15:00 - 15:30			ECOOP and ISSTA Student Research Competition ExplainThis: Teaching a New Programming Language and Paradigm Using Con ... 15:30 - 17:00 An empirical evaluation of commit-untangling tools 15:30 - 17:00 Object Synthesis for Automated Test Generation 15:30 - 17:00 Out-of-place Multiverse Debugging for Constraint Devices 15:30 - 17:00 Determinism with Intersection and Union Types 15:30 - 17:00 An Exploration of Static Variability Bug Detection Through Desugaring 15:30 - 17:00 Characterizing WebAssembly Performance in the Era of Serverless Computing 15:30 - 17:00 LibAE: An Area Exploration Technology for Detecting Third-party Librari ... 15:30 - 17:00 Enhancing Web Test Script Repair using Integrated UI Structural and Vis ... 15:30 - 17:00 An Empirical Study of Nondeterministic Behavior and Its Causes in Stati ... 15:30 - 17:00 DeltaNN: Differential Testing to Evaluate Robustness of Image Recogniti ... 15:30 - 17:00 Specification-Driven Synthesis of Summaries for Symbolic Execution 15:30 - 17:00 LATCH: Enabling Large-scale Tests on Constraint Systems 15:30 - 17:00 Context-adaptive Automated Testing for Deep Learning Model 15:30 - 17:00 An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dat ... 15:30 - 17:00 Polymorphism for Programming With Versions 15:30 - 17:00 Towards Reliable Memory Management for Python Native Extensions 15:30 - 17:00
Smith Classroom (Gates G10)											ISSTA Technical Papers Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing 10:30 - 10:45	ISSTA Technical Papers Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerabilit ... 10:45 - 11:00			ISSTA Technical Papers ItyFuzz: Snapshot-Based Fuzzer for Smart Contract 11:00 - 11:15		ISSTA Technical Papers Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libr ... 11:15 - 11:30	ISSTA Technical Papers Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Re ... 11:30 - 11:45		ISSTA Technical Papers Green Fuzzer Benchmarking 11:45 - 12:00									ISSTA Technical Papers Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Bas ... 13:30 - 13:45		ISSTA Technical PapersACM SIGSOFT Distinguished Paper Beware of the Unexpected: Bimodal Taint Analysis 13:45 - 14:00			ISSTA Technical Papers OCFI: Make Function Entry Identification Hard Again 14:00 - 14:15			ISSTA Technical Papers Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harne ... 14:15 - 14:30			ISSTA Technical PapersACM SIGSOFT Distinguished Artifact That’s a Tough Call: Studying the Challenges of Call Graph Construction ... 14:30 - 14:45			ISSTA Technical PapersACM SIGSOFT Distinguished Paper Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Ex ... 14:45 - 15:00				ISSTA Technical Papers COME: Commit Message Generation with Modification Embedding 15:30 - 15:40	ISSTA Technical Papers CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation 15:40 - 15:50		ISSTA Technical Papers Towards More Realistic Evaluation for Neural Test Oracle Generation 15:50 - 16:00		ISSTA Technical Papers Detecting Condition-Related Bugs with Control Flow Graph Neural Network 16:00 - 16:10	ISSTA Technical Papers RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring 16:10 - 16:20		ISSTA Technical Papers Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? 16:20 - 16:30		ISSTA Technical Papers Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experiment ... 16:30 - 16:40
Zillow Commons (Gates 4th Floor)																					ECOOP and ISSTA Catering Lunch 12:00 - 13:30

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) 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
Amazon Auditorium (Gates G20)			ECOOP and ISSTA Keynotes Reflections on the Impact of Calculating Source Line Level Energy Infor ... 08:30 - 09:15			ECOOP and ISSTA Keynotes AITO Test of Time Award: Why Programming Languages Matter: Reflections ... 09:15 - 10:00					ECOOP Research Papers Semantics for Noninterference with Interaction Trees 10:30 - 10:45	ECOOP Research Papers Interaction Tree Specifications: A Framework for Specifying Recursive, ... 10:45 - 11:00	ECOOP Research Papers Multi-Graded Featherweight Java 11:00 - 11:15	ECOOP Research Papers Wiring circuits is easy as {0, 1, ω}, or is it… 11:15 - 11:30	ECOOP Research Papers Automata Learning with an Incomplete Teacher 11:30 - 11:45	ECOOP Research Papers A Direct-Style Effect Notation for Sequential and Parallel Programs 11:45 - 12:00								ECOOP Research Papers Behavioural Types for Local-First Software 13:30 - 13:45		ECOOP Research Papers Algebraic Replicated Data Types: Programming Secure Local-First Software 13:45 - 14:00		ECOOP Research Papers Modular Verification of State-Based CRDTs in Separation Logic 14:00 - 14:15		ECOOP Research Papers VeriFx: Correct Replicated Data Types for the Masses 14:15 - 14:30	ECOOP Research Papers Nested Pure Operation-Based CRDTs 14:30 - 14:45	ECOOP Research Papers LoRe: A Programming Model for Verifiably Safe Local-First Software 14:45 - 15:00			ECOOP Research Papers Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Im ... 15:30 - 15:45		ECOOP Research Papers Asynchronous Multiparty Session Type Implementability is Decidable – Le ... 15:45 - 16:00		ECOOP Research Papers Dynamically Updatable Multiparty Session Protocols 16:00 - 16:15		ECOOP Research Papers Designing Asynchronous Multiparty Protocols with Crash-Stop Failures 16:15 - 16:30		ECOOP Research Papers ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs 16:30 - 16:45		ECOOP Research Papers Information Flow Analysis for Detecting Non-Determinism in Blockchain 16:45 - 17:00
Bezos Seminar Room (Gates G04)																							ISSTA Technical Papers SmartState: Detecting State-Reverting Vulnerabilities in Smart Contract ... 15:30 - 15:40	ISSTA Technical Papers DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols 15:40 - 15:50	ISSTA Technical Papers Beyond “Protected” and “Private”: An Empirical Security Analysis of Cus ... 15:50 - 16:00		ISSTA Technical Papers Testing Automated Driving Systems by Breaking Many Laws Efficiently 16:00 - 16:10	ISSTA Technical Papers Simulation-Based Validation for Autonomous Driving Systems 16:10 - 16:20	ISSTA Technical Papers Data Constraint Mining for Automatic Reconciliation Scripts Generation 16:20 - 16:30
Habib Classroom (Gates G01)											ISSTA Technical Papers Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study ... 10:30 - 10:45	ISSTA Technical Papers PhysCov: Physical Test Coverage for Autonomous Vehicles 10:45 - 11:00	ISSTA Technical Papers BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving S ... 11:00 - 11:15	ISSTA Technical Papers Building Critical Testing Scenarios for Autonomous Driving from Real Ac ... 11:15 - 11:30	ISSTA Technical Papers Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Uni ... 11:30 - 11:45	ISSTA Technical Papers Concept-Based Automated Grading of CS-1 Programming Assignments 11:45 - 12:00								ISSTA Technical PapersACM SIGSOFT Distinguished Paper Guiding Greybox Fuzzing with Mutation Testing 13:30 - 13:45		ISSTA Technical Papers Rare Path Guided Fuzzing 13:45 - 14:00		ISSTA Technical Papers Finding Short Slow Inputs Faster with Grammar-Based Search 14:00 - 14:15		ISSTA Technical Papers Fuzzing Embedded Systems using Debug Interfaces 14:15 - 14:30	ISSTA Technical PapersACM SIGSOFT Distinguished Paper GrayC: Greybox Fuzzing of Compilers and Analysers for C 14:30 - 14:45	ISSTA Technical Papers Fuzzing Deep Learning Compilers with HirGen 14:45 - 15:00			ISSTA Technical Papers DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity 15:30 - 15:40	ISSTA Technical Papers Precise and Efficient Patch Presence Test for Android Applications agai ... 15:40 - 15:50		ISSTA Technical Papers DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps 15:50 - 16:00	ISSTA Technical Papers Exploring Missed Optimizations in WebAssembly Optimizers 16:00 - 16:10	ISSTA Technical Papers Vectorizing Program Ingredients for Better JVM Testing 16:10 - 16:20		ISSTA Technical Papers 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing 16:20 - 16:30	ISSTA Technical Papers SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/T ... 16:30 - 16:40	ISSTA Technical Papers Silent Compiler Bug De-duplication via Three-Dimensional Analysis 16:40 - 16:50		ISSTA Technical Papers Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hard ... 16:50 - 17:00
Microsoft Atrium (Allen Center)	ECOOP and ISSTA Catering Break 08:00 - 08:30								ECOOP and ISSTA Catering Break 10:00 - 10:30																								ECOOP and ISSTA Catering Break 15:00 - 15:30		ISSTA Tool Demonstrations KeenTune: Automated Tuning Tool for Cloud Application Performance Testi ... 15:30 - 17:00 RustSmith: Random Differential Compiler Testing for Rust 15:30 - 17:00 PExReport-Maven: Creating Pruned Executable Cross-Project Failure Repor ... 15:30 - 17:00 EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer 15:30 - 17:00 KDAlloc: The KLEE Deterministic Allocator 15:30 - 17:00 TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break 15:30 - 17:00 SymRustC: A Hybrid Fuzzer for Rust 15:30 - 17:00 ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static ... 15:30 - 17:00 EvoSpex: A Search-based Tool for Postcondition Inference 15:30 - 17:00 Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms 15:30 - 17:00 DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issue ... 15:30 - 17:00 Oven: Safe and Live Communication Protocols in Scala, using Synthetic B ... 15:30 - 17:00 MetaData262: Automatic Test Suite Selection for Partial JavaScript Impl ... 15:30 - 17:00 RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Fram ... 15:30 - 17:00
Smith Classroom (Gates G10)											ISSTA Technical Papers Understanding and Tackling Label Errors in Deep Learning-Based Vulnerab ... 10:30 - 10:45	ISSTA Technical Papers Improving Binary Code Similarity Transformer Models by Semantics-Driven ... 10:45 - 11:00	ISSTA Technical Papers CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and ... 11:00 - 11:15	ISSTA Technical Papers DeepAtash: Focused Test Generation for Deep Learning Systems 11:15 - 11:30	ISSTA Technical Papers Systematic Testing of the Data-Poisoning Robustness of KNN 11:30 - 11:45	ISSTA Technical Papers Semantic-Based Neural Network Repair 11:45 - 12:00								ISSTA Technical Papers FairRec: Fairness Testing for Deep Recommender Systems 13:30 - 13:45		ISSTA Technical Papers DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Grap ... 13:45 - 14:00		ISSTA Technical Papers Validating Multimedia Content Moderation Software via Semantic Fusion 14:00 - 14:15		ISSTA Technical Papers What You See Is What You Get? It Is Not the Case! Detecting Misleading ... 14:15 - 14:30	ISSTA Technical Papers How Effective Are Neural Networks for Fixing Security Vulnerabilities 14:30 - 14:45	ISSTA Technical Papers ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-B ... 14:45 - 15:00			ISSTA Technical Papers A Tale of Two Approximations: Tightening Over-Approximation for DNN Rob ... 15:30 - 15:40	ISSTA Technical Papers In Defense of Simple Techniques for Neural Network Test Case Selection 15:40 - 15:50		ISSTA Technical Papers ROME: Testing Image Captioning Systems via Recursive Object Melting 15:50 - 16:00	ISSTA Technical Papers ACETest: Automated Constraint Extraction for Testing Deep Learning Oper ... 16:00 - 16:10	ISSTA Technical Papers Latent Imitator: Generating Natural Individual Discriminatory Instances ... 16:10 - 16:20		ISSTA Technical Papers CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems 16:20 - 16:30	ISSTA Technical Papers Back Deduction Based Testing for Word Sense Disambiguation Ability of M ... 16:30 - 16:40	ISSTA Technical Papers CydiOS: A Model-Based Testing Framework for iOS Apps 16:40 - 16:50
Zillow Commons (Gates 4th Floor)																	ECOOP and ISSTA Catering Lunch 12:00 - 13:30

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) 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
Amazon Auditorium (Gates G20)			ECOOP and ISSTA Keynotes ECOOP: Dahl-Nygaard Prize Ceremony and Awards 08:30 - 09:00		ECOOP and ISSTA Keynotes Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capa ... 09:00 - 10:00						ISSTA Technical Papers A Comprehensive Study on Quality Assurance Tools for Java 10:30 - 10:45	ISSTA Technical Papers Transforming Test Suites into Croissants 10:45 - 11:00	ISSTA Technical Papers SlipCover: Near Zero-Overhead Code Coverage for Python 11:00 - 11:15	ISSTA Technical Papers To Kill a Mutant: An Empirical Study of Mutation Testing Kills 11:15 - 11:30	ISSTA Technical Papers Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests 11:30 - 11:45	ISSTA Technical Papers Extracting Inline Tests from Unit Tests 11:45 - 12:00							ISSTA Technical Papers Dependency-Aware Metamorphic Testing of Datalog Engines 13:30 - 13:45	ISSTA Technical Papers GDsmith: Detecting Bugs in Cypher Graph Database Engines 13:45 - 14:00	ISSTA Technical Papers Testing Graph Database Engines via Query Partitioning 14:00 - 14:15	ISSTA Technical Papers Toward Automated Detecting Unanticipated Price Feed in Smart Contract 14:15 - 14:30	ISSTA Technical Papers Definition and Detection of Defects in NFT Smart Contracts 14:30 - 14:45				ECOOP and ISSTA Keynotes Machine Learning for Software Engineering 15:30 - 16:30				ECOOP and ISSTA Keynotes ISSTA'24 Preview 16:30 - 16:45	ECOOP and ISSTA Keynotes ISSTA Closing 16:45 - 17:00
Habib Classroom (Gates G01)											ECOOP Research Papers Python Type Hints are Turing Complete 10:30 - 10:45	ECOOP Research Papers Restrictable Variants: A Simple and Practical Alternative to Extensible ... 10:45 - 11:00	ECOOP Research Papers Modular Compilation for Higher-order Functional Choreographies 11:00 - 11:15	ECOOP Research Papers Programming with Purity Reflection: Peaceful Coexistence of Effects, La ... 11:15 - 11:30	ECOOP Research Papers Dependent Merges and First-Class Environments 11:30 - 11:45	ECOOP Research Papers super-Charging Object-Oriented Programming Through Precise Typing of Op ... 11:45 - 12:00							ECOOP Research Papers Synthesis-Aided Crash Consistency for Storage Systems 13:30 - 13:45	ECOOP Research Papers Synthesizing Conjunctive Queries for Code Search 13:45 - 14:00	ECOOP Research Papers Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis usin ... 14:00 - 14:15	ECOOP Research Papers Building Code Transpilers for Domain-Specific Languages Using Program S ... 14:15 - 14:30	ECOOP Research Papers Do Machine Learning Models Produce TypeScript Types that Type Check? 14:30 - 14:45	ECOOP Research Papers Toward Tool-Independent Summaries for Symbolic Execution 14:45 - 15:00			ECOOP Research Papers On the Rise of Modern Software Documentation 15:30 - 15:45	ECOOP Research Papers Rust for Morello: Always-on Memory Safety, Even in Unsafe Code 15:45 - 16:00	ECOOP Research Papers Modular Abstract Definitional Interpreters for WebAssembly 16:00 - 16:15	ECOOP Research Papers Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through ... 16:15 - 16:30	ECOOP Research Papers The Dolorem Pattern: Growing a Language through Compile-Time Function E ... 16:30 - 16:45	ECOOP Research Papers Breaking the Negative Cycle: Exploring the Design Space of Stratificati ... 16:45 - 17:00
Microsoft Atrium (Allen Center)	ECOOP and ISSTA Catering Break 08:00 - 08:30								ECOOP and ISSTA Catering Break 10:00 - 10:30																				ECOOP and ISSTA Catering Break 15:00 - 15:30
Smith Classroom (Gates G10)											ISSTA Technical PapersACM SIGSOFT Distinguished Paper More Precise Regression Test Selection via Reasoning about Semantics-Mo ... 10:30 - 10:45	ISSTA Technical Papers Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration 10:45 - 11:00	ISSTA Technical Papers Applying and Extending the Delta Debugging Algorithm for Elevator Dispa ... 11:00 - 11:15	ISSTA Technical Papers June: A Type Testability Transformation for Improved ATG Performance 11:15 - 11:30	ISSTA Technical Papers Pattern-Based Peephole Optimizations with Java JIT Tests 11:30 - 11:45	ISSTA Technical PapersACM SIGSOFT Distinguished Artifact GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper) 11:45 - 12:00							ISSTA Technical Papers Enhancing REST API Testing with NLP Techniques 13:30 - 13:45	ISSTA Technical PapersACM SIGSOFT Distinguished Artifact AGORA: Automated Generation of Test Oracles for REST APIs 13:45 - 14:00	ISSTA Technical Papers ωTest: WebView-Oriented Testing for Android Applications 14:00 - 14:15	ISSTA Technical Papers NodeRT: Detecting Races in Node.js Applications Practically 14:15 - 14:30	ISSTA Technical Papers iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agre ... 14:30 - 14:45	ISSTA Technical PapersACM SIGSOFT Distinguished Paper Automated Generation of Security-Centric Descriptions for Smart Contrac ... 14:45 - 15:00
Zillow Commons (Gates 4th Floor)																	ECOOP and ISSTA Catering Lunch 12:00 - 13:30

Fri 21 Jul
Displayed time zone: Pacific Time (US & Canada) 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
Amazon Auditorium (Gates G20)			ECOOP and ISSTA Keynotes ECOOP: Outlooks and Farewells 08:30 - 09:00		ECOOP and ISSTA Keynotes Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond! 09:00 - 10:00						ECOOP Research Papers On using VeriFast, VerCors, Plural, and KeY to check object usage 10:30 - 10:45	ECOOP Research Papers Exact Separation Logic 10:45 - 11:00	ECOOP Research Papers Morpheus: Automated Safety Verification of Data-dependent Parser Combin ... 11:00 - 11:15	ECOOP Research Papers Constraint Based Compiler Optimization for Energy Harvesting Applications 11:15 - 11:30	ECOOP Research Papers Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises 11:30 - 11:45	ECOOP Research Papers On Leveraging Tests to Infer Nullable Annotations 11:45 - 12:00
Microsoft Atrium (Allen Center)	ECOOP and ISSTA Catering Break 08:00 - 08:30								ECOOP and ISSTA Catering Break 10:00 - 10:30
Zillow Commons (Gates 4th Floor)																	ECOOP and ISSTA Catering Lunch 12:00 - 13:30

ECOOP and ISSTA 2023 Program

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

Fri 21 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

ECOOP and ISSTA 2023 Program

Switch Program View

Program Display Configuration

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

Fri 21 JulDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

Fri 21 Jul
Displayed time zone: Pacific Time (US & Canada) change