Interests

News W3Schools Labels Football Gaming Friends

×

Ey!

Looking for more about me or useful links? Find out here.

Kinh nghiệm chọn giáo sư - thầy hướng dẫn nghiên cứu sinh

Facebook

Study Japanese

Introduction

I am Vu Xuan Tung, a Ph.D. student at JAIST. My research interests are SAT, SMT and Type Systems.

Theses

Publications

Presentations

Annual SMT Competitions (SMT-COMP)

  • In SMT-COMP 2017, veriT+raSAT+Redlog was ranked 2nd and 3rd in the categories of QF_NRA (reals) and QF_UFNRA (reals with undefined function symbols) resp.
  • In SMT-COMP 2016, raSAT was ranked 2nd and 5th in the categories of QF_NRA (reals) and QF_NIA (integers) resp.
  • In SMT-COMP 2015, raSAT was ranked 3rd and 2nd in the categories of QF_NRA (reals) and QF_NIA (integers) resp.
  • In SMT-COMP 2014, raSAT was ranked 4th in the category of QF_NRA (reals).

Other References

Languages

  • Vietnamese: Native.
  • English: Intermediate.
  • Japanese: Intermidate, N2 in a JLPT Dec. 2017 Test, N3 in a JLPT Dec. 2015 Test.

Upcoming Events:

FroCoS 2017

27 - 29 Sep., 2017

Info