Room information: Auditorium M003

Entrances from the basement and from ground floor.

• Detailed Table
• Session Timeline
• Detailed Timeline

This program is tentative and subject to change.

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

Mon 30 Jun

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

	09:00 - 09:15	Opening & AITO Dahl-Nygaard Senior Prize introductionECOOP Technical Papers at Auditorium M003

	09:15 - 10:15	Keynote 1ECOOP Technical Papers at Auditorium M003 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
	09:15 60m Keynote		"On the Power of Programming Language Design" (AITO Dahl-Nygaard Senior Prize)AITO Dahl-Nygaard Senior Prize ECOOP Technical Papers Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

	11:00 - 12:45	Formal Methods, Logics, and Static Analysis FrameworksECOOP Technical Papers at Auditorium M003 Chair(s): Marco Carbone IT University of Copenhagen
	11:00 21m Talk		Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP Technical Papers Milla Valnet Sorbonne Université, Raphaël Monat Inria and University of Lille, Antoine Miné Sorbonne Université
	11:21 21m Talk		Lightweight Diagramming for Formal Methods: A Grounded Language Design ECOOP Technical Papers Siddhartha Prasad Brown University, Ben Greenman University of Utah, Tim Nelson Brown University, Shriram Krishnamurthi Brown University
	11:42 21m Talk		Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering ECOOP Technical Papers Jiawei Yang , Xiao Cheng UNSW, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Xiapu Luo Hong Kong Polytechnic University, Yulei Sui University of New South Wales
	12:03 21m Talk		The Algebra of Patterns ECOOP Technical Papers David Binder University of Kent, UK, Lean Ermantraut Radboud University Nijmegen
	12:24 21m Talk		A theory of (linear-time) timed monitors ECOOP Technical Papers Mouloud Amara IRIF, Université Paris Cité, Giovanni Bernardi IRIF, Université Paris Cité, Mohammed Aristide Foughali Université Paris Cité / IRIF, Adrian Francalanza University of Malta

	14:00 - 15:45	Concurrency and TypesECOOP Technical Papers at Auditorium M003 Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon
	14:00 21m Talk		Contrasting Deadlock-Free Session Processes ECOOP Technical Papers Juan C. Jaramillo University of Groningen, Jorge A. Pérez University of Groningen DOI
	14:21 21m Talk		Fair Termination of Asynchronous Binary Sessions ECOOP Technical Papers Luca Padovani Department of Computer Science and Engineering - Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
	14:42 21m Talk		Incremental Computing by Differential Execution ECOOP Technical Papers Prashant Kumar , André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
	15:03 21m Talk		Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction ECOOP Technical Papers Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Marco Carbone IT University of Copenhagen
	15:24 21m Talk		Validating Persistency Semantics with Memory Hierarchy Timing Attack ECOOP Technical Papers Vasileios Klimis Queen Mary University of London

	16:15 - 17:39	Object-Oriented and Dynamic SystemsECOOP Technical Papers at Auditorium M003 Chair(s): Sebastian Erdweg JGU Mainz
	16:15 21m Talk		Declarative Dynamic Object Reclassification ECOOP Technical Papers Riccardo Sieve University of Oslo, Eduard Kamburjan IT University of Copenhagen, Ferruccio Damiani University of Turin, Einar Broch Johnsen University of Oslo
	16:36 21m Talk		In-memory Object Graph StoresRemote ECOOP Technical Papers Aditya Thimmaiah The University of Texas at Austin, Zijian Yi The University of Texas at Austin, Joseph Kenis The University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin
	16:57 21m Talk		Spegion: Implicit and Non-Lexical Regions with Sized Allocations ECOOP Technical Papers Jack Oliver Hughes , Michael Vollmer University of Kent, Mark Batty University of Kent
	17:18 21m Talk		Type-safe and portable support for packed data ECOOP Technical Papers Arthur Jamet University of Kent, Michael Vollmer University of Kent

