Name: MPhil in Computer Science & Engg - Context Sensitive Points-to Analysis with Geometric Encoding or Binary Decision Diagrams in WALA Framework
Start: 2018-08-27
End: 2018-08-27

MPhil in Computer Science & Engg - Context Sensitive Points-to Analysis with Geometric Encoding or Binary Decision Diagrams in WALA Framework

2018 年 8 月 27 日

2:30pm - 5:30pm

room 3494 (lifts 25/26), HKUST

Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標：支持以下联合国可持续发展目标：

活動形式

論文答辯

候選人

YU, Fan

語言

英文