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 1Technical Papers at Auditorium M003

	09:15 - 10:15	Keynote 1Technical Papers at Auditorium M003
	09:15 60m Keynote		AITO Dahl-Nygaard Senior Prize: Mira Mezini Technical Papers Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

	10:45 - 12:30	Formal Methods, Logics, and Static Analysis FrameworksTechnical Papers at Auditorium M003
	10:45 21m Talk		A theory of (linear-time) timed monitors Technical Papers Mouloud Amara IRIF, Université Paris Cité, Giovanni Bernardi Université Paris Diderot, Mohammed Foughali Université Paris Cité / IRIF, Adrian Francalanza University of Malta
	11:06 21m Talk		Automatic Goal Clone Detection in Rocq Technical Papers Ali Ghanbari Auburn University
	11:27 21m Talk		Lightweight Diagramming for Formal Methods: A Grounded Language Design Technical Papers Siddhartha Prasad Brown University, Ben Greenman University of Utah, Tim Nelson Brown University, Shriram Krishnamurthi Brown University
	11:48 21m Talk		Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering 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:09 21m Talk		The Algebra of Patterns Technical Papers David Binder University of Kent, UK, Lean Ermantraut Radboud University Nijmegen

	14:00 - 15:45	Concurrency and TypesTechnical Papers at Auditorium M003
	14:00 21m Talk		Contrasting Deadlock-Free Session Processes Technical Papers Juan C. Jaramillo University of Groningen, Jorge A. Pérez University of Groningen Pre-print
	14:21 21m Talk		Fair Termination of Asynchronous Binary Sessions Technical Papers Luca Padovani University of Camerino, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
	14:42 21m Talk		Incremental Computing by Differential Execution 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 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 Technical Papers Vasileios Klimis Queen Mary University of London

	16:15 - 17:39	Object-Oriented and Dynamic SystemsTechnical Papers at Auditorium M003
	16:15 21m Talk		Declarative Dynamic Object Reclassification 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 Stores 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 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 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:00 - 09:15	Opening 2Technical Papers at Auditorium M003

	09:15 - 10:15	Keynote 2Technical Papers at Auditorium M003
	09:15 60m Keynote		AITO Dahl-Nygaard Junio Prize: Amir Shaikhha Technical Papers Amir Shaikhha University of Edinburgh

	10:45 - 12:30	Type Systems and Program SemanticsTechnical Papers at Auditorium M003
	10:45 21m Talk		An Effectful Object Calculus Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
	11:06 21m Talk		Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness Technical Papers Pedro Carrott Imperial College London, Sacha-Élie Ayoun Imperial College London, Azalea Raad Imperial College London Pre-print
	11:27 21m Talk		Monadic type-and-effect soundness Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
	11:48 21m Talk		Mono Types — First-Class Containers for Datalog Technical Papers Runqing Xu JGU Mainz, David Klopp JGU Mainz, Sebastian Erdweg JGU Mainz
	12:09 21m Talk		Practical Type-Based Taint Checking and Inference 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 OptimizationTechnical Papers at Auditorium M003
	14:00 21m Talk		A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework 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 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 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 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 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

	16:15 - 17:39	T3Technical Papers at Auditorium M003
	16:15 21m Talk		Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories Technical Papers Tianyu Chen Peking University, 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 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 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 Pre-print
	17:18 21m Talk		Ensuring Convergence and Invariants Without Coordination 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	Opening 3Technical Papers at Auditorium M003

	09:15 - 10:15	Keynote 3Technical Papers at Auditorium M003
	09:15 60m Keynote		Keynote: Petar Maksimovic Technical Papers Petar Maksimović Nethermind; Imperial College London

	10:45 - 12:30	Program Analysis and VerificationTechnical Papers at Auditorium M003
	10:45 21m Talk		Bottom-up Synthesis of Memory Mutations with Separation Logic 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 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
	11:27 21m Talk		IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL 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 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 Technical Papers Tomáš Dacík Faculty of Information Technology, Brno University of Technology, Tomas Vojnar Masaryk University

	14:00 - 15:45	W2Technical Papers at Auditorium M003
	14:00 21m Talk		Event Race Detection for Node.js Using Delay Injections 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 Generation 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 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 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 Technical Papers Kwok Leong Matthew Wong , Alastair F. Donaldson Imperial College London

	16:15 - 17:39	W3Technical Papers at Auditorium M003
	16:15 21m Talk		Compositional Static Value Analysis for Higher-Order Numerical Programs Technical Papers Milla Valnet Sorbonne Université, Raphaël Monat Inria and University of Lille, Antoine Miné Sorbonne Université
	16:36 21m Talk		Contract Systems Need Domain-Specific Notations Technical Papers Cameron Moy Northeastern University, Ryan Jung PLT @ Northeastern University, Matthias Felleisen Northeastern University
	16:57 21m Talk		Contract Usage and Evolution in Android Mobile Applications 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
	17:18 21m Talk		Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation 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:40 - 18:00	Closing 3Technical Papers at Auditorium M003

