Prototyping symbolic execution engines for interpreted languages
- Submitting institution
-
Royal Holloway and Bedford New College
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 39636199
- Type
- E - Conference contribution
- DOI
-
10.1145/2541940.2541977
- Title of conference / published proceedings
- ASPLOS '14 : Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
- First page
- 239
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- February
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper proposes a radical new approach to building symbolic-execution-based automated testing systems for new programming languages. Instead of hand-crafting symbolic language semantics, the proposed system instruments an existing interpreter for the target language and executes the interpreter on a symbolic virtual machine. The practicality of the system is demonstrated by producing correct-by-construction symbolic execution engines for Python and Lua requiring only minimal manual intervention. Research groups worldwide acknowledge the potential of the approach, e.g. Xu et al (FSE'16) and Stefanescu et al (OOPSLA'16). ASPLOS is a top venue for research at the boundary between programming languages and computer architecture.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -