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

Event Format

Thesis Defense

Candidate

YU, Fan

Language

English