Tue 1 Jul

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

	09:10 - 09:15	AITO Dahl-Nygaard Junior Prize introductionECOOP Technical Papers at Auditorium M003

	09:15 - 10:15	Keynote 2ECOOP Technical Papers at Auditorium M003 Chair(s): Jonathan Aldrich Carnegie Mellon University
	09:15 60m Keynote		Language and Compiler Design for Efficient Data Science (AITO Dahl-Nygaard Junior Prize)AITO Dahl-Nygaard Junior Prize ECOOP Technical Papers Amir Shaikhha University of Edinburgh

	10:45 - 12:30	Type Systems and Program SemanticsECOOP Technical Papers at Auditorium M003 Chair(s): Sukyoung Ryu KAIST
	10:45 21m Talk		Mono Types — First-Class Containers for Datalog ECOOP Technical Papers Runqing Xu JGU Mainz, David Klopp JGU Mainz, Sebastian Erdweg JGU Mainz
	11:06 21m Talk		Monadic type-and-effect soundness ECOOP Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
	11:27 21m Talk		An Effectful Object Calculus ECOOP Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
	11:48 21m Talk		Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness ECOOP Technical Papers Pedro Carrott Imperial College London, Sacha-Élie Ayoun Imperial College London, Azalea Raad Imperial College London DOI
	12:09 21m Talk		Practical Type-Based Taint Checking and InferenceRemote ECOOP Technical Papers Nima Karimipour University of California, Riverside, Kanak Das University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia

	14:00 - 15:45	Compilation and OptimizationECOOP Technical Papers at Auditorium M003 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
	14:00 21m Talk		A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework ECOOP Technical Papers Yusuke Izawa Tokyo Metropolitan University, Hidehiko Masuhara Institute of Science Tokyo, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf Pre-print
	14:21 21m Talk		GSOHC: Global Synchronization Optimization in Heterogeneous Computing ECOOP Technical Papers Soumik Kumar Basu IIT Hyderabad, Jyothi Vedurada IIT Hyderabad
	14:42 21m Talk		Profile-Guided Field Externalization in an Ahead-of-Time Compiler ECOOP Technical Papers Sebastian Kloibhofer Johannes Kepler University Linz, Lukas Makor JKU Linz, Peter Hofer Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
	15:03 21m Talk		Reusing Highly Optimized IR in Dynamic Compilation ECOOP Technical Papers Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University
	15:24 21m Talk		Pydrofoil: accelerating Sail-based instruction set simulators ECOOP Technical Papers Martin Berger University of Sussex & Montanarius Ltd, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf, Luke Panayi Imperial College, Ferdia McKeogh University of St Andrews, Tom Spink University of St Andrews Pre-print File Attached

	16:15 - 17:39	T3ECOOP Technical Papers at Auditorium M003 Chair(s): Michael Vollmer University of Kent
	16:15 21m Talk		Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories ECOOP Technical Papers Tianyu Chen Microsoft Research Asia, Zeyu Wang Huawei Cloud Computing Technologies Co., Ltd., Lin Li Huawei Cloud Computing Technologies Co., Ltd., Ding Li Peking University, Zongyang Li Peking University, Xiaoning Chang Huawei Cloud Computing Technologies Co., Ltd., Pan Bian Huawei Technologies CO., LTD., China, Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
	16:36 21m Talk		Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions ECOOP Technical Papers Jacqueline Mitchell University of California, Davis, Chao Wang University of Southern California
	16:57 21m Talk		Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification ECOOP Technical Papers Francisco Costa University of Brasília, Brazil, Ismael Medeiros Computer Science Department / University of Brasília, Leandro Oliveira Computer Science Department / University of Brasília, João Clássio Computer Science Department / University of Brasília, Rodrigo Bonifácio UNB, Krishna Narasimhan F1RE, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE, Márcio Ribeiro Federal University of Alagoas, Brazil DOI Pre-print
	17:18 21m Talk		Ensuring Convergence and Invariants Without Coordination ECOOP Technical Papers Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel, Nuno Preguica Universidade Nova de Lisboa

