It is our great pleasure to announce that our group will be present at this years PLDI, as well as FSCD. Georg will present our work on "Automated Expected Value Analysis of Recursive Programs" in Orlando, while Samuel will talk aba conversion" in Rome. Also kindly check out the alpha avoidance tool on our website.
