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

SIGCSE TS 2023	Author of Identifying different student clusters in functional programming assignments: From quick learners to struggling students within the Papers-track
APLAS 2022	Author of Novice Type Error Diagnosis with Natural Language Models within the APLAS-track
LIVE 2022	Author of Tidyparse: Real-Time Context Free Error Correction within the Live Programming-track
SPLASH 2022	Posters Co-Chair in Organizing Committee within the Posters-track Session Chair of SPLASH Posters (part of Posters) Student Research Competition Co-Chair in Organizing Committee Student Research Competition Co-Chair in Organizers within the Student Research Competition-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
ARRAY 2022	Author of Probabilistic Array Programming on Galois Fields (extended abstract) within the ARRAY 2022-track
MAPS 2022	Committee Member in Program Committee within the MAPS 2022-track
SPLASH 2021	Committee Member in Judges within the Student Research Competition-track
APLAS 2021	Session Chair of Invited talk 2 (part of Keynote Talks) Committee Member in Program Committee within the Research Papers-track
SPLASH 2020	Mentor in Mentors within the PLMW-track Mentor in Mentors within the PLMW-track
MAPL 2020	Committee Member in Program Committee within the MAPL-track Session Chair of Deep Learning and Program Verification (part of MAPL)
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-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
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
VMCAI 2018	Author of Maximum Satisfiability in Program Analysis: Applications and Techniques within the VMCAI 2018-track
SPLASH 2017	Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track
MAPL 2017	Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track