Wed 2 Jul

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

	09:00 - 09:15	ECOOP Awards CeremonyECOOP Technical Papers at Auditorium M003

	09:15 - 10:15	Keynote 3ECOOP Technical Papers at Auditorium M003 Chair(s): Alexandra Silva Cornell University
	09:15 60m Keynote		Towards scalable formal verification ECOOP Technical Papers Petar Maksimović Nethermind; Imperial College London

	10:45 - 12:30	Program Analysis and VerificationECOOP Technical Papers at Auditorium M003 Chair(s): Einar Broch Johnsen University of Oslo
	10:45 21m Talk		Bottom-up Synthesis of Memory Mutations with Separation Logic ECOOP Technical Papers Kasra Ferdowsi University of California at San Diego, Hila Peleg Technion
	11:06 21m Talk		Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees ECOOP Technical Papers Guanqin Zhang University of New South Wales & CSIRO's Data61, Kota Fukuda Kyushu University, Zhenya Zhang Kyushu University, Japan, ‪H M N Dilum Bandara Data61, CSIRO, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jianjun Zhao Kyushu University, Yulei Sui University of New South Wales Link to publication DOI
	11:27 21m Talk		IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL ECOOP Technical Papers Matt Griffin Imperial College London, Brijesh Dongol University of Surrey, Azalea Raad Imperial College London
	11:48 21m Talk		Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis ECOOP Technical Papers Mamy Razafintsialonina Université Paris-Saclay, CEA, List, Palaiseau / Sorbonne Université, CNRS, LIP6, Paris, David Bühler Université Paris-Saclay, CEA, List, Palaiseau, Antoine Miné Sorbonne Université, Valentin Perrelle Université Paris-Saclay, CEA, List, Palaiseau, Julien Signoles Université Paris-Saclay, CEA, List
	12:09 21m Talk		RacerF: Lightweight Static Data Race Detection for C Code ECOOP Technical Papers Tomáš Dacík Faculty of Information Technology, Brno University of Technology, Tomas Vojnar Masaryk University

	14:00 - 15:45	W2ECOOP Technical Papers at Auditorium M003 Chair(s): Hila Peleg Technion
	14:00 21m Talk		Event Race Detection for Node.js Using Delay Injections ECOOP Technical Papers Andre Takeshi Endo Federal University of São Carlos, Anders Møller Aarhus University Pre-print
	14:21 21m Talk		FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote ECOOP Technical Papers Amber Gorzynski Imperial College London, Alastair F. Donaldson Imperial College London
	14:42 21m Talk		PoTo: A Hybrid Andersen's Points-to Analysis for Python ECOOP Technical Papers Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Guillaume Baudart Inria, Martin Hirzel IBM Research, Julian Dolby IBM Research
	15:03 21m Talk		Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession ECOOP Technical Papers Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
	15:24 21m Talk		WebGlitch: A Randomised Testing Tool for the WebGPU API ECOOP Technical Papers Kwok Leong Matthew Wong , Alastair F. Donaldson Imperial College London

	16:15 - 17:39	W3ECOOP Technical Papers at Auditorium M003 Chair(s): Carla Ferreira NOVA University Lisbon
	16:15 21m Talk		Automatic Goal Clone Detection in Rocq ECOOP Technical Papers Ali Ghanbari Auburn University
	16:36 21m Talk		Contract Usage and Evolution in Android Mobile Applications ECOOP Technical Papers David R. Ferreira Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon, Carolina Carreira Carnegie Mellon University, IST University of Lisbon, INESC-ID
	16:57 21m Talk		Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation ECOOP Technical Papers Sangyeop Yeo ETRI (Electronics and Telecommunications Research Institute), seung-won hwang Seoul National University, Yu-Seung Ma Electronics and Telecommunications Research Institute
	17:18 21m Talk		Contract Systems Need Domain-Specific Notations ECOOP Technical Papers Cameron Moy Northeastern University, Ryan Jung PLT @ Northeastern University, Matthias Felleisen Northeastern University

	17:40 - 18:00	Closing 3ECOOP Technical Papers at Auditorium M003 Introduction to ECOOP 2026 Final remarks ECOOP 2025

