Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315605893> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4315605893 endingPage "1026" @default.
- W4315605893 startingPage "1003" @default.
- W4315605893 abstract "An interleaved-Dyck (InterDyck) language consists of the interleaving of two or more Dyck languages, where each Dyck language represents a set of strings of balanced parentheses.InterDyck-reachability is a fundamental framework for program analyzers that simultaneously track multiple properly-matched pairs of actions such as call/return, lock/unlock, or write-data/read-data.Existing InterDyck-reachability algorithms are based on the well-known tabulation technique. This paper presents a new perspective on solving InterDyck-reachability. Our key observation is that for the single-source-single-target InterDyck-reachability variant, it is feasible to summarize all paths from the source node to the target node based on path expressions . Therefore, InterDyck-reachability becomes an InterDyck-path-recognition problem over path expressions. Instead of computing summary edges as in traditional tabulation algorithms, this new perspective enables us to express InterDyck-reachability as a parenthesis-counting problem, which can be naturally formulated via integer linear programming (ILP). We implemented our ILP-based algorithm and performed extensive evaluations based on two client analyses (a reachability analysis for concurrent programs and a taint analysis). In particular, we evaluated our algorithm against two types of algorithms: (1) the general all-pairs InterDyck-reachability algorithms based on linear conjunctive language (LCL) reachability and synchronized pushdown system (SPDS) reachability, and (2) two domain-specific algorithms for both client analyses. The experimental results are encouraging. Our algorithm achieves 1.42×, 28.24×, and 11.76× speedup for the concurrency-analysis benchmarks compared to all-pair LCL-reachability, SPDS-reachability, and domain-specific tools, respectively; 1.2×, 69.9×, and 0.98× speedup for the taint-analysis benchmarks. Moreover, the algorithm also provides precision improvements, particularly for taint analysis, where it achieves 4.55%, 11.1%, and 6.8% improvement, respectively." @default.
- W4315605893 created "2023-01-12" @default.
- W4315605893 creator A5056395245 @default.
- W4315605893 creator A5066155126 @default.
- W4315605893 creator A5078231842 @default.
- W4315605893 date "2023-01-09" @default.
- W4315605893 modified "2023-09-25" @default.
- W4315605893 title "Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming" @default.
- W4315605893 cites W1494939852 @default.
- W4315605893 cites W1580879785 @default.
- W4315605893 cites W1608142476 @default.
- W4315605893 cites W1966032455 @default.
- W4315605893 cites W1971782746 @default.
- W4315605893 cites W1997981086 @default.
- W4315605893 cites W2017315323 @default.
- W4315605893 cites W2027179699 @default.
- W4315605893 cites W2030166143 @default.
- W4315605893 cites W2060439939 @default.
- W4315605893 cites W2064982280 @default.
- W4315605893 cites W2080573945 @default.
- W4315605893 cites W2093080079 @default.
- W4315605893 cites W2094716892 @default.
- W4315605893 cites W2110833886 @default.
- W4315605893 cites W2119179558 @default.
- W4315605893 cites W2135565307 @default.
- W4315605893 cites W2157148396 @default.
- W4315605893 cites W2157390113 @default.
- W4315605893 cites W2166743230 @default.
- W4315605893 cites W2169304846 @default.
- W4315605893 cites W2271542264 @default.
- W4315605893 cites W2344518945 @default.
- W4315605893 cites W2396234346 @default.
- W4315605893 cites W2561266941 @default.
- W4315605893 cites W2798442694 @default.
- W4315605893 cites W2900044545 @default.
- W4315605893 cites W3004884024 @default.
- W4315605893 cites W3033818254 @default.
- W4315605893 cites W3117114237 @default.
- W4315605893 cites W3193574081 @default.
- W4315605893 cites W3213041887 @default.
- W4315605893 doi "https://doi.org/10.1145/3571228" @default.
- W4315605893 hasPublicationYear "2023" @default.
- W4315605893 type Work @default.
- W4315605893 citedByCount "0" @default.
- W4315605893 crossrefType "journal-article" @default.
- W4315605893 hasAuthorship W4315605893A5056395245 @default.
- W4315605893 hasAuthorship W4315605893A5066155126 @default.
- W4315605893 hasAuthorship W4315605893A5078231842 @default.
- W4315605893 hasBestOaLocation W43156058931 @default.
- W4315605893 hasConcept C111919701 @default.
- W4315605893 hasConcept C11413529 @default.
- W4315605893 hasConcept C120314980 @default.
- W4315605893 hasConcept C127413603 @default.
- W4315605893 hasConcept C136643341 @default.
- W4315605893 hasConcept C193702766 @default.
- W4315605893 hasConcept C199360897 @default.
- W4315605893 hasConcept C2777735758 @default.
- W4315605893 hasConcept C28034677 @default.
- W4315605893 hasConcept C41008148 @default.
- W4315605893 hasConcept C56086750 @default.
- W4315605893 hasConcept C62611344 @default.
- W4315605893 hasConcept C66938386 @default.
- W4315605893 hasConcept C80444323 @default.
- W4315605893 hasConceptScore W4315605893C111919701 @default.
- W4315605893 hasConceptScore W4315605893C11413529 @default.
- W4315605893 hasConceptScore W4315605893C120314980 @default.
- W4315605893 hasConceptScore W4315605893C127413603 @default.
- W4315605893 hasConceptScore W4315605893C136643341 @default.
- W4315605893 hasConceptScore W4315605893C193702766 @default.
- W4315605893 hasConceptScore W4315605893C199360897 @default.
- W4315605893 hasConceptScore W4315605893C2777735758 @default.
- W4315605893 hasConceptScore W4315605893C28034677 @default.
- W4315605893 hasConceptScore W4315605893C41008148 @default.
- W4315605893 hasConceptScore W4315605893C56086750 @default.
- W4315605893 hasConceptScore W4315605893C62611344 @default.
- W4315605893 hasConceptScore W4315605893C66938386 @default.
- W4315605893 hasConceptScore W4315605893C80444323 @default.
- W4315605893 hasFunder F4320306076 @default.
- W4315605893 hasFunder F4320332180 @default.
- W4315605893 hasFunder F4320337345 @default.
- W4315605893 hasIssue "POPL" @default.
- W4315605893 hasLocation W43156058931 @default.
- W4315605893 hasOpenAccess W4315605893 @default.
- W4315605893 hasPrimaryLocation W43156058931 @default.
- W4315605893 hasRelatedWork W155581612 @default.
- W4315605893 hasRelatedWork W1979669672 @default.
- W4315605893 hasRelatedWork W1985541611 @default.
- W4315605893 hasRelatedWork W2078614932 @default.
- W4315605893 hasRelatedWork W2110478678 @default.
- W4315605893 hasRelatedWork W2145270056 @default.
- W4315605893 hasRelatedWork W2610792783 @default.
- W4315605893 hasRelatedWork W2766631055 @default.
- W4315605893 hasRelatedWork W4232974719 @default.
- W4315605893 hasRelatedWork W4313175543 @default.
- W4315605893 hasVolume "7" @default.
- W4315605893 isParatext "false" @default.
- W4315605893 isRetracted "false" @default.
- W4315605893 workType "article" @default.