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

27 August 2018

2:30pm - 5:30pm

room 3494 (lifts 25/26), HKUST

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

Event Format

Thesis Defense

Candidate

YU, Fan

Language

English