Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384302786> ?p ?o ?g. }
- W4384302786 abstract "Symbolic execution is a powerful program analysis and testing technique. Symbolic execution engines are usually implemented as interpreters, and the induced interpretation over-head can dramatically inhibit performance. Alternatively, implementation choices based on instrumentation provide a limited ability to transform programs. However, the use of compilation and code generation techniques beyond simple instrumentation remains underexplored for engine construction, leaving potential performance gains untapped. In this paper, we show how to tap some of these gains using sophisticated compilation techniques: We present Gensym, an optimizing symbolic-execution compiler that generates symbolic code which explores paths and generates tests in parallel. The key insight of GensYmis to compile symbolic execution tasks into cooperative concurrency via continuation-passing style, which further enables efficient parallelism. The design and implementation of Gensym is based on partial evaluation and generative programming techniques, which make it high-level and performant at the same time. We compare the performance of Gensym against the prior symbolic-execution compiler LLSC and the state-of-the-art symbolic interpreter KLEE. The results show an average 4.6× speedup for sequential execution and 9.4× speedup for parallel execution on 20 benchmark programs." @default.
- W4384302786 created "2023-07-15" @default.
- W4384302786 creator A5003153354 @default.
- W4384302786 creator A5019063975 @default.
- W4384302786 creator A5031954659 @default.
- W4384302786 creator A5054308182 @default.
- W4384302786 creator A5061687942 @default.
- W4384302786 creator A5077076536 @default.
- W4384302786 creator A5081573804 @default.
- W4384302786 date "2023-05-01" @default.
- W4384302786 modified "2023-10-17" @default.
- W4384302786 title "Compiling Parallel Symbolic Execution with Continuations" @default.
- W4384302786 cites W1480909796 @default.
- W4384302786 cites W1517960827 @default.
- W4384302786 cites W1519503583 @default.
- W4384302786 cites W1541994051 @default.
- W4384302786 cites W1584951182 @default.
- W4384302786 cites W1979693894 @default.
- W4384302786 cites W1981830935 @default.
- W4384302786 cites W1986693746 @default.
- W4384302786 cites W1989310296 @default.
- W4384302786 cites W1990347915 @default.
- W4384302786 cites W1995109607 @default.
- W4384302786 cites W1995618084 @default.
- W4384302786 cites W1999567573 @default.
- W4384302786 cites W2014725850 @default.
- W4384302786 cites W2026049208 @default.
- W4384302786 cites W2043100293 @default.
- W4384302786 cites W2055947235 @default.
- W4384302786 cites W2061686717 @default.
- W4384302786 cites W2094455839 @default.
- W4384302786 cites W2095551048 @default.
- W4384302786 cites W2096314727 @default.
- W4384302786 cites W2101512909 @default.
- W4384302786 cites W2107089133 @default.
- W4384302786 cites W2107147876 @default.
- W4384302786 cites W2117058582 @default.
- W4384302786 cites W2129487583 @default.
- W4384302786 cites W2132897303 @default.
- W4384302786 cites W2138788987 @default.
- W4384302786 cites W2154697693 @default.
- W4384302786 cites W2156858199 @default.
- W4384302786 cites W2169063148 @default.
- W4384302786 cites W2174188378 @default.
- W4384302786 cites W2243965201 @default.
- W4384302786 cites W2493901872 @default.
- W4384302786 cites W2514974017 @default.
- W4384302786 cites W2572804059 @default.
- W4384302786 cites W2611698539 @default.
- W4384302786 cites W2731881248 @default.
- W4384302786 cites W2752983867 @default.
- W4384302786 cites W2798416929 @default.
- W4384302786 cites W2964794147 @default.
- W4384302786 cites W2979609173 @default.
- W4384302786 cites W3109485936 @default.
- W4384302786 cites W3127358641 @default.
- W4384302786 cites W3195588981 @default.
- W4384302786 cites W4237492309 @default.
- W4384302786 cites W4242377092 @default.
- W4384302786 cites W4301270244 @default.
- W4384302786 cites W51507023 @default.
- W4384302786 doi "https://doi.org/10.1109/icse48619.2023.00116" @default.
- W4384302786 hasPublicationYear "2023" @default.
- W4384302786 type Work @default.
- W4384302786 citedByCount "0" @default.
- W4384302786 crossrefType "proceedings-article" @default.
- W4384302786 hasAuthorship W4384302786A5003153354 @default.
- W4384302786 hasAuthorship W4384302786A5019063975 @default.
- W4384302786 hasAuthorship W4384302786A5031954659 @default.
- W4384302786 hasAuthorship W4384302786A5054308182 @default.
- W4384302786 hasAuthorship W4384302786A5061687942 @default.
- W4384302786 hasAuthorship W4384302786A5077076536 @default.
- W4384302786 hasAuthorship W4384302786A5081573804 @default.
- W4384302786 hasConcept C111919701 @default.
- W4384302786 hasConcept C122783720 @default.
- W4384302786 hasConcept C13280743 @default.
- W4384302786 hasConcept C133162039 @default.
- W4384302786 hasConcept C169590947 @default.
- W4384302786 hasConcept C173608175 @default.
- W4384302786 hasConcept C185798385 @default.
- W4384302786 hasConcept C193702766 @default.
- W4384302786 hasConcept C199360897 @default.
- W4384302786 hasConcept C200833197 @default.
- W4384302786 hasConcept C205649164 @default.
- W4384302786 hasConcept C26517878 @default.
- W4384302786 hasConcept C2776834041 @default.
- W4384302786 hasConcept C2777904410 @default.
- W4384302786 hasConcept C2779639559 @default.
- W4384302786 hasConcept C2781172179 @default.
- W4384302786 hasConcept C41008148 @default.
- W4384302786 hasConcept C68339613 @default.
- W4384302786 hasConceptScore W4384302786C111919701 @default.
- W4384302786 hasConceptScore W4384302786C122783720 @default.
- W4384302786 hasConceptScore W4384302786C13280743 @default.
- W4384302786 hasConceptScore W4384302786C133162039 @default.
- W4384302786 hasConceptScore W4384302786C169590947 @default.
- W4384302786 hasConceptScore W4384302786C173608175 @default.
- W4384302786 hasConceptScore W4384302786C185798385 @default.
- W4384302786 hasConceptScore W4384302786C193702766 @default.
- W4384302786 hasConceptScore W4384302786C199360897 @default.