Concepedia

Yichen Xie

YX

Statistics

Publications

22

Citations

2.1K

H-Index

20

Active since

2002

Affiliations

Stanford University(Current)

Shanghai Jiao Tong University

University of California, Berkeley

Yichen Xie is an author at Stanford University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSystem SoftwareFormal VerificationSoftware TestingVerificationComputer Engineering

Publications per year

2002–2023

22

Publications

22

Static detection of security vulnerabilities in scripting languages

Yichen Xie, Alex Aiken · 2006 · 368 citations

A system and language for building system-specific, static analyses

Seth Hallem, Benjamin Chelf, Yichen Xie et al. · 2002 · 350 citations

Software Maintenance, Engineering, Performance-based Building Design +26

Scalable error detection using boolean satisfiability

Yichen Xie, Alex Aiken · 2005 · 210 citations

Program Checking, Engineering, Verification +19

Spatio-temporal Self-Supervised Representation Learning for 3D Point Clouds

Siyuan Huang, Yichen Xie, Song‐Chun Zhu et al. · 2021 IEEE/CVF International Conference on Computer Vision (ICCV) · 2021 · 182 citations

Scene Analysis, Point Cloud Sequence, Machine Learning +21

ARCHER

Yichen Xie, Andy Chou, Dawson Engler · 2003 · 177 citations

Source Code, Program Checking, Engineering +10

1–5 of 22