Yichen Xie - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2023

AnyGrasp: Robust and Efficient Grasp Perception in Spatial and Temporal DomainsHaoshu Fang, Chenxi Wang, Hongjie Fang, Minghao Gou, Jirong Liu, Hengxu Yan, Wenhai Liu, Yichen Xie, Cewu Lu. trob, 39(5):3929-3945, October 2023. [doi]

Zero-Shot Policy Transfer with Disentangled Task Representation of Meta-Reinforcement LearningZheng Wu, Yichen Xie, Wenzhao Lian, Changhao Wang, Yanjiang Guo, Jianyu Chen, Stefan Schaal, Masayoshi Tomizuka. icra 2023: 7169-7175 [doi]

SparseFusion: Fusing Multi-Modal Sparse Representations for Multi-Sensor 3D Object DetectionYichen Xie, Chenfeng Xu, Marie-Julie Rakotosaona, Patrick Rim, Federico Tombari, Kurt Keutzer, Masayoshi Tomizuka, Wei Zhan. iccv 2023: 17545-17556 [doi]

Active Finetuning: Exploiting Annotation Budget in the Pretraining-Finetuning ParadigmYichen Xie, Han Lu, Junchi Yan, Xiaokang Yang, Masayoshi Tomizuka, Wei Zhan. cvpr 2023: 23715-23724 [doi]

2021

2016

Interactive image retrieval system based on multiple featuresYichen Xie. cscwd 2016: 427-430 [doi]

2007

Static detection of software errors: precise and scalable algorithms for automatic detection of software errorsYichen Xie. PhD thesis, Stanford University, 2007.

Saturn: A scalable framework for error detection using Boolean satisfiabilityYichen Xie, Alex Aiken. TOPLAS, 29(3):16, 2007. [doi]

2006

Static Detection of Security Vulnerabilities in Scripting LanguagesYichen Xie, Alex Aiken. uss 2006: [doi]

2005

Saturn: A SAT-Based Tool for Bug DetectionYichen Xie, Alexander Aiken. cav 2005: 139-143 [doi]

Scalable error detection using boolean satisfiabilityYichen Xie, Alexander Aiken. POPL 2005: 351-363 [doi]

Context- and path-sensitive memory leak detectionYichen Xie, Alexander Aiken. ESEC/FSE 2005: 115-125 [doi]

2004

Zing: Exploiting Program Structure for Model Checking Concurrent SoftwareTony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie. concur 2004: 1-15 [doi]

Zing: A Model Checker for Concurrent SoftwareTony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie. cav 2004: 484-487 [doi]

2003

ARCHER: using symbolic, path-sensitive analysis to detect memory access errorsYichen Xie, Andy Chou, Dawson R. Engler. ESEC/FSE 2003: 327-336 [doi]

Using Redundancies to Find ErrorsYichen Xie, Dawson R. Engler. TSE, 29(10):915-928, 2003. [doi]

MECA: an extensible, expressive system and language for statically checking security propertiesJunfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler. ccs 2003: 321-334 [doi]

2002

A System and Language for Building System-Specific, Static AnalysesSeth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler. PLDI 2002: 69-82 [doi]

Using redundancies to find errorsYichen Xie, Dawson R. Engler. ESEC/FSE 2002: 51-60 [doi]

Sign in or sign up to see more results.

runs on WebDSL