ICOOOLPS 2023 (@icooolps) 's Twitter Profile
ICOOOLPS 2023

@icooolps

Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and Systems

ID: 4873700962

linkhttps://conf.researchr.org/home/ecoop-issta-2023/ICOOOLPS-2023 calendar_today03-02-2016 10:25:10

164 Tweet

200 Takipçi

210 Takip Edilen

ICOOOLPS 2023 (@icooolps) 's Twitter Profile Photo
ICOOOLPS 2023
@icooolps

2 years ago

Leo Gourdin is going to talk about "Lazy Code Transformations in a Formally Verified Compiler" Haven't heard about the CompCert C compiler before? Make sure to join us. The preprint is already available here: conf.researchr.org/details/ecoop-… #compcert #compilers