Thu 3 Jul

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

	09:00 - 10:15	Intro & KeynoteGPCE at Auditorium M003
	09:00 75m Keynote		Metaprogramming and algebra GPCE Ohad Kammar University of Edinburgh

	10:45 - 12:30	Contributed TalksGPCE at Auditorium M003
	10:45 35m Talk		CoCoCoLa: Code Completion Control Language GPCE Nhat Bui 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
	14:00 35m Talk		Integrating Static Optimization and Dynamic Nature in JavaScript GPCE Tadashi Saito The University of Electro-Communications , Hideya Iwasaki Meiji University
	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
	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
	16:15 52m 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
	17:07 52m Talk		Staged Gradual Typing GPCE Hiroto Yaguchi University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba

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	Technical Papers Opening 1			Technical Papers Keynote 1																		Technical Papers Formal Methods, Logics, and Static Analysis Frameworks																																							Technical Papers Concurrency and Types																											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	Technical Papers Opening 2			Technical Papers Keynote 2																		Technical Papers Type Systems and Program Semantics																																							Technical Papers Compilation and Optimization																											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	Technical Papers Opening 3			Technical Papers Keynote 3																		Technical Papers Program Analysis and Verification																																							Technical Papers W2																											Technical Papers W3																	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

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 Papers AITO Dahl-Nygaard Senior Prize: Mira Mezini 09:15 - 10:15																		ECOOP Technical Papers A theory of (linear-time) timed monitors 10:45 - 11:06				ECOOP Technical Papers Automatic Goal Clone Detection in Rocq 11:06 - 11:27				ECOOP Technical Papers Lightweight Diagramming for Formal Methods: A Grounded Language Design 11:27 - 11:48					ECOOP Technical Papers Taming and Dissecting Recursions through Interprocedural Weak Topologic ... 11:48 - 12:09				ECOOP Technical Papers The Algebra of Patterns 12:09 - 12:30																						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 Papers 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 Papers AITO Dahl-Nygaard Junio Prize: Amir Shaikhha 09:15 - 10:15																		ECOOP Technical Papers An Effectful Object Calculus 10:45 - 11:06				ECOOP Technical Papers Compositional Bug Detection for Internally Unsafe Libraries: A Logical ... 11:06 - 11:27				ECOOP Technical Papers Monadic type-and-effect soundness 11:27 - 11:48					ECOOP Technical Papers Mono Types — First-Class Containers for Datalog 11:48 - 12:09				ECOOP Technical Papers 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 Keynote: Petar Maksimovic 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 Papers 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 Compositional Static Value Analysis for Higher-Order Numerical Programs 16:15 - 16:36				ECOOP Technical Papers Contract Systems Need Domain-Specific Notations 16:36 - 16:57				ECOOP Technical Papers Contract Usage and Evolution in Android Mobile Applications 16:57 - 17:18					ECOOP Technical Papers Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code ... 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 - 17:07										GPCE Staged Gradual Typing 17:07 - 18:00