Loading...
Images of Yichen Xie
(0 from 0 )1
0
0
News
Security '06 Abstract
www.usenix.org
Static Detection of Security Vulnerabilities in Scripting Languages Yichen Xie and Alex Aiken, Stanford University Abstract We present a static analysis ...
Telephone & Addresses
Yichen Xie, 36, Bellevue, NE 39th St
View Yichen's social profiles and photos on Facebook, MySpace, and +40 Networks.
WhitePages: Yichen Xie | Whitepages
495 matches for Yichen Xie. Find Yichen Xie's phone, address, etc. on Whitepages, the most trusted online directory."
Yichen Xie's Phone & Address | PeopleByName
www.peoplebyname.com
Mobile Version Visit us from your smart phone anywhere you are. Read More
Network Profiles
DBLife: Yichen Xie
dblife.cs.wisc.edu
Yichen Xie Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo! News Archive. Sorted by Year/Conf, Year/Citation, Citation. Community Statistics ; 3:
Business Profiles
patentbuddy: Yichen Xie
MICROSOFT CORPORATION, Standford, CA, US
Education
Dawson Engler - Stanford University
web.stanford.edu
Yichen Xie and Dawson Engler To appear in TSE. Finds funny bugs by looking for redundant operations (dead code, unused assignments, etc.). From empirical measurements, code with such redundant errors is % more likely to have hard errors. Also describes how to check for redundancies to find holes in specifications.
Accepted Papers
www.cs.princeton.edu
POPL Accepted Papers. Parametric Polymorphism for XML: ... Yichen Xie, Alex Aiken: A Probabilistic Language Based Upon Sampling Functions:
Yichen Xie - Stanford CS Theory
theory.stanford.edu
Yichen Xie and Alex Aiken In Proceedings of CAV 2005, Edinburgh, Scotland, UK (ps, pdf) Soundness and its Role in Bug Detection Systems (position paper) Yichen Xie, Mayur Naik, Brian Hackett, and Alex Aiken In Proceedings of Workshop on the Evaluation of …
Books & Literature
Static Detection of Software Errors: Precise and Scalable Algorithms...
books.google.de
Static detection of software errors. Front Cover. Yichen Xie, Stanford University. Computer Science Dept. Stanford University, Computers pages.
CONCUR Concurrency Theory: 15th International Conference,...
books.google.ae
This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September...
Changes and Bugs: Mining and Predicting Software Development...
books.google.ae
Software development results in a huge amount of data: changes to source code are recorded in version archives, bugs are reported to issue tracking systems,...
Computer Aided Verification: 17th International Conference, CAV
books.google.ae
Saturn: A. SAT-ased. Tool. for. Bug. Detection⋆. B. Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie, aiken}cs.stanford.edu ...
Related Documents
On Estimating the Security Risks of Composite Software ...
research.ihost.com
Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler. Meca: an extensible, expres- sive system and language for statically checking security ...
Scientific Publications
Search results for "Yichen Xie" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 13 publication records. Showing 13 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Yichen Xie, Alex Aiken
dblp: 32. POPL 2005: Long Beach, California, USA
dblp.uni-trier.de
Bibliographic content of 32. POPL 2005: Long Beach, California, USA
dblp: Saturn: A SAT-Based Tool for Bug Detection.
dblp.uni-trier.de
Bibliographic details on Saturn: A SAT-Based Tool for Bug Detection.
Publications
Zing: A Model Checker for Concurrent Software | SpringerLink
link.springer.com
Zing: A Model Checker for Concurrent Software Tony Andrews 1, Shaz Qadeer , ... Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, and Yichen Xie Subject:
Saturn: A SAT-Based Tool for Bug Detection | SpringerLink
link.springer.com
Saturn: A SAT-Based Tool for Bug Detection Book Title ... Yichen Xie (18) Alex Aiken (18) Author Affiliations Computer Science Department, Stanford University,
Zing: Exploiting Program Structure for Model Checking Concurrent...
link.springer.com
Model checking is a technique for finding bugs in systems by systematically exploring their state spaces. We wish to extract sound models from concurrent...
Video & Audio
My Life_Yichen Xie - YouTube
www.youtube.com
· This feature is not available right now. Please try again later.
Reports & Statements
Yichen Xie @TAMU – yichen730
yichen730.wordpress.com
About my BACKGROUND... My name is Yichen Xie. I am a second year MLPD student, and I will graduate in spring I come from Tianjin, China, which is a...
Miscellaneous
YiChen Xie | LinkedIn
www.linkedin.com
View YiChen Xie's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like YiChen Xie discover inside ...
PhpWebThings guestbook.php tekst sql injection - VulDB
vuldb.com
May 04, · Researcher: Yichen Xie/Alex Aiken (rgod) Status: Confirmed CVE: CVE X-Force: SecurityFocus: PHPWebThings MSG Parameter SQL Injection Vulnerability Secunia: phpWebThings SQL Injection Vulnerabilities, Moderately Critical OSVDB: phpWebThings guestbook.php tekst Parameter SQL Injection
Finding bugs with system-specific static analysis Dawson Engler Ken...
slideplayer.com
Finding bugs with system-specific static analysis Dawson Engler Ken Ashcraft, Ben Chelf, Andy Chou, Seth Hallem, Yichen Xie, Junfeng Yang Stanford University.
PPT – Yichen Xie and Alex Aiken PowerPoint presentation | free to...
www.powershow.com
Yichen Xie and Alex Aiken - PowerPoint PPT Presentation. The presentation will start after a short (15 second) video ad from one of our sponsors.
Scalable Error Detection using Boolean Satisfiability 1 Yichen Xie...
slideplayer.com
Scalable Error Detection using Boolean Satisfiability 3 Requirements Motivation Scalability –Millions of lines of code Precision –Maximize bugs found –Minimize...
Search for biographies: en/yichen xie
www.biographies.net
Search for people biographies, memoirs and profession matching the query: en/yichen xie
“A System and Language for Building System-Specific, Static Analyses”...
slideplayer.com
“A System and Language for Building System-Specific, Static Analyses” CMSC 631 – Fall Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler (presented.
Yichen Xie | USENIX
www.usenix.org
usenix conference policies . Event Code of Conduct; Conference Network Policy; Statement on Environmental Responsibility Policy; Yichen Xie
Search results for " Yichen Xie"
www.morebooks.de
Search results for Yichen Xie. Refine Search. Results per page. 15, 25, 50, 75, Hits: « Previous; 1; 2 · 3 · 4 · 5 · 6 · 7 · 8 · 9 … 25 · 26 · Next ».
TDGS - "Yichen Xie"
juliette.lsi.us.es
Static detection of software errors: precise and scalable algorithms for automatic detection of software errors
Yichen Xie
ptolemy.berkeley.edu
Team for Research in Ubiquitous Secure Technology. About | Contact Us | Search | Login. Home; News & Events. Conferences; Research. Overview; Financial Infrastructures
Yichen Xie - The Mathematics Genealogy Project
www.mathgenealogy.org
Search; About MGP. Mission; News; Staff; Recognition; Acknowledgments; Links; FAQs; Posters; Submit Data; Contact; The Mathematics Genealogy Project is in need of ...
CiteSeerX — A System and Language for Building System-Specific,...
citeseer.ist.psu.edu
BibTeX @INPROCEEDINGS{Hallem02asystem, author = {Seth Hallem and Benjamin Chelf and Yichen Xie and Dawson Engler}, title = {A System and Language for …
CiteSeerX — MECA: an Extensible, Expressive System and Language for...
citeseer.ist.psu.edu
BibTeX @INPROCEEDINGS{Yang03meca:an, author = {Junfeng Yang and Ted Kremenek and Yichen Xie and Dawson Engler}, title = {MECA: an Extensible, Expressive …
Possible Topics for Research Proposal
www.eecis.udel.edu
``ARCHER: using symbolic, path-sensitive analysis to detect memory access errors,"Yichen Xie, Andy Chou, Dawson Engler, FSE
Linux Kernel Bug in load_elf_library Lets Local Users Deny Service -...
securitytracker.com
A vulnerability was reported in the Linux kernel ELF loader. A local user can cause denial of service conditions.
Linux-Kernel Archive: Re: memory size
lkml.iu.edu
Next message: Yichen Xie: "memory leak in net/sched/ipt.c?" Previous message: Ingo Molnar: "Re: ... Memory: k k available (1855k kernel code, ...
PostgreSQL: Re: [CHECKER] 9 potential out-of-bounds array access...
www.postgresql.org
Next: From: Yichen Xie: Date: :30:07: Subject: Re: [CHECKER] 9 potential out-of-bounds array access errors: Previous: From: Yichen Xie: Date:
– liveness of thread local references across function calls
gcc.gnu.org
Comment 2 Yichen Xie :12:44 UTC. (In reply to ... So this is not a bug. Comment 6 Yichen Xie :55:58 UTC.
PostgreSQL: [CHECKER] 9 potential out-of-bounds array access errors
www.postgresql.org
From: "Yichen Xie" <yxie(at)cs(dot)stanford(dot)edu - To: <pgsql-bugs(at)postgresql(dot)org - Cc: <mc(at)cs(dot)stanford(dot)edu - Subject: …
Related search requests for Yichen Xie
| Andy Chou |
Person "Xie" (3) Forename "Yichen" (51) Name "Xie" (1964) |
sorted by relevance / date