Recent News


  • Dec 9, 2020

    Invited to join JSys editorial board.

  • Aug 8, 2020

    SecureCode, detecting risky IaC embedded scripts, is accepted to SoCC'20.

  • Aug 8, 2020

    HangFix is accepted to SoCC'20. HangFix is part of my PhD thesis.

  • May 20, 2020

    Received IBM First Patent Application Invention Achievement Award.

  • Sep 16, 2019

    My first day as a Research Staff Member at IBM Research.

  • Jul 23, 2019

    Successfully passed my PhD defense! I am Dr. Dai :)

  • Mar 18, 2019

    TFix is accepted to ICDCS'19.

  • Mar 4, 2019

    My first blockchain paper FabZK is accepted to DSN'19.

  • Feb 8, 2019

    Container vulnerability study paper is accepted to IC2E'19.

  • Oct 30, 2018

    Passed my oral preliminary exam. Now I am a PhD candidate, officially!

  • Aug 4, 2018

    DScope is accepted to SoCC'18.

  • Jun 11, 2018

    TScope is accepted to ICAC'18.

  • Mar 15, 2018

    Hytrace is accepted to TPDS.

  • Mar 9, 2018

    Received summer internship offer from IBM T. J. Watson Research.

  • Mar 8, 2018

    Timeout bug survey paper received best paper nomination in IC2E'18.