logo

  • [09/2016]: We wrote an article (invited by Special issues in Journal of Computer Science and Technology) on challenges in concurrency debugging and our contributions. Check it out if you are curious about this area.
  • [08/2016]: Two papers accepted by OOPSLA 2016. Congratulations Shiyou and Arun!
  • [06/2016]: Paper on Instantaneous Race Detection accepted to FSE 2016. Congratulations Sheng!
  • [05/2016]: Congratulations to Shiyou for winning the 3rd place at the ACM Student Research Competition @ICSE 2016.
  • [05/2016]: Invited to the PPoPP 2017 program committee
  • [03/2016]: Invited to the PLDI 2017 program committee
  • [02/2016]: Congratulations to Arun, Shiyou, Shanshan, and Bowen for being selected into ACM Student Research Competition at ICSE 2016. Only 14 students were selected this year (38% accept rate).
  • [01/2016]: NSF CAREER Award
  • [12/2015]: Paper on Scalable Thread Sharing Analysis accepted to ICSE 2016
  • [09/2015]: Paper accepted to IEEE Transactions on Software Engineering (TSE)
  • [08/2015]: Paper accepted to LCPC 2015
  • [07/2015]: The RDIT paper accepted to FSE 2015 NIER Track. Congratulations to Arun!
  • [06/2015]: Invited to the FSE 2016 program committee
  • [06/2015]: Invited to Dagstuhl Seminar: "Synergies among Testing, Verification, and Repair for Concurrent Programs"
  • [05/2015]: Paper on Schedule-Sensitive Branches accepted to FSE 2015
  • [04/2015]: Invited to Heidelberg Laureate Forum
  • [02/2015]: Google Faculty Research Award
  • [02/2015]: Paper on Maximal Causality Reduction accepted to PLDI 2015!
  • [12/2014]: Two papers accepted to ICSE 2015!