Skip to content
CIFAR header logo
fr
menu_mobile_logo_alt
  • News
  • Events
    • Public Events
    • Invitation-only Meetings
  • Programs
    • Research Programs
    • Pan-Canadian AI Strategy
    • Next Generation Initiatives
    • Global Call for Ideas
  • People
    • Fellows & Advisors
    • CIFAR Azrieli Global Scholars
    • Canada CIFAR AI Chairs
    • AI Strategy Leadership
    • Solution Network Members
    • Leadership
  • Support Us
  • About
    • Our Story
    • CIFAR 40
    • Awards
    • Partnerships
    • Publications & Reports
    • Careers
    • Staff Directory
    • Equity, Diversity & Inclusion
  • fr
  • Home
  • Bio

Follow Us

Xujie Si

Xujie Si

Appointment

Canada CIFAR AI Chair

Pan-Canadian AI Strategy

Connect

Personal Page

Google Scholar

About

Xujie Si is a Canada CIFAR AI Chair at Mila, and an assistant professor in the School of Computer Science at McGill University.

Si’s research lies at the intersection of programming languages and artificial intelligence. He is interested in developing AI-based techniques to democratize programming for non-professional programmers, and to help professional programmers build secure and reliable software with less effort. He has developed intelligent systems that automatically synthesize programs from input and output examples, mine correct/incorrect software usages from massive codebases, efficiently diagnose software vulnerabilities through a small amount of user feedback, and formally verify software correctness without requiring human annotations. 

He is also interested in leveraging formal methods and programming principles to improve AI techniques, especially in terms of interpretability, robustness, and data efficiency.

Awards

  • ACM SIGPLAN Distinguished Paper Award, PLDI, 2019
  • CSAW Best Applied Security Paper finalist, 2016

Relevant Publications

  • Si, X., Raghothaman, M., Heo, K., & Naik, M. (2019). Synthesizing datalog programs using numerical relaxation. arXiv preprint arXiv:1906.00163.

  • Heo, K., Raghothaman, M., Si, X., & Naik, M. (2019). Continuously reasoning about programs using differential bayesian inference. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 561-575).

  • Si, X., Dai, H., Raghothaman, M., Naik, M., & Song, L. (2018). Learning loop invariants for program verification. Advances in Neural Information Processing Systems, 31, 7751-7762.

  • Si, X., Zhang, X., Grigore, R., & Naik, M. (2017). Maximum satisfiability in software analysis: Applications and techniques. In International Conference on Computer Aided Verification (pp. 68-94). Springer, Cham.

  • Yun, I., Min, C., Si, X., Jang, Y., Kim, T., & Naik, M. (2016). APISan: Sanitizing {API} Usages through Semantic Cross-Checking. In 25th {USENIX} Security Symposium ({USENIX} Security 16) (pp. 363-378).

Institution

McGill University

Mila

Department

School of Computer Science

Education

  • PhD (Computer Science), University of Pennsylvania
  • MSc (Computer Science), Vanderbilt University
  • BE (Computer Science), Nankai University

Country

Canada

Support Us

CIFAR is a registered charitable organization supported by the governments of Canada, Alberta and Quebec, as well as foundations, individuals, corporations and Canadian and international partner organizations.

Donate Now
CIFAR header logo

MaRS Centre, West Tower
661 University Ave., Suite 505
Toronto, ON M5G 1M1 Canada

Contact Us
Media
Careers
Accessibility Policies
Supporters
Financial Reports
Subscribe

  • © Copyright 2023 CIFAR. All Rights Reserved.
  • Charitable Registration Number: 11921 9251 RR0001
  • Terms of Use
  • Privacy
  • Sitemap

Subscribe

Stay up to date on news & ideas from CIFAR.

This website stores cookies on your computer. These cookies are used to collect information about how you interact with our website and allow us to remember you. We use this information in order to improve and customize your browsing experience and for analytics and metrics about our visitors both on this website and other media. To find out more about the cookies we use, see our Privacy Policy.
Accept Learn more