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

活动形式

论文答辩

候选人

YU, Fan

语言

英文

English