Matches in SemOpenAlex for { <https://semopenalex.org/work/W4282823225> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4282823225 abstract "Automated runtime complexity analysis can help developers detect egregious performance issues. Existing runtime complexity analysis are often done for imperative programs using static analyses. In this demo paper, we demonstrate the implementation and usage of Dynaplex, a dynamic analysis tool that computes the asymptotic runtime complexity of recursive programs. Dynaplex infers recurrence relations from execution traces and solve them for a closed-form complexity bound. Experimental results show that Dynaplex can infer a wide range of complexity bounds (eg: logarithmic, polynomial, exponential, non-polynomial) with great precision (eg: $Oleft({{n^{{{log }_2}3}}}right)$ for karatsuba). A video demonstration of Dynaplex usage is available at https://youtu.be/t7dhwZ7fbVs" @default.
- W4282823225 created "2022-06-15" @default.
- W4282823225 creator A5004815005 @default.
- W4282823225 creator A5059181444 @default.
- W4282823225 creator A5069411288 @default.
- W4282823225 date "2022-05-01" @default.
- W4282823225 modified "2023-10-17" @default.
- W4282823225 title "Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs" @default.
- W4282823225 doi "https://doi.org/10.1109/icse-companion55297.2022.9793811" @default.
- W4282823225 hasPublicationYear "2022" @default.
- W4282823225 type Work @default.
- W4282823225 citedByCount "0" @default.
- W4282823225 crossrefType "proceedings-article" @default.
- W4282823225 hasAuthorship W4282823225A5004815005 @default.
- W4282823225 hasAuthorship W4282823225A5059181444 @default.
- W4282823225 hasAuthorship W4282823225A5069411288 @default.
- W4282823225 hasBestOaLocation W42828232251 @default.
- W4282823225 hasConcept C111498074 @default.
- W4282823225 hasConcept C11413529 @default.
- W4282823225 hasConcept C134306372 @default.
- W4282823225 hasConcept C151376022 @default.
- W4282823225 hasConcept C159985019 @default.
- W4282823225 hasConcept C173608175 @default.
- W4282823225 hasConcept C179799912 @default.
- W4282823225 hasConcept C192562407 @default.
- W4282823225 hasConcept C199360897 @default.
- W4282823225 hasConcept C202973057 @default.
- W4282823225 hasConcept C204323151 @default.
- W4282823225 hasConcept C311688 @default.
- W4282823225 hasConcept C33923547 @default.
- W4282823225 hasConcept C39927690 @default.
- W4282823225 hasConcept C41008148 @default.
- W4282823225 hasConcept C80444323 @default.
- W4282823225 hasConcept C90119067 @default.
- W4282823225 hasConcept C96563100 @default.
- W4282823225 hasConcept C97686452 @default.
- W4282823225 hasConceptScore W4282823225C111498074 @default.
- W4282823225 hasConceptScore W4282823225C11413529 @default.
- W4282823225 hasConceptScore W4282823225C134306372 @default.
- W4282823225 hasConceptScore W4282823225C151376022 @default.
- W4282823225 hasConceptScore W4282823225C159985019 @default.
- W4282823225 hasConceptScore W4282823225C173608175 @default.
- W4282823225 hasConceptScore W4282823225C179799912 @default.
- W4282823225 hasConceptScore W4282823225C192562407 @default.
- W4282823225 hasConceptScore W4282823225C199360897 @default.
- W4282823225 hasConceptScore W4282823225C202973057 @default.
- W4282823225 hasConceptScore W4282823225C204323151 @default.
- W4282823225 hasConceptScore W4282823225C311688 @default.
- W4282823225 hasConceptScore W4282823225C33923547 @default.
- W4282823225 hasConceptScore W4282823225C39927690 @default.
- W4282823225 hasConceptScore W4282823225C41008148 @default.
- W4282823225 hasConceptScore W4282823225C80444323 @default.
- W4282823225 hasConceptScore W4282823225C90119067 @default.
- W4282823225 hasConceptScore W4282823225C96563100 @default.
- W4282823225 hasConceptScore W4282823225C97686452 @default.
- W4282823225 hasFunder F4320306076 @default.
- W4282823225 hasFunder F4320332447 @default.
- W4282823225 hasLocation W42828232251 @default.
- W4282823225 hasOpenAccess W4282823225 @default.
- W4282823225 hasPrimaryLocation W42828232251 @default.
- W4282823225 hasRelatedWork W1558613652 @default.
- W4282823225 hasRelatedWork W1989776440 @default.
- W4282823225 hasRelatedWork W2041069649 @default.
- W4282823225 hasRelatedWork W2084878552 @default.
- W4282823225 hasRelatedWork W2107287896 @default.
- W4282823225 hasRelatedWork W2375738782 @default.
- W4282823225 hasRelatedWork W3043095508 @default.
- W4282823225 hasRelatedWork W342214647 @default.
- W4282823225 hasRelatedWork W4282823225 @default.
- W4282823225 hasRelatedWork W49472806 @default.
- W4282823225 isParatext "false" @default.
- W4282823225 isRetracted "false" @default.
- W4282823225 workType "article" @default.