Yichen Xie

According to our database, Yichen Xie authored at least 13 papers between 2002 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Reflections and New Directions for Human-Centered Large Language Models.

Caleb Ziems, Dora Zhao, Rose E. Wang, Matthew Jörke, Ahmad Rushdi, Advit Deepak, Sunny Yu, Anshika Agarwal, Harshvardhan Agarwal, Gabriela Aranguiz-Dias, Aditri Bhagirath, Justine Breuch, Huanxing Chen, Ruishi Chen, Sarah Chen, Haocheng Fan, William Fang, Cat Gonzales Fergesen, Daniel Frees, Tian Gao, Ziqing Huang, Vishal Jain, Yucheng Jiang, Kirill P. Kalinin, Su Doga Karaca, Arpandeep Khatua, Teland La, Isabelle Levent, Miranda Li, Xinling Li, Yongce Li, Angela Liu, Minsik Oh, Nathan J. Paek, Anthony Qin, Emily Redmond, Michael J. Ryan, Aadesh Salecha, Xiaoxian Shen, Pranava Singhal, Shashanka Subrahmanya, Mei Tan, Irawadee Thawornbut, Michelle Vinocour, Xiaoyue Wang, Zheng Wang, Henry Jin Weng, Pawan Wirawarn, Shirley Wu, Sophie Wu, Yichen Xie, Patrick Ye, Sean Zhang, Yutong Zhang, Cathy Zhou, Yiling Zhao, James Landay, Diyi Yang

CoRR, May, 2026

2007

Static detection of software errors: precise and scalable algorithms for automatic detection of software errors.

Yichen Xie

PhD thesis, 2007

Saturn: A scalable framework for error detection using Boolean satisfiability.

Yichen Xie, Alex Aiken

ACM Trans. Program. Lang. Syst., 2007

2006

Static Detection of Security Vulnerabilities in Scripting Languages.

Yichen Xie, Alex Aiken

Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006

2005

Context- and path-sensitive memory leak detection.

Yichen Xie, Alex Aiken

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Scalable error detection using boolean satisfiability.

Yichen Xie, Alex Aiken

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Saturn: A SAT-Based Tool for Bug Detection.

Yichen Xie, Alex Aiken

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Zing: Exploiting Program Structure for Model Checking Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Zing: A Model Checker for Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.

Yichen Xie, Andy Chou, Dawson R. Engler

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

MECA: an extensible, expressive system and language for statically checking security properties.

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002

Using redundancies to find errors.

Yichen Xie, Dawson R. Engler

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

A System and Language for Building System-Specific, Static Analyses.

Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002