S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Correlation Exploitation in Error Ranking - Kremenek, Ashcraft, Yang, Engler (2004) Self-citation (Engler) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI 2002.
Finding Application Errors and Security Flaws - Using Pql Program (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the Conference on Programming Language Design and Implementation, pages 69--82, 2002.
Finding Security Vulnerabilities in Java Applications - With Static Analysis (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002.
Lightweight Object Specification with Typestates - Bierhoff, Aldrich (2005) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In SIGPLAN Conference on Programming Language Design and Implementation, 2002.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (2005) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002.
Efficient Trace Monitoring - Avgustinov, Tibble, Bodden, Lhotak.. (2006) (Correct)
No context found.
Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 69--82. ACM Press, 2002.
Adding Trace Matching with Free Variables to AspectJ - Chris Allan Pavel (2005) (2 citations) (Correct)
No context found.
Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 69--82, 2002.
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the Conference on Programming Language Design and Implementation, pages 69--82, 2002.
Finding Security Vulnerabilities in Java Applications with.. - Livshits, Lam (2005) (1 citation) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002.
Improving Software Security with a C Pointer Analysis - Avots, Dalton, Livshits, Lam (2005) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002.
Finding Application Errors and Security Flaws Using PQL: a .. - Martin, Livshits, Lam (2005) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In
OS Verification --- Now! - Harvey Tuch Gerwin (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. R. Engler. A system and language for building system-specific, static analyses. In PLDI, pages 69--82, 2002.
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Bhatkar.. (2003) (Correct)
No context found.
Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In Cindy Norris and Jr. James B. Fenwick, editors, Proceedings of the ACM SIGPLAN 2002.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002.
PSE: Explaining Program Failures via Postmortem.. - Manevich, Sridharan, .. (2004) (Correct)
No context found.
Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002.
Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.
Efficient Specification-Assisted Error Localization - Brian Demsky Cristian (2004) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI, pages 69--82, 2002.
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (19 citations) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI 02: Programming Language Design and Implementation, pages 69--82. ACM, 2002.
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI, June 2002.
Efficient Specification-Assisted Error Localization - Demsky, Cadar, Roy, Rinard (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI, pages 69--82, 2002.
Checking and Inferring Local Non-Aliasing - Alex Aiken Aiken (2003) (5 citations) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In Proceedings of the 2002.
ESP: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner, Seigle (2002) (46 citations) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A System and Language for Building System-Specific, Static Analyses. In Proceedings of the 2002.
The Fugue protocol checker: Is your software Baroque? - DeLine, Fähndrich (2004) (1 citation) (Correct)
No context found.
S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI'02 [13].
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC