Abstract:
Program analysis is meant to aid software developers in creating software, but often fails at this task. Why is this and what can we do about it?
PPIG 2022 - 33rd Annual Workshop
Keynote
Making program analysis useful