MPhil in Computer Science & Engg - DUPLICATE-SENSITIVITY GUIDED TRANSFORMATION SYNTHESIS FOR DBMS CORRECTNESS BUG DETECTION

Name: MPhil in Computer Science & Engg - DUPLICATE-SENSITIVITY GUIDED TRANSFORMATION SYNTHESIS FOR DBMS CORRECTNESS BUG DETECTION
Start: 2021-08-05
End: 2021-08-05

5 August 2021

10:00am - 1:00pm

https://hkust.zoom.us/j/99042743983?pwd=ZFJLODdwenF5REQydGM5T0hBNDVzdz09, HKUST

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

Event Format

Thesis Defense

Candidate

ZHANG, Yushan

Language

English