FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950121745> ?p ?o ?g. }

• W2950121745 endingPage "41" @default.
• W2950121745 startingPage "1" @default.
• W2950121745 abstract "We present a new machine-learning algorithm with disjunctive model for data-driven program analysis. One major challenge in static program analysis is a substantial amount of manual effort required for tuning the analysis performance. Recently, data-driven program analysis has emerged to address this challenge by automatically adjusting the analysis based on data through a learning algorithm. Although this new approach has proven promising for various program analysis tasks, its effectiveness has been limited due to simple-minded learning models and algorithms that are unable to capture sophisticated, in particular disjunctive, program properties. To overcome this shortcoming, this article presents a new disjunctive model for data-driven program analysis as well as a learning algorithm to find the model parameters. Our model uses Boolean formulas over atomic features and therefore is able to express nonlinear combinations of program properties. A key technical challenge is to efficiently determine a set of good Boolean formulas, as brute-force search would simply be impractical. We present a stepwise and greedy algorithm that efficiently learns Boolean formulas. We show the effectiveness and generality of our algorithm with two static analyzers: context-sensitive points-to analysis for Java and flow-sensitive interval analysis for C. Experimental results show that our automated technique significantly improves the performance of the state-of-the-art techniques including ones hand-crafted by human experts." @default.
• W2950121745 created "2019-06-27" @default.
• W2950121745 creator A5022352627 @default.
• W2950121745 creator A5037080086 @default.
• W2950121745 creator A5042036026 @default.
• W2950121745 creator A5046062654 @default.
• W2950121745 date "2019-06-19" @default.
• W2950121745 modified "2023-09-23" @default.
• W2950121745 title "A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis" @default.
• W2950121745 cites W1557543533 @default.
• W2950121745 cites W188579568 @default.
• W2950121745 cites W1969610731 @default.
• W2950121745 cites W1987035533 @default.
• W2950121745 cites W2017842497 @default.
• W2950121745 cites W2017971446 @default.
• W2950121745 cites W2028284083 @default.
• W2950121745 cites W2044870852 @default.
• W2950121745 cites W2046699259 @default.
• W2950121745 cites W2049311281 @default.
• W2950121745 cites W2050680750 @default.
• W2950121745 cites W2051527230 @default.
• W2950121745 cites W2077102566 @default.
• W2950121745 cites W2110833886 @default.
• W2950121745 cites W2111996055 @default.
• W2950121745 cites W2122745100 @default.
• W2950121745 cites W2125357166 @default.
• W2950121745 cites W2141373773 @default.
• W2950121745 cites W2162544703 @default.
• W2950121745 cites W2166091242 @default.
• W2950121745 cites W2299299451 @default.
• W2950121745 cites W2508295954 @default.
• W2950121745 cites W2567537733 @default.
• W2950121745 cites W2619331983 @default.
• W2950121745 cites W2622559577 @default.
• W2950121745 cites W2626029330 @default.
• W2950121745 cites W2749587018 @default.
• W2950121745 cites W2761799536 @default.
• W2950121745 cites W2770096704 @default.
• W2950121745 cites W2914074464 @default.
• W2950121745 cites W3100198463 @default.
• W2950121745 cites W3158747708 @default.
• W2950121745 cites W4206770190 @default.
• W2950121745 cites W4237737995 @default.
• W2950121745 cites W4243644740 @default.
• W2950121745 cites W4247889999 @default.
• W2950121745 cites W4251478049 @default.
• W2950121745 cites W4252599801 @default.
• W2950121745 cites W4252786566 @default.
• W2950121745 doi "https://doi.org/10.1145/3293607" @default.
• W2950121745 hasPublicationYear "2019" @default.
• W2950121745 type Work @default.
• W2950121745 sameAs 2950121745 @default.
• W2950121745 citedByCount "7" @default.
• W2950121745 countsByYear W29501217452020 @default.
• W2950121745 countsByYear W29501217452021 @default.
• W2950121745 countsByYear W29501217452022 @default.
• W2950121745 countsByYear W29501217452023 @default.
• W2950121745 crossrefType "journal-article" @default.
• W2950121745 hasAuthorship W2950121745A5022352627 @default.
• W2950121745 hasAuthorship W2950121745A5037080086 @default.
• W2950121745 hasAuthorship W2950121745A5042036026 @default.
• W2950121745 hasAuthorship W2950121745A5046062654 @default.
• W2950121745 hasConcept C11413529 @default.
• W2950121745 hasConcept C119857082 @default.
• W2950121745 hasConcept C154945302 @default.
• W2950121745 hasConcept C15744967 @default.
• W2950121745 hasConcept C177264268 @default.
• W2950121745 hasConcept C199360897 @default.
• W2950121745 hasConcept C26517878 @default.
• W2950121745 hasConcept C2780767217 @default.
• W2950121745 hasConcept C38652104 @default.
• W2950121745 hasConcept C41008148 @default.
• W2950121745 hasConcept C542102704 @default.
• W2950121745 hasConcept C80444323 @default.
• W2950121745 hasConcept C98183937 @default.
• W2950121745 hasConceptScore W2950121745C11413529 @default.
• W2950121745 hasConceptScore W2950121745C119857082 @default.
• W2950121745 hasConceptScore W2950121745C154945302 @default.
• W2950121745 hasConceptScore W2950121745C15744967 @default.
• W2950121745 hasConceptScore W2950121745C177264268 @default.
• W2950121745 hasConceptScore W2950121745C199360897 @default.
• W2950121745 hasConceptScore W2950121745C26517878 @default.
• W2950121745 hasConceptScore W2950121745C2780767217 @default.
• W2950121745 hasConceptScore W2950121745C38652104 @default.
• W2950121745 hasConceptScore W2950121745C41008148 @default.
• W2950121745 hasConceptScore W2950121745C542102704 @default.
• W2950121745 hasConceptScore W2950121745C80444323 @default.
• W2950121745 hasConceptScore W2950121745C98183937 @default.
• W2950121745 hasIssue "2" @default.
• W2950121745 hasLocation W29501217451 @default.
• W2950121745 hasOpenAccess W2950121745 @default.
• W2950121745 hasPrimaryLocation W29501217451 @default.
• W2950121745 hasRelatedWork W2329452785 @default.
• W2950121745 hasRelatedWork W2356380379 @default.
• W2950121745 hasRelatedWork W2367624939 @default.
• W2950121745 hasRelatedWork W2943342340 @default.
• W2950121745 hasRelatedWork W2961085424 @default.
• W2950121745 hasRelatedWork W4205364923 @default.

• next