Filters








561,613 Hits in 5.9 sec

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016  
Acknowledgments The authors gratefully acknowledge support from the National Science Foundation (SHF 1518844).  ...  The insight behind the method is that to understand the performance of a gradual type system, it is necessary to simulate how a maintenance programmer chooses to add types to an existing software system  ...  This paper presents a single result: a method for systematically evaluating the performance of a gradual type system.  ... 
doi:10.1145/2837614.2837630 dblp:conf/popl/TakikawaFGNVF16 fatcat:incs2utbkrfotes5djglnrwiwu

Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification [article]

Cameron Moy and Phúc C. Nguyẽn and Sam Tobin-Hochstadt and David Van Horn
2020 arXiv   pre-print
We evaluate this approach on a dozen existing gradually-typed programs previously shown to have prohibitive performance overhead—with a median overhead of 3.5× and up to 73.6× in the worst case—and eliminate  ...  Gradually-typed programming languages permit the incremental addition of static types to untyped programs.  ...  We evaluate our tool ( §5) on a dozen pre-existing benchmarks drawn from How to Evaluate the Performance of Gradual Typing Systems by Greenman et al.  ... 
arXiv:2007.12630v1 fatcat:n7qoqveskvemjdtonenerramky

Gradual program analysis

Samuel Estep
2019 Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH Companion 2019  
The gradual program analysis project seeks to combine those two techniques in order to gain the benefits of both.  ...  and fixpoint computations; and gradual typing theory, such as the concept of an unknown type, liftings of predicates, and liftings of functions.  ...  Flow Function Then the question arises of how we abstractly evaluate our program from one point to the next.  ... 
doi:10.1145/3359061.3361082 dblp:conf/oopsla/Estep19 fatcat:kao4wir2vzelhiii6lyu53aneu

Tackling the efficiency problem of gradual typing

Esteban Allende
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
In developing Gradualtalk 1 , a gradually-typed Smalltalk, our first concern was the design of the gradual type system, with its various features [1] .  ...  A gradual type system make the assumption that all the values can be implicitly casted from or to a dyn type, inserting the necessary cast to ensure type safety.  ... 
doi:10.1145/2508075.2514884 dblp:conf/oopsla/Allende13 fatcat:glczwo3suzf33io4obwfvxdi7i

Consolidation based speech translation

Chiori Hori, Bing Zhao, Stephan Vogel, Alex Waibel
2007 2007 IEEE Workshop on Automatic Speech Recognition & Understanding (ASRU)  
We would like to propose a new evaluation framework for partial translation by comparing with the most similar set of words extracted from a word network created by merging gradual summarizations of the  ...  To alleviate the degradation of the performance of speech translation, this paper proposes a new approach to translate ASR results through consolidation which extracts meaningful phrases and remove redundant  ...  Extrinsic evaluation The whole cascaded system of ASR, consolidation and MT systems is evaluated in terms of how much consolidation can enhance the performance of speech translation.  ... 
doi:10.1109/asru.2007.4430142 dblp:conf/asru/HoriZVW07 fatcat:mn7tbirhs5bhpdk2yw4ikwwnr4

Transient Typechecks are (Almost) Free [article]

Richard Roberts, Stefan Marr, Michael Homer, James Noble
2019 arXiv   pre-print
These optimizations can give gradually-typed languages performance comparable to state-of-the-art dynamic languages, so programmers can add types to their code without affecting their programs' performance  ...  This performance impact discourages the use of type annotations because adding types to a program makes the program slower.  ...  Evaluation To evaluate our approach to gradual type checking, we first establish the baseline performance of Moth compared to Java and JavaScript, and then assess the impact of the type checks themselves  ... 
arXiv:1807.00661v3 fatcat:24rs4mcllbftzegbnckjfpr2pq

Supervised classification for video shot segmentation

Yanjun Qi, A. Hauptmann, Ting Liu
2003 2003 International Conference on Multimedia and Expo. ICME '03. Proceedings (Cat. No.03TH8698)  
This approach provides a uniform framework for using different kinds of features extracted from the video and for detecting various types of shot boundaries.  ...  Contrastive experiments on 13 videos (~4 hours) show excellent performance on the 2001 TREC Video Track Shot Classification Task in terms of precision and recall.  ...  ACKNOWLEDGEMENTS This work was supported in part by the Advanced Research and Development Activity (ARDA) under contract number MDA908-00-C-0037 and by the National Science Foundation under Agreement No.IIS  ... 
doi:10.1109/icme.2003.1221710 dblp:conf/icmcs/QiHL03 fatcat:ffeeer4z3nfnfljotirpfxrh7q

