Search for 'all'
results
Dimi Racordon
EPFL, LAMP
… a handful of open source software libraries. Most (if not all) of my work is available …
Shriram Krishnamurthi
Brown University
… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.
I believe tropical fruit are superior to all …
Davide Ancona
DIBRIS, University of Genova, Italy
… -chair of CILC 2015. He has co-chaired all the editions of the VORTEX workshop …
Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations
GPCE When: Thu 3 Jul 2025 11:55 - 12:30 People: Aleksandar S. Dimovski
… all candidate complete programs generated from an input program template … uses a basic enumerative search through the space of all possible statements, thus filling in all statement holes. In effect, we obtain partial programs …
Ain’t No Stopping Us Monitoring Now (extended abstract)
VORTEX When: Fri 4 Jul 2025 15:00 - 15:30 People: Luca Ciccone, Francesco Dagnino, Angelo Ferrando
… Not all properties are monitorable. This is a well-known fact, and it means there exist properties that cannot be fully verified at runtime. However, given a non-monitorable property, a monitor can still be synthesised, but it could end up …
Bounded Compositional Runtime Enforcement
VORTEX When: Fri 4 Jul 2025 09:45 - 10:15 People: Saumya Shankar, Srinivas Pinisetty, Thierry Jéron, Prisha Srinidi
… , to promote modularity, i.e., rather than synthesizing a single enforcer for all …
Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation
GPCE When: Thu 3 Jul 2025 11:20 - 11:55 People: Iman Hemati Moghadam, Oebele Lijzenga, Vadim Zaytsev
… the difference is not statistically significant. Since no single CLM fixes all …
Registration Information
… ** | Students | | ECOOP main conference + All SE | 7000 | 5800 | 8400 | 6800 … for satellite events
**All prices are in NOK (1 EUR ~ 12 NOK)
- [ECOOP main …
Getting There (And Away)
… the ENTUR app which covers all of Norway. You will have to register your …
Accommodation
… . - All discounts are offered for bookings made **on or before the 25th of April …
DEBT 2025 – Third Workshop on Future Debugging Techniques
… .
This workshop aims to gather researchers from all areas in the field of programming … modern software. We welcome researchers from all related areas aimed at helping … as talks and tool demonstrations.
The workshop is a venue for all approaches …
VORTEX 2025 – Verification and Monitoring at Runtime Execution
… . The goal of VORTEX is to bring together researchers contributing on all aspects …
ICOOOLPS 2025 – Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
… with a title and short (~1 paragraph) abstract.
All accepted …?conf=icooolps2025
All deadlines are Anywhere on Earth (AoE), i.e. GMT …
FTfJP 2025 Homepage
… FTfJP 2025 Welcome to the website of the FTfJP 2025 conference. We are working hard to fill the website with all related information. Please check back soon! eb410886-62e9-4903-8b93-ed4c2083df4c …
PLSS 2025 Homepage
… PLSS 2025 Welcome to the website of the PLSS 2025 conference. We are working hard to fill the website with all related information. Please check back soon! 2b691459-c8a1-4f99-888b-3e6f66219ddd …
DEBT 2025 Homepage
… DEBT 2025 Welcome to the website of the DEBT 2025 conference. We are working hard to fill the website with all related information. Please check back soon! 499d6f19-2466-4baa-9e29-1975d2e17e6e …
Accepted Papers
… …