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 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