Thu 3 Jul

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

	09:00 - 10:15	Intro & KeynoteGPCE at Auditorium M003 Chair(s): Amir Shaikhha University of Edinburgh
	09:00 75m Keynote		in 2h 13 min Metaprogramming and algebra GPCE Ohad Kammar University of Edinburgh

	10:45 - 12:30	Contributed TalksGPCE at Auditorium M003 Chair(s): Torsten Layda SIX
	10:45 35m Talk		CoCoCoLa: Code Completion Control Language GPCE Nhat University of Twente, Vadim Zaytsev University of Twente
	11:20 35m Talk		Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation GPCE Iman Hemati Moghadam Eindhoven University of Technology, Oebele Lijzenga Universiteit Twente, Vadim Zaytsev University of Twente
	11:55 35m Talk		Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje

	14:00 - 15:45	Contributed TalksGPCE at Auditorium M003 Chair(s): Yukiyoshi Kameyama University of Tsukuba
	14:00 35m Talk		Integrating Static Optimization and Dynamic Nature in JavaScript GPCE Tadashi Saito The University of Electro-Communications , Hideya Iwasaki Meiji University DOI
	14:35 35m Talk		P4DDG: data-dependent grammars for packet specification and parsing in P4 GPCE Tommaso Pacciani University of Amsterdam, Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam, Chrysa Papagianni University of Amsterdam Link to publication DOI Pre-print
	15:10 35m Talk		Retrofitting a Virtual Instrument DSL with Programming Abstractions GPCE Mathias Vatter JGU Mainz, Sebastian Erdweg JGU Mainz

	16:15 - 18:00	Contributed Talks & ClosingGPCE at Auditorium M003 Chair(s): David Klopp JGU Mainz
	16:15 35m Talk		A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE Christopher Esterhuyse University of Amsterdam, Tim Müller University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam Link to publication DOI Pre-print
	16:50 35m Talk		Staged Gradual Typing GPCE Hiroto Yaguchi University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba Link to publication DOI

Hide past events

next event in 2h 13 min

Mon 30 Jun

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
Auditorium M003	ECOOP Technical Papers Opening & AITO Dahl-Nygaard Senior Prize introduction			ECOOP Technical Papers Keynote 1																					ECOOP Technical Papers Formal Methods, Logics, and Static Analysis Frameworks																																				ECOOP Technical Papers Concurrency and Types																											ECOOP Technical Papers Object-Oriented and Dynamic Systems

Tue 1 Jul

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
Auditorium M003			ECOOP Technical Papers AITO Dahl-Nygaard Junior Prize introduction	ECOOP Technical Papers Keynote 2																		ECOOP Technical Papers Type Systems and Program Semantics																																							ECOOP Technical Papers Compilation and Optimization																											ECOOP Technical Papers T3

Wed 2 Jul

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
Auditorium M003	ECOOP Technical Papers ECOOP Awards Ceremony			ECOOP Technical Papers Keynote 3																		ECOOP Technical Papers Program Analysis and Verification																																							ECOOP Technical Papers W2																											ECOOP Technical Papers W3																	ECOOP Technical Papers Closing 3

Thu 3 Jul

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
Auditorium M003	GPCE Intro & Keynote																					GPCE Contributed Talks																																							GPCE Contributed Talks																											GPCE Contributed Talks & Closing

Fri 4 Jul

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
Auditorium M003	GPCE																					GPCE																																							GPCE																											GPCE

Hide past events

