People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Visitor Online Fair Guide 2010. Virtual Showcase Presented By Productpilot.com. Intertextile Beijing 2011 Exhibitor List (as of 26 January 2011) AUSTRIA
Gang Tan, Zhong Shao, Xinyu Feng and Hongxu Cai Witnessing Purity, Constancy and Mutability. Ben Lippmeier Sponsor. SIGPL of Korean Institute of Information Scientists and ...
by Xinyu Feng and Zhong Shao Associated Type Synonyms by Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones AtomCaml: First-Class Atomicity via Rollback
[27] Xin Li, Jian Lu, Chun Cao, Xinyu Feng, and Xianping Tao. Security of Mobile Agent ... http://staff.ustc.edu.cn/~xyfeng/research/feng-cv.pdf
Contact: 166 Ren'ai Road Suzhou Institute for Advanced Study, USTC Suzhou, Jiangsu 215123, China : Phone: Fax: Email: +86-512-87161319 TBD
E-mail: xinyu.feng@yale.edu ++ Department of Commputer Science and Engineering University of Texas at Arlington Arlington, Texas, U.S.A. E-mail: [email protected]
@inproceedings{feng08vstte, title = {{Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems}}, author = {Xinyu Feng and Zhong Shao and ...
Linkedin
Toyota Technological Institute at Chicago (TTIC) (Educational Institution; Research industry): Research Assistant Professor, (September 2007-May 2010)