Matches in SemOpenAlex for { <https://semopenalex.org/work/W3113569820> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3113569820 endingPage "435" @default.
- W3113569820 startingPage "424" @default.
- W3113569820 abstract "A certifying compiler preserves type information through compilation to assembly language programs, producing typed assembly language (TAL) programs that can be verified for safety independently so that the compiler does not need to be trusted. There are two challenges for adopting certifying compilation in practice. First, requiring every compiler transformation and optimization to preserve types is a large burden on compilers, especially when adopting certifying compilation into existing optimizing non-certifying compilers. Second, type annotations significantly increase the size of assembly language programs. This paper proposes an alternative to traditional certifying compilers. It presents iTalX, the first inferable TAL type system that supports existential types, arrays, interfaces, and stacks. We have proved our inference algorithm is complete, meaning if an assembly language program is typeable with iTalX then our algorithm will infer an iTalX typing for that program. Furthermore, our algorithm is guaranteed to terminate even if the assembly language program is untypeable. We demonstrate that it is practical to infer such an expressive TAL by showing a prototype implementation of type inference for code compiled by Bartok, an optimizing C# compiler. Our prototype implementation infers complete type annotations for 98% of functions in a suite of realistic C# benchmarks. The type-inference time is about 8% of the compilation time. We needed to change only 2.5% of the compiler code, mostly adding new code for defining types and for writing types to object files. Most transformations are untouched. Type-annotation size is only 17% of the size of pure code and data, reducing type annotations in our previous certifying compiler [4] by 60%. The compiler needs to preserve only essential type information such as method signatures, object-layout information, and types for static data and external labels. Even non-certifying compilers have most of this information available." @default.
- W3113569820 created "2021-01-05" @default.
- W3113569820 creator A5034049679 @default.
- W3113569820 creator A5080996329 @default.
- W3113569820 creator A5084263659 @default.
- W3113569820 date "2010-06-05" @default.
- W3113569820 modified "2023-10-14" @default.
- W3113569820 title "Inferable object-oriented typed assembly language" @default.
- W3113569820 cites W1976394633 @default.
- W3113569820 cites W1993209012 @default.
- W3113569820 cites W2025407135 @default.
- W3113569820 cites W2025672027 @default.
- W3113569820 cites W2069107692 @default.
- W3113569820 cites W2081596204 @default.
- W3113569820 cites W2104963439 @default.
- W3113569820 cites W2133546079 @default.
- W3113569820 cites W2134585967 @default.
- W3113569820 cites W2150769115 @default.
- W3113569820 cites W2152240553 @default.
- W3113569820 cites W2152534261 @default.
- W3113569820 cites W2161280002 @default.
- W3113569820 cites W2166822586 @default.
- W3113569820 cites W4242659600 @default.
- W3113569820 cites W4248324061 @default.
- W3113569820 cites W4250583525 @default.
- W3113569820 doi "https://doi.org/10.1145/1809028.1806644" @default.
- W3113569820 hasPublicationYear "2010" @default.
- W3113569820 type Work @default.
- W3113569820 sameAs 3113569820 @default.
- W3113569820 citedByCount "1" @default.
- W3113569820 countsByYear W31135698202015 @default.
- W3113569820 crossrefType "journal-article" @default.
- W3113569820 hasAuthorship W3113569820A5034049679 @default.
- W3113569820 hasAuthorship W3113569820A5080996329 @default.
- W3113569820 hasAuthorship W3113569820A5084263659 @default.
- W3113569820 hasBestOaLocation W31135698202 @default.
- W3113569820 hasConcept C111919701 @default.
- W3113569820 hasConcept C133162039 @default.
- W3113569820 hasConcept C138958017 @default.
- W3113569820 hasConcept C154526789 @default.
- W3113569820 hasConcept C154945302 @default.
- W3113569820 hasConcept C169590947 @default.
- W3113569820 hasConcept C190902152 @default.
- W3113569820 hasConcept C198370458 @default.
- W3113569820 hasConcept C199360897 @default.
- W3113569820 hasConcept C26517878 @default.
- W3113569820 hasConcept C2776214188 @default.
- W3113569820 hasConcept C2777904410 @default.
- W3113569820 hasConcept C41008148 @default.
- W3113569820 hasConcept C48859967 @default.
- W3113569820 hasConcept C50831359 @default.
- W3113569820 hasConcept C68366613 @default.
- W3113569820 hasConceptScore W3113569820C111919701 @default.
- W3113569820 hasConceptScore W3113569820C133162039 @default.
- W3113569820 hasConceptScore W3113569820C138958017 @default.
- W3113569820 hasConceptScore W3113569820C154526789 @default.
- W3113569820 hasConceptScore W3113569820C154945302 @default.
- W3113569820 hasConceptScore W3113569820C169590947 @default.
- W3113569820 hasConceptScore W3113569820C190902152 @default.
- W3113569820 hasConceptScore W3113569820C198370458 @default.
- W3113569820 hasConceptScore W3113569820C199360897 @default.
- W3113569820 hasConceptScore W3113569820C26517878 @default.
- W3113569820 hasConceptScore W3113569820C2776214188 @default.
- W3113569820 hasConceptScore W3113569820C2777904410 @default.
- W3113569820 hasConceptScore W3113569820C41008148 @default.
- W3113569820 hasConceptScore W3113569820C48859967 @default.
- W3113569820 hasConceptScore W3113569820C50831359 @default.
- W3113569820 hasConceptScore W3113569820C68366613 @default.
- W3113569820 hasIssue "6" @default.
- W3113569820 hasLocation W31135698201 @default.
- W3113569820 hasLocation W31135698202 @default.
- W3113569820 hasOpenAccess W3113569820 @default.
- W3113569820 hasPrimaryLocation W31135698201 @default.
- W3113569820 hasRelatedWork W1595447477 @default.
- W3113569820 hasRelatedWork W1971559523 @default.
- W3113569820 hasRelatedWork W1988494037 @default.
- W3113569820 hasRelatedWork W2027184717 @default.
- W3113569820 hasRelatedWork W2266172661 @default.
- W3113569820 hasRelatedWork W2361535277 @default.
- W3113569820 hasRelatedWork W2369288331 @default.
- W3113569820 hasRelatedWork W3006413190 @default.
- W3113569820 hasRelatedWork W3113569820 @default.
- W3113569820 hasRelatedWork W4226176667 @default.
- W3113569820 hasVolume "45" @default.
- W3113569820 isParatext "false" @default.
- W3113569820 isRetracted "false" @default.
- W3113569820 magId "3113569820" @default.
- W3113569820 workType "article" @default.