Xujie Si

Registered user since Thu 13 Nov 2014

Name:Xujie Si
Affiliation:McGill University, Canada

Contributions

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