Thursday 28 January 2021 15:45 - 16:30
Abstract: A compiler is one of the most crucial pieces of system software that software developers have on their computer. Any defect, any malfunctioning of it, any inconvenience caused by it, immediately leads to a spike of uncertainty in the solution domain, and thus results in a lasting drop of productivity. Many of these defects and inconveniences can be eliminated by treating them as research challenges. This talk will focus on a couple of concrete examples of such challenges and on promising methods of tackling them.
