Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xujie Si
conf.researchr.org general profile
ESEC/FSE 2018 profile
ICFP 2019 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
SIGCSE TS 2023 profile
SPLASH 2017 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
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
Share
x
Thu 2 Feb 11:34