Mon 30 Jun

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
Auditorium M003				ECOOP Technical PapersAITO Dahl-Nygaard Senior Prize "On the Power of Programming Language Design" (AITO Dahl-Nygaard Senior ... 09:15 - 10:15																					ECOOP Technical Papers Compositional Static Value Analysis for Higher-Order Numerical Programs 11:00 - 11:21				ECOOP Technical Papers Lightweight Diagramming for Formal Methods: A Grounded Language Design 11:21 - 11:42				ECOOP Technical Papers Taming and Dissecting Recursions through Interprocedural Weak Topologic ... 11:42 - 12:03					ECOOP Technical Papers The Algebra of Patterns 12:03 - 12:24				ECOOP Technical Papers A theory of (linear-time) timed monitors 12:24 - 12:45																			ECOOP Technical Papers Contrasting Deadlock-Free Session Processes 14:00 - 14:21				ECOOP Technical Papers Fair Termination of Asynchronous Binary Sessions 14:21 - 14:42				ECOOP Technical Papers Incremental Computing by Differential Execution 14:42 - 15:03					ECOOP Technical Papers Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Re ... 15:03 - 15:24				ECOOP Technical Papers Validating Persistency Semantics with Memory Hierarchy Timing Attack 15:24 - 15:45										ECOOP Technical Papers Declarative Dynamic Object Reclassification 16:15 - 16:36				ECOOP Technical PapersRemote In-memory Object Graph Stores 16:36 - 16:57				ECOOP Technical Papers Spegion: Implicit and Non-Lexical Regions with Sized Allocations 16:57 - 17:18					ECOOP Technical Papers Type-safe and portable support for packed data 17:18 - 17:39

Tue 1 Jul

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
Auditorium M003				ECOOP Technical PapersAITO Dahl-Nygaard Junior Prize Language and Compiler Design for Efficient Data Science (AITO Dahl-Nyga ... 09:15 - 10:15																		ECOOP Technical Papers Mono Types — First-Class Containers for Datalog 10:45 - 11:06				ECOOP Technical Papers Monadic type-and-effect soundness 11:06 - 11:27				ECOOP Technical Papers An Effectful Object Calculus 11:27 - 11:48					ECOOP Technical Papers Compositional Bug Detection for Internally Unsafe Libraries: A Logical ... 11:48 - 12:09				ECOOP Technical PapersRemote Practical Type-Based Taint Checking and Inference 12:09 - 12:30																						ECOOP Technical Papers A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual ... 14:00 - 14:21				ECOOP Technical Papers GSOHC: Global Synchronization Optimization in Heterogeneous Computing 14:21 - 14:42				ECOOP Technical Papers Profile-Guided Field Externalization in an Ahead-of-Time Compiler 14:42 - 15:03					ECOOP Technical Papers Reusing Highly Optimized IR in Dynamic Compilation 15:03 - 15:24				ECOOP Technical Papers Pydrofoil: accelerating Sail-based instruction set simulators 15:24 - 15:45										ECOOP Technical Papers Detecting Functionality-Specific Vulnerabilities via Retrieving Individ ... 16:15 - 16:36				ECOOP Technical Papers Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions 16:36 - 16:57				ECOOP Technical Papers Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Cl ... 16:57 - 17:18					ECOOP Technical Papers Ensuring Convergence and Invariants Without Coordination 17:18 - 17:39

Wed 2 Jul

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
Auditorium M003				ECOOP Technical Papers Towards scalable formal verification 09:15 - 10:15																		ECOOP Technical Papers Bottom-up Synthesis of Memory Mutations with Separation Logic 10:45 - 11:06				ECOOP Technical Papers Efficient Neural Network Verification via Order Leading Exploration of ... 11:06 - 11:27				ECOOP Technical Papers IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabel ... 11:27 - 11:48					ECOOP Technical Papers Reusing Caches and Invariants for Efficient and Sound Incremental Stati ... 11:48 - 12:09				ECOOP Technical Papers RacerF: Lightweight Static Data Race Detection for C Code 12:09 - 12:30																						ECOOP Technical Papers Event Race Detection for Node.js Using Delay Injections 14:00 - 14:21				ECOOP Technical PapersRemote FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-bas ... 14:21 - 14:42				ECOOP Technical Papers PoTo: A Hybrid Andersen's Points-to Analysis for Python 14:42 - 15:03					ECOOP Technical Papers Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for ... 15:03 - 15:24				ECOOP Technical Papers WebGlitch: A Randomised Testing Tool for the WebGPU API 15:24 - 15:45										ECOOP Technical Papers Automatic Goal Clone Detection in Rocq 16:15 - 16:36				ECOOP Technical Papers Contract Usage and Evolution in Android Mobile Applications 16:36 - 16:57				ECOOP Technical Papers Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code ... 16:57 - 17:18					ECOOP Technical Papers Contract Systems Need Domain-Specific Notations 17:18 - 17:39

Thu 3 Jul

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
Auditorium M003	GPCE Metaprogramming and algebra 09:00 - 10:15																					GPCE CoCoCoLa: Code Completion Control Language 10:45 - 11:20							GPCE Comparative Analysis of Pre-Trained Code Language Models for Automated ... 11:20 - 11:55							GPCE Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations 11:55 - 12:30																									GPCE Integrating Static Optimization and Dynamic Nature in JavaScript 14:00 - 14:35							GPCE P4DDG: data-dependent grammars for packet specification and parsing in P4 14:35 - 15:10							GPCE Retrofitting a Virtual Instrument DSL with Programming Abstractions 15:10 - 15:45													GPCE A Stable Model Semantics for eFLINT Norm Specifications and Model Check ... 16:15 - 16:50							GPCE Staged Gradual Typing 16:50 - 17:25

Hide past events