conf.researchr.org / Xujie Si
Xujie Si

Registered user since Thu 13 Nov 2014

Name: Xujie Si

Affiliation: McGill University, Canada

Personal website: https://www.cs.mcgill.ca/~xsi/

Contributions

MAPL 2020Committee Member in Program Committee within the MAPL-track
Session Chair of Deep Learning and Program Verification (part of MAPL)
SPLASH 2020Mentor in Mentors within the PLMW-track
Mentor in Mentors within the PLMW-track
PLDI 2019Student Volunteer Co-Chair in Organizing Committee
Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track
ICFP 2019Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
VMCAI 2018Author of Maximum Satisfiability in Program Analysis: Applications and Techniques within the VMCAI 2018-track
MAPL 2017Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track
ESEC/FSE 2018Author of Syntax-Guided Synthesis of Datalog Programs within the Research Papers-track
PLDI 2018Student Volunteer Co-Chair in Organizing Committee
SPLASH 2017Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track