Which of my transient type checks are not (almost) free?

Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble
2019 Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages - VMIL 2019  
In particular, we show how graphing the performance of such benchmarks when varying which type annotations are present in the source code can be used to discern potential patterns in performance.  ...  One form of type checking used in gradually typed language is transient type checking: whenever an object 'flows' through code with a type annotation, the object is dynamically checked to ensure it has  ...  Acknowledgments The authors would like to thank the anonymous reviewers for their valuable comments and helpful suggestions.  ... 
doi:10.1145/3358504.3361232 dblp:conf/oopsla/Gariano0MH019 fatcat:mr7nbouclfetzb6hzv43hbmf2u

Sound gradual typing: only mostly dead

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, Sam Tobin-Hochstadt
2017 Proceedings of the ACM on Programming Languages  
While gradual typing has proven itself attractive to programmers, many systems have avoided sound gradual typing due to the run time overhead of enforcement.  ...  On typical benchmarks, Pycket is able to eliminate more than 90% of the gradual typing overhead.  ...  ., through its support for the Indiana University Pervasive Technology Institute, and in part by the Indiana METACyt Initiative.  ... 
doi:10.1145/3133878 dblp:journals/pacmpl/BaumanBST17 fatcat:ls3lhv6rdjhhhiwh64nog3bfi4

A theory of gradual effect systems

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2014 SIGPLAN notices  
We extend the generic type-and-effect framework of Marino and Millstein with a notion of unknown effects, which turns out to be significantly more subtle than unknown types in traditional gradual typing  ...  We appeal to abstract interpretation to develop and validate the concepts of gradual effect checking.  ...  Effect Systems Effect systems classify the computational effects that an expression performs when evaluated.  ... 
doi:10.1145/2692915.2628149 fatcat:xveuwpukhfdgvdiwcrjynap7ty

A theory of gradual effect systems

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
We extend the generic type-and-effect framework of Marino and Millstein with a notion of unknown effects, which turns out to be significantly more subtle than unknown types in traditional gradual typing  ...  We appeal to abstract interpretation to develop and validate the concepts of gradual effect checking.  ...  Effect Systems Effect systems classify the computational effects that an expression performs when evaluated.  ... 
doi:10.1145/2628136.2628149 dblp:conf/icfp/SchwerterGT14 fatcat:wcbunjwaezhgrnbu6ppw6beovq

From Multiple Choices to Performance Assessment: Theory, Practice, and Strategy

Ju-Ho Lee, Sung Chang Ryoo, Sam-Ho Lee
2014 Social Science Research Network  
We suggest that Korea should take a bottom-up gradual approach that supports actual changes in the classroom in order to transform its assessment system from multiple choices to performance assessment.  ...  We conduct expert meetings with teachers and analyze performance assessment tools that are actually used by teachers to look into how and why the performance assessment, which has been implemented in Korea's  ...  The parameter represents how accurate an assessment system is.  ... 
doi:10.2139/ssrn.2543415 fatcat:4gbqbbcbizf4dgfmhr5ujhheru

Adaptation Strategies for Automated Machine Learning on Evolving Data [article]

Bilge Celik, Joaquin Vanschoren
2021 arXiv   pre-print
The main goal of this study is to understand the effect of data stream challenges such as concept drift on the performance of AutoML methods, and which adaptation strategies can be employed to make them  ...  Automated Machine Learning (AutoML) systems have been shown to efficiently build good models for new datasets. However, it is often not clear how well they can adapt when the data evolves over time.  ...  ACKNOWLEDGMENTS We would like to thank Erin Ledell, Matthias Feurer and Pieter Gijsbers for their advice on adapting their AutoML systems for this study.  ... 
arXiv:2006.06480v2 fatcat:rw3ggc4ozbfmxeafi26lmzw7ju

Workload Evaluation of Gaze-Writing Systems

2014 Sensors and materials  
In this paper, we present the workload evaluation of three types of eye-based text entry methods: (1) eye typing, (2) eye gesturing, and (3) continuous writing.  ...  As metrics for workload evaluation, we used the NASA task load index (NASA-TLX), which was developed by NASA for assessing the workload of users working with human-machine systems.  ...  Acknowledgements This work was supported by research grants from NS Promotion Foundation for Science of Perception and Uchida Energy Science Promotion Foundation.  ... 
doi:10.18494/sam.2014.1004 fatcat:zmzs6pt73beu5kibfokbfuditm

Design and Evaluation of Innovative Consumer-oriented Kitchens

M-Y Wang, C-H Huang
2018 KnE Social Sciences  
The investigation, which was thoroughly conducted based on Miryoku Engineering, the Evaluation Grid Method, and Importance-Performance Analysis, has found that Design F is No. 1 among consumers' preferences  ...  From the industrialization trends of the nineteenth century to the cyberization trends of the twenty-first, life has become increasingly more fast-paced.  ...  Likewise, suggested classifying kitchen type according to the shape of the countertop space, namely alley type, strip type, L-type, U-type, and G-type [7] .  ... 
doi:10.18502/kss.v3i10.3485 fatcat:qbdtqjxqdjf6fkt5nyqpoozl7a
« Previous Showing results 1 — 15 out of 561,613 results