About: Naïve Transient Cast Insertion Isn’t (That) Bad

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Naïve Transient Cast Insertion Isn’t (That) Bad Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #89178 Naïve Transient Cast Insertion Isn’t (That) Bad
sameAs	Naïve Transient Cast Insertion Isn’t (That) Bad
http://eprints.org/ontology/hasAccepted	Naïve Transient Cast Insertion Isn’t (That) Bad (PDF)
http://eprints.org/ontology/hasDocument	Naïve Transient Cast Insertion Isn’t (That) Bad (PDF) Naïve Transient Cast Insertion Isn’t (That) Bad (Other) Naïve Transient Cast Insertion Isn’t (That) Bad (Other) Naïve Transient Cast Insertion Isn’t (That) Bad (Other) Naïve Transient Cast Insertion Isn’t (That) Bad (Other) Naïve Transient Cast Insertion Isn’t (That) Bad (Other)
dc:hasVersion	Naïve Transient Cast Insertion Isn’t (That) Bad (PDF)
Title	Naïve Transient Cast Insertion Isn’t (That) Bad
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2021-07
Creator	Richard Roberts Isaac Oscar Gariano Michael Homer James Noble Erin Greenwood-Thessman Stefan Marr
status	peer reviewed published
Publisher	ACM
abstract	Transient gradual type systems often depend on type-based cast insertion to achieve good performance: casts are inserted whenever the static checker detects that a dynamically-typed value may flow into a statically-typed context. Transient gradually typed programs are then often executed using just-in-time compilation, and contemporary just-in-time compilers are very good at removing redundant computations. In this paper we present work-in-progress to measure the ability of just-in-time compilers to remove redundant type checks. We investigate worst-case performance and so take a na'ive approach, annotating every subexpression to insert every plausible dynamic cast. Our results indicate that the Moth VM still manages to eliminate much of the overhead, by relying on the state-of-the-art SOMns substrate and Graal just-in-time compiler. We hope these results will help language implementers evaluate the tradeoffs between dynamic optimisations (which can improve the performance of both statically and dynamically typed programs) and static optimisations (which improve only statically typed code).
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA Mathematics (inc Computing science)
list of authors	https://kar.kent.ac.uk/id/eprint/89178#authors
presented at	16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #89178 Naïve Transient Cast Insertion Isn’t (That) Bad

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software