ECOOP 2025 (series) /
ECOOP 2025 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:15 - 09:00 | |||
09:00 - 09:15 | |||
09:15 - 10:15 | Keynote 1Technical Papers at Auditorium M003 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy | ||
09:15 60mKeynote | "On the Power of Programming Language Design" (AITO Dahl-Nygaard Senior Prize)AITO Dahl-Nygaard Senior Prize 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 FrameworksTechnical Papers at Auditorium M003 Chair(s): Marco Carbone IT University of Copenhagen | ||
11:00 21mTalk | 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é | ||
11:21 21mTalk | 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:42 21mTalk | Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering Technical Papers Jiawei Yang , Xiao Cheng Macquarie University, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Xiapu Luo Hong Kong Polytechnic University, Yulei Sui University of New South Wales | ||
12:03 21mTalk | The Algebra of Patterns Technical Papers | ||
12:24 21mTalk | A theory of (linear-time) timed monitors 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | Concurrency and TypesTechnical Papers at Auditorium M003 Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon | ||
14:00 21mTalk | Contrasting Deadlock-Free Session Processes Technical Papers DOI | ||
14:21 21mTalk | Fair Termination of Asynchronous Binary Sessions 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 21mTalk | Incremental Computing by Differential Execution Technical Papers | ||
15:03 21mTalk | 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 21mTalk | 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 Chair(s): Sebastian Erdweg JGU Mainz | ||
16:15 21mTalk | 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 21mTalk | In-memory Object Graph StoresRemote 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 21mTalk | Spegion: Implicit and Non-Lexical Regions with Sized Allocations Technical Papers | ||
17:18 21mTalk | Type-safe and portable support for packed data Technical Papers | ||
18:30 - 19:30 | |||
18:30 60mSocial Event | Reception at Håkonshallen Technical Papers | ||
Tue 1 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:10 - 09:15 | |||
09:15 - 10:15 | |||
09:15 60mKeynote | Language and Compiler Design for Efficient Data Science (AITO Dahl-Nygaard Junior Prize)AITO Dahl-Nygaard Junior Prize Technical Papers Amir Shaikhha University of Edinburgh | ||
10:45 - 12:30 | |||
10:45 21mTalk | Mono Types — First-Class Containers for Datalog Technical Papers | ||
11:06 21mTalk | Monadic type-and-effect soundness Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa | ||
11:27 21mTalk | An Effectful Object Calculus Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa | ||
11:48 21mTalk | 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 DOI | ||
12:09 21mTalk | Practical Type-Based Taint Checking and InferenceRemote 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
16:15 - 17:39 | |||
16:15 21mTalk | Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories 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 21mTalk | Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions Technical Papers | ||
16:57 21mTalk | 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 DOI Pre-print | ||
17:18 21mTalk | 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 | ||
17:45 - 19:15 | |||
Wed 2 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:15 | |||
09:15 - 10:15 | |||
09:15 60mKeynote | Towards scalable formal verification Technical Papers Petar Maksimović Nethermind; Imperial College London | ||
10:45 - 12:30 | Program Analysis and VerificationTechnical Papers at Auditorium M003 Chair(s): Einar Broch Johnsen University of Oslo | ||
10:45 21mTalk | Bottom-up Synthesis of Memory Mutations with Separation Logic Technical Papers | ||
11:06 21mTalk | 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 Link to publication DOI | ||
11:27 21mTalk | 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 21mTalk | 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 21mTalk | 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 | ||
10:45 - 12:30 | |||
10:45 15mDay opening | Opening Remarks ICOOOLPS | ||
11:00 60mTalk | Invited Talk: Implementing Object Tracking in the Emerald Object-Oriented Language ICOOOLPS Eric Jul University of Oslo | ||
12:00 30mFull-paper | Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming ICOOOLPS Pre-print | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | |||
14:00 21mTalk | Event Race Detection for Node.js Using Delay Injections Technical Papers Pre-print | ||
14:21 21mTalk | FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote Technical Papers | ||
14:42 21mTalk | 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 21mTalk | 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 21mTalk | WebGlitch: A Randomised Testing Tool for the WebGPU API Technical Papers | ||
14:00 - 15:45 | |||
14:00 30mFull-paper | Revisiting Borrow Checking with Abstract Interpretation ICOOOLPS | ||
14:30 30mFull-paper | AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs ICOOOLPS Octave Larose University of Kent, Michael Vollmer University of Kent, Stefan Marr University of Kent Pre-print File Attached | ||
15:00 30mFull-paper | Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine ICOOOLPS Pre-print File Attached | ||
15:30 10mDay closing | Closing Remarks ICOOOLPS | ||
16:15 - 17:39 | |||
16:15 21mTalk | Automatic Goal Clone Detection in Rocq Technical Papers Ali Ghanbari Auburn University | ||
16:36 21mTalk | 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 | ||
16:57 21mTalk | 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:18 21mTalk | Contract Systems Need Domain-Specific Notations Technical Papers Cameron Moy Northeastern University, Ryan Jung PLT @ Northeastern University, Matthias Felleisen Northeastern University | ||
17:40 - 18:00 | |||
Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:15 | |||
09:00 75mKeynote | Metaprogramming and algebra GPCE Ohad Kammar University of Edinburgh | ||
09:00 - 10:15 | |||
09:00 15mDay opening | Doctoral Symposium - Opening Session Doctoral Symposium | ||
09:15 60mKeynote | How to get your Ph.D. DONE! Doctoral Symposium Eric Jul University of Oslo | ||
09:00 - 10:15 | |||
09:00 10mDay opening | Welcome PLF+PLAID | ||
09:10 60mTalk | Local Actions, Global Outcomes: A Decentralization-first Programming Paradigm for Next-Generation Distributed Applications PLF+PLAID Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE | ||
09:00 - 10:15 | KeynoteFTfJP at M209 Chair(s): Andrew Butterfield Trinity College Dublin, Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University | ||
09:00 5mDay opening | Welcome FTfJP | ||
09:05 70mKeynote | Gradual Verification: Assuring Software Incrementally FTfJP Jonathan Aldrich Carnegie Mellon University | ||
10:45 - 12:30 | |||
10:45 35mTalk | CoCoCoLa: Code Completion Control Language GPCE | ||
11:20 35mTalk | 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 35mTalk | Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
10:45 - 12:30 | |||
10:45 20mTalk | Compiling to an Intermediate Representation with Definitional Abstract Interpreters Doctoral Symposium Armand Lego Johannes Gutenberg University Mainz | ||
11:05 20mTalk | Expressive Equivalence of React's and Signals' Reactivity Doctoral Symposium Kirill Golubev University of Turku | ||
11:25 20mTalk | Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques Doctoral Symposium Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa | ||
11:45 45mIndustry talk | What after Ph.D.? Doctoral Symposium Mai Tran InterBe AS | ||
10:45 - 12:30 | |||
10:45 60mTalk | Formal model guided conformance testing for blockchains PLF+PLAID Pavle Subotic Microsoft Azure | ||
11:45 30mTalk | A Global Specification Model for Data-Aware Coordination (with an application to smart contracts) PLF+PLAID António Ravara Nova University of Lisbon | ||
10:45 - 12:30 | Session 1FTfJP at M209 Chair(s): Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University | ||
10:45 60mKeynote | Formal model guided conformance testing for blockchains (joint keynote, location: M207) FTfJP Pavle Subotic Microsoft Azure | ||
12:00 30mTalk | An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model FTfJP | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | |||
14:00 35mTalk | Integrating Static Optimization and Dynamic Nature in JavaScript GPCE DOI Media Attached | ||
14:35 35mTalk | 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 35mTalk | Retrofitting a Virtual Instrument DSL with Programming Abstractions GPCE | ||
14:00 - 15:45 | |||
14:00 20mTalk | Extensions to Container-Based Abstraction of Graphical User Interfaces Doctoral Symposium Yan Passeniouk University of Turku | ||
14:20 20mTalk | Applied Implicit Computational Complexity Doctoral Symposium Neea Rusch Augusta University | ||
14:40 20mTalk | Impacts and Uses of Local-First Software Architecture for Energy Optimization of Digital Services Doctoral Symposium | ||
15:00 45mOther | Discussion Doctoral Symposium | ||
14:00 - 15:45 | |||
14:00 30mTalk | Compositional Implementation and Verification of Swarms - A Tool Demo PLF+PLAID Florian Furbach Technical University of Denmark, Lucas Clorius , Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Hernan Melgratti University of Buenos Aires, Argentina | ||
14:30 30mTalk | Optimizing CRDTs for Low Memory Environments PLF+PLAID Thomas Vandermotten Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
15:00 30mTalk | PRDTs: Implementing Distributed Protocols with Replicated Data Types PLF+PLAID | ||
14:00 - 15:45 | |||
14:00 30mTalk | From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST FTfJP Songyan Lai Department of Computer Science, Maynooth University, Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University | ||
14:30 30mTalk | Towards a Unifying Semantics Playground FTfJP Andrew Butterfield Trinity College Dublin | ||
15:00 30mTalk | Towards an Axiomitisation of Solidity Memory and Storage FTfJP Guilherme Horta Alvares Da Silva Chalmers University of Technology and University of Gothenburg, Wolfgang Ahrendt Chalmers University of Technology, Richard Bubel Technische Universität Darmstadt | ||
15:30 30mTalk | VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs FTfJP Bart Jacobs DistriNet, Dept. CS, KU Leuven | ||
16:15 - 18:00 | |||
16:15 35mTalk | 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 35mTalk | Staged Gradual Typing GPCE Link to publication DOI | ||
16:15 - 18:00 | |||
16:15 60mKeynote | AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings Doctoral Symposium Jaakko Järvi University of Turku | ||
17:15 5mDay closing | Doctoral Symposium - Closing Session Doctoral Symposium | ||
16:15 - 18:00 | |||
16:15 30mTalk | Local-First Extensions and Patterns: Designing Server-Free Systems with UML PLF+PLAID | ||
16:45 30mTalk | Teilen-SQL: A library for building local-first software with SQLite and version control PLF+PLAID | ||
Fri 4 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:15 | |||
09:00 15mDay opening | PLSS - Opening Session PLSS | ||
09:15 60mKeynote | Engineering a Formal Language Specification PLSS Andreas Rossberg Independent Link to publication | ||
09:00 - 10:15 | |||
09:00 15mDay opening | Opening VORTEX | ||
09:15 30mTalk | Runtime Monitoring of Action Specifications for Replanning in Classical Planning VORTEX File Attached | ||
09:45 30mTalk | Bounded Compositional Runtime Enforcement VORTEX Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Prisha Srinidi Indian Institute of Technology Bhubaneswar File Attached | ||
09:00 - 10:15 | |||
09:00 15mDay opening | Welcome to the DEBT Workshop DEBT | ||
09:15 60mKeynote | Keynote: Live feedback through incremental program analysis DEBT Sebastian Erdweg JGU Mainz | ||
10:45 - 12:30 | |||
10:45 30mTalk | APL Array Notation PLSS Adám Brudzewsky Dyalog Ltd. | ||
11:15 30mTalk | Trusted JavaScript Language Environments with ESMeta PLSS Jihyeok Park Korea University | ||
11:45 30mTalk | Designing Hylo, a programming language for safe systems programmingRemote PLSS Dimi Racordon EPFL, LAMP | ||
10:45 - 12:30 | |||
10:45 30mTalk | Aggregate Monitoring of Spatial Formulas beyond SLCS VORTEX Giorgio Audrito Università di Torino, Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, Mirko Viroli Alma Mater Studiorum - Università di Bologna File Attached | ||
11:15 30mTalk | Bounded Time Monitoring in Aggregate Systems VORTEX Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy File Attached | ||
11:45 30mTalk | Monitors for distributed deadlock detection VORTEX Radosław Rowicki Technical University of Denmark, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark File Attached | ||
10:45 - 12:30 | |||
10:45 30mTalk | Automatic Data Structures Visualization in IntelliJ IDEA DEBT | ||
11:15 30mTalk | Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg DEBT | ||
11:45 30mTalk | Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin DEBT Dmitrii Artiukhov JetBrains, Bob Brockbernd JetBrains, Evgeniia Fedotova JetBrains Research, Nikita Koval JetBrains, Ivan Kylchik JetBrains, Evgenii Moiseenko JetBrains Research, Lev Serebryakov JetBrains, Evgeniy Zhelenskiy JetBrains, Maksim Zuev JetBrains | ||
12:15 15mDay closing | Closing by the workshop organizers DEBT | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | |||
14:00 30mTalk | Just-in-time Specification: Evolving Kotlin One Feature at a Time PLSS Marat Akhin JetBrains | ||
14:30 30mTalk | The Software Supporting the JavaScript Language Specification PLSS | ||
15:00 30mTalk | APL Standards PLSS Karta Kooner Dyalog Ltd. | ||
14:00 - 15:45 | |||
14:00 60mKeynote | Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions VORTEX | ||
15:00 30mTalk | Ain’t No Stopping Us Monitoring Now (extended abstract) VORTEX Luca Ciccone University of Turin, Francesco Dagnino , Angelo Ferrando University of Modena and Reggio Emilia File Attached | ||
16:15 - 18:00 | |||
16:15 30mTalk | P4-SpecTec: Mechanized Language Definition for P4 PLSS | ||
16:45 30mTalk | C++ Standardization: Reflections and Lessons Learned PLSS Jaakko Järvi University of Turku | ||
17:15 30mTalk | Do Programming Languages Fulfill Requirements? Should They?Remote PLSS Michael Sperber Active Group GmbH | ||
17:45 5mDay closing | PLSS - Closing Session PLSS | ||