Is this your profile?
Claim your Citation Index profile in order to display more information about you and gain access to Libraries services. Just create or connect your ORCID iD.
2020 article
BarrierFinder: recognizing ad hoc barriers
EMPIRICAL SOFTWARE ENGINEERING.
2019 article
BARRIERFINDER: Recognizing Ad Hoc Barriers
2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 323–327.
2019 article
Semantics-Aware Scheduling Policies for Synchronization Determinism
PROCEEDINGS OF THE 24TH SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '19), pp. 242–256.
2018 conference paper
Dataflow Tunneling
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 586–597.
2016 journal article
CloudSeer: Workflow monitoring of cloud infrastructures via interleaved logs
ACM SIGPLAN Notices, 51(4), 489–502.
2016 conference paper
CloudSeer: Workflow monitoring of cloud infrastructures via interleaved logs
Operating Systems Review, 50(2), 489–502.
2015 conference paper
Automatic server hang bug diagnosis: Feasible reality or pipe dream?
2015 IEEE International Conference on Autonomic Computing, 127–132.
2015 journal article
Fixing, preventing, and recovering from concurrency bugs
Science China Information Sciences, 58(5), 1–18.
2015 conference paper
What change history tells us about thread synchronization
2015 10th Joint Meeting of the European Software Engineering Conference and the ACM Sigsoft Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) Proceedings, 426–438.
2013 chapter
Validating Library Usage Interactively
In Computer Aided Verification (pp. 796–812).