PhD candidate Marianna Rapoport (Ondřej Lhoták | Programming Languages) has been awarded the Radhia Cousot best young research paper at the 22nd International Static Analysis Symposium in Saint-Malo, France.
The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the areas of program verification, bug detection, compiler optimization, program understanding, and software maintenance.
Starting in 2014, the program committee of each Static Analysis Symposia conference selects a paper for the award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, being also one of the main promoters and organizers of the SAS series of conferences. The award aims at supporting a young promising researcher every year.
Rapoport won the award for her paper and MMath thesis topic, "Precise Data Flow Analysis in the Presence of Correlated Method Calls" (PDF) (supervised by Ondřej Lhoták and Frank Tip). Recently, Rapoport completed an internship at the IBM T.J. Watson Research Centre in Yorktown Heights, N.Y. where she was working on large-scale dataflow analysis of Android applications.