Pragmatic Approaches to Improving Compiler Correctness (ICOOOLPS 2026) - ECOOP 2026
ECOOP 2026Mon 29 June - Fri 3 July 2026 Brussels, Belgium
Toggle navigation<br>Attending Venue: Vrije Universiteit Brussel<br>Lunch Menu<br>Weather<br>Accommodation<br>Registration<br>Conduct<br>Social events
Sponsorship<br>Program ECOOP Program<br>Your Program<br>Schedule Overview<br>Social Events
Mon 29 Jun<br>Tue 30 Jun<br>Wed 1 Jul<br>Thu 2 Jul<br>Fri 3 Jul
Tracks ECOOP 2026<br>Awards<br>Technical Papers<br>Artifact Evaluation<br>Workshops<br>Demos<br>ECOOP Academy<br>Doctoral Symposium<br>Posters<br>Student Research Competition<br>Student Volunteers<br>Social Events
Co-hosted Conferences<br>GPCE<br>MPLR<br>Workshops<br>DEBT Future Debugging Techniques<br>FTfJP Formal Techniques for Judicious Programming<br>ICOOOLPS Lang Implementation & Optimization<br>PLF+PLAID Decentralized Local-First Software<br>The Scala Workshop<br>UNSOUND<br>VeriLang Verification Languages<br>VORTEX Runtime Monitoring
Organization ECOOP 2026 Committees<br>Organizing Committee<br>Track Committees<br>Awards<br>Technical Papers<br>Artifact Evaluation<br>Workshops<br>Demos<br>ECOOP Academy<br>Doctoral Symposium<br>Posters<br>Student Research Competition<br>Student Volunteers<br>Contributors<br>People Index
Co-hosted Conferences<br>GPCE Organizing Committee<br>Program Committee<br>Steering Committee
MPLR Organizing Committee<br>Program Committee
Workshops<br>DEBT Future Debugging TechniquesOrganizing Committee<br>Program Committee<br>Steering Committee
FTfJP Formal Techniques for Judicious ProgrammingProgram Committee<br>Steering Committee
ICOOOLPS Lang Implementation & OptimizationOrganizing Committee<br>Program Committee
PLF+PLAID Decentralized Local-First SoftwareOrganizing Committee<br>Program Committee
The Scala Workshop Organizing Committee<br>Program Committee
UNSOUND Program Committee
VeriLang Verification LanguagesOrganizing Committee<br>Program Committee
VORTEX Runtime MonitoringOrganizing Committee<br>Program Committee
Search<br>Series Series
ECOOP 2027<br>ECOOP 2026<br>ECOOP 2025<br>ECOOP 2024<br>ECOOP 2023<br>ECOOP 2022<br>ECOOP 2021<br>ECOOP 2020<br>ECOOP 2019<br>ECOOP 2018<br>ECOOP 2017<br>ECOOP 2016<br>ECOOP 2015
2014: Uppsala<br>2013: Montpellier<br>2012: Beijing<br>2011: Lancaster<br>2010: Maribor<br>2009: Genova<br>2008: Cyprus<br>2007: Berlin<br>2006: Nice<br>2005: Glasgow
Sign in<br>Sign up
ECOOP 2026 (series) / ICOOOLPS 2026 (series) / ICOOOLPS 2026 / Pragmatic Approaches to Improving Compiler Correctness
TrackICOOOLPS 2026
This program is tentative and subject to change.<br>Program Display Configuration
Time Zone
The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris .Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris Select other time zone(GMT-12:00) AoE (Anywhere On Earth)(GMT-11:00) Midway Island, Samoa(GMT-09:00) Hawaii-Aleutian(GMT-10:00) Hawaii(GMT-09:30) Marquesas Islands(GMT-09:00) Gambier Islands(GMT-08:00) Alaska(GMT-07:00) Tijuana, Baja California(GMT-08:00) Pitcairn Islands(GMT-07:00) Pacific Time (US & Canada)(GMT-06:00) Mountain Time (US & Canada)(GMT-06:00) Chihuahua, La Paz, Mazatlan(GMT-07:00) Arizona(GMT-06:00) Saskatchewan, Central America(GMT-06:00) Guadalajara, Mexico City, Monterrey(GMT-06:00) Easter Island(GMT-05:00) Cancun(GMT-05:00) Central Time (US & Canada)(GMT-04:00) Eastern Time (US & Canada)(GMT-04:00) Cuba(GMT-05:00) Bogota, Lima, Quito, Rio Branco(GMT-04:00) Caracas(GMT-04:00) Santiago(GMT-04:00) La Paz(GMT-03:00) Faukland Islands(GMT-04:00) Manaus, Amazonas, Brazil(GMT-03:00) Atlantic Time (Goose Bay)(GMT-03:00) Atlantic Time (Canada)(GMT-02:30) Newfoundland(GMT-03:00) UTC-3(GMT-03:00) Montevideo(GMT-02:00) Miquelon, St. Pierre(GMT-02:00) Greenland(GMT-03:00) Buenos Aires(GMT-03:00) Brasilia, Distrito Federal, Brazil(GMT-02:00) Mid-Atlantic(GMT-01:00) Cape Verde Is.(GMT) Azores(UTC) Coordinated Universal Time(GMT+01:00) Belfast(GMT+01:00) Dublin(GMT+01:00) Lisbon(GMT+01:00) London(GMT) Monrovia, Reykjavik(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague(GMT+02:00) Brussels, Copenhagen, Madrid, Paris(GMT+01:00) West Central Africa(GMT+02:00) Windhoek(GMT+03:00) Athens(GMT+03:00) Beirut(GMT+02:00) Cairo(GMT+03:00) Gaza(GMT+02:00) Harare, Pretoria(GMT+03:00) Jerusalem(GMT+03:00) Minsk(GMT+03:00) Syria(GMT+03:00) Moscow, St. Petersburg, Volgograd(GMT+03:00) Nairobi(GMT+03:30) Tehran(GMT+04:00) Abu Dhabi, Muscat(GMT+04:00) Yerevan(GMT+04:30) Kabul(GMT+05:00) Ekaterinburg(GMT+05:00) Tashkent(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi(GMT+05:45) Kathmandu(GMT+06:00) Astana, Dhaka(GMT+07:00) Novosibirsk(GMT+06:30) Yangon (Rangoon)(GMT+07:00) Bangkok, Hanoi, Jakarta(GMT+07:00) Krasnoyarsk(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi(GMT+08:00) Irkutsk, Ulaan Bataar(GMT+08:00) Perth(GMT+08:45) Eucla(GMT+09:00) Osaka, Sapporo, Tokyo(GMT+09:00) Seoul(GMT+09:00) Yakutsk(GMT+09:30) Adelaide(GMT+09:30) Darwin(GMT+10:00) Brisbane(GMT+10:00) Hobart(GMT+10:00) Vladivostok(GMT+10:30) Lord Howe Island(GMT+11:00) Solomon Is., New Caledonia(GMT+11:00) Magadan(GMT+11:00) Norfolk Island(GMT+12:00) Anadyr,...