Output details
11 - Computer Science and Informatics
Queen Mary University of London
Output title
jStar: Towards Practical Verification for Java
Type
E - Conference contribution
Name of conference/published proceedings
23rd Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications
Volume number
43
Issue number
10
First page of article
213
ISSN of proceedings
-
Year of publication
2008
URL
Number of additional authors
1
Additional information
<11>The first paper to apply separation logic to the automatic verification of Java programs. The technology developed here has been implemented in the verification system jStar. jStar's effectiveness was demonstrated on programs extensively used by developers in real-world applications, but which were highly challenging for existing verification techniques. jStar is now an on-going open-source software project used as the core technology for several verification tools (e.g., coreStar, lStar). According to Microsoft Academic Search, this is the most cited paper from this 2008 conference. The paper led to an awarded joint grant (EPSRC EP/H011749/1) between Queen Mary and Cambridge.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
36
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
