[09/2016]: We wrote an article (invited by
Special issues in Journal of Computer Science and Technology
challenges in concurrency debugging and our contributions
. Check it out if you are curious about this area.
[08/2016]: Two papers accepted by
. Congratulations Shiyou and Arun!
[06/2016]: Paper on
Instantaneous Race Detection
. 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
[03/2016]: Invited to the
[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).
NSF CAREER Award
[12/2015]: Paper on
Scalable Thread Sharing Analysis
[09/2015]: Paper accepted to
IEEE Transactions on Software Engineering (TSE)
[08/2015]: Paper accepted to
[07/2015]: The RDIT paper accepted to
FSE 2015 NIER Track
. Congratulations to Arun!
[06/2015]: Invited to the
[06/2015]: Invited to
Dagstuhl Seminar: "Synergies among Testing, Verification, and Repair for Concurrent Programs"
Paper on Schedule-Sensitive Branches accepted to FSE 2015
Invited to Heidelberg Laureate Forum
Google Faculty Research Award
Paper on Maximal Causality Reduction accepted to PLDI 2015!
Two papers accepted to ICSE 2015!