Xujie Si

Registered user since Thu 13 Nov 2014

Name:Xujie Si
Affiliation:McGill University, Canada

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