scholarly journals Coarsening optimization for differentiable programming

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-27
Author(s):  
Xipeng Shen ◽  
Guoqiang Zhang ◽  
Irene Dea ◽  
Samantha Andow ◽  
Emilio Arroyo-Fang ◽  
...  
Keyword(s):  
Real World ◽  
Control Flow ◽  
Algorithmic Differentiation ◽  
Symbolic Reasoning ◽  
Single Operation ◽  
Real World Applications ◽  
Novel Method ◽  
Expression Swell

This paper presents a novel optimization for differentiable programming named coarsening optimization. It offers a systematic way to synergize symbolic differentiation and algorithmic differentiation (AD). Through it, the granularity of the computations differentiated by each step in AD can become much larger than a single operation, and hence lead to much reduced runtime computations and data allocations in AD. To circumvent the difficulties that control flow creates to symbolic differentiation in coarsening, this work introduces phi-calculus, a novel method to allow symbolic reasoning and differentiation of computations that involve branches and loops. It further avoids "expression swell" in symbolic differentiation and balance reuse and coarsening through the design of reuse-centric segment of interest identification. Experiments on a collection of real-world applications show that coarsening optimization is effective in speeding up AD, producing several times to two orders of magnitude speedups.

scholarly journals StFuzzer: Contribution-Aware Coverage-Guided Fuzzing for Smart Devices

2021 ◽  
Vol 2021 ◽  
pp. 1-15
Author(s):  
Jiageng Yang ◽  
Xinguo Zhang ◽  
Hui Lu ◽  
Muhammad Shafiq ◽  
Zhihong Tian
Keyword(s):  
Real World ◽  
Control Flow ◽  
Smart Devices ◽  
Smart Device ◽  
Basic Block ◽  
Optimization Approach ◽  
Seed Selection ◽  
Code Coverage ◽  
Real World Applications ◽  
Basic Blocks

The root cause of the insecurity for smart devices is the potential vulnerabilities in smart devices. There are many approaches to find the potential bugs in smart devices. Fuzzing is the most effective vulnerability finding technique, especially the coverage-guided fuzzing. The coverage-guided fuzzing identifies the high-quality seeds according to the corresponding code coverage triggered by these seeds. Existing coverage-guided fuzzers consider that the higher the code coverage of seeds, the greater the probability of triggering potential bugs. However, in real-world applications running on smart devices or the operation system of the smart device, the logic of these programs is very complex. Basic blocks of these programs play a different role in the process of application exploration. This observation is ignored by existing seed selection strategies, which reduces the efficiency of bug discovery on smart devices. In this paper, we propose a contribution-aware coverage-guided fuzzing, which estimates the contributions of basic blocks for the process of smart device exploration. According to the control flow of the target on any smart device and the runtime information during the fuzzing process, we propose the static contribution of a basic block and the dynamic contribution built on the execution frequency of each block. The contribution-aware optimization approach does not require any prior knowledge of the target device, which ensures our optimization adapting gray-box fuzzing and white-box fuzzing. We designed and implemented a contribution-aware coverage-guided fuzzer for smart devices, called StFuzzer. We evaluated StFuzzer on four real-world applications that are often applied on smart devices to demonstrate the efficiency of our contribution-aware optimization. The result of our trials shows that the contribution-aware approach significantly improves the capability of bug discovery and obtains better execution speed than state-of-the-art fuzzers.

Feedback-Driven Refinement of Mandarin Speech Recognition Result based on Lattice Modification and Rescoring

2017 ◽  
Vol 9 (2) ◽  
pp. 55-64
Author(s):  
Xiangdong Wang ◽  
Yang Yang ◽  
Hong Liu ◽  
Yueliang Qian ◽  
Duan Jia
Keyword(s):  
Speech Recognition ◽  
Real World ◽  
Computational Cost ◽  
Recognition Result ◽  
Real World Applications ◽  
Novel Method ◽  
Mandarin Speech Recognition ◽  
Recognition Errors ◽  
Dynamic Updating ◽  
Manual Correction

In real world applications of speech recognition, recognition errors are inevitable, and manual correction is necessary. This paper presents an approach for the refinement of Mandarin speech recognition result by exploiting user feedback. An interface incorporating character-based candidate lists and feedback-driven updating of the candidate lists is introduced. For dynamic updating of candidate lists, a novel method based on lattice modification and rescoring is proposed. By adding words with similar pronunciations to the candidates next to the corrected character into the lattice and then performing rescoring on the modified lattice, the proposed method can improve the accuracy of the candidate lists even if the correct characters are not in the original lattice, with much lower computational cost than that of the speech re-recognition methods. Experimental results show that the proposed method can reduce 24.03% of user inputs and improve average candidate rank by 25.31%.

scholarly journals Electronic Phenomena of Transition Metal Oxides

Crystals ◽  
2021 ◽  
Vol 11 (3) ◽  
pp. 256
Author(s):  
Christian Rodenbücher ◽  
Kristof Szot
Keyword(s):  
Solid State ◽  
Transition Metal ◽  
Metal Oxides ◽  
Real World ◽  
Transition Metal Oxides ◽  
Major Research ◽  
Research Fields ◽  
Real World Applications

Transition metal oxides with ABO3 or BO2 structures have become one of the major research fields in solid state science, as they exhibit an impressive variety of unusual and exotic phenomena with potential for their exploitation in real-world applications [...]

scholarly journals Applications of Distributed-Order Fractional Operators: A Review

Entropy ◽  
2021 ◽  
Vol 23 (1) ◽  
pp. 110
Author(s):  
Wei Ding ◽  
Sansit Patnaik ◽  
Sai Sidhardh ◽  
Fabio Semperlotti
Keyword(s):  
Fractional Calculus ◽  
Real World ◽  
Transport Processes ◽  
Model Systems ◽  
Variable Order ◽  
Fractional Operators ◽  
Research Activity ◽  
Road Map ◽  
Real World Applications ◽  
Distributed Order

Distributed-order fractional calculus (DOFC) is a rapidly emerging branch of the broader area of fractional calculus that has important and far-reaching applications for the modeling of complex systems. DOFC generalizes the intrinsic multiscale nature of constant and variable-order fractional operators opening significant opportunities to model systems whose behavior stems from the complex interplay and superposition of nonlocal and memory effects occurring over a multitude of scales. In recent years, a significant amount of studies focusing on mathematical aspects and real-world applications of DOFC have been produced. However, a systematic review of the available literature and of the state-of-the-art of DOFC as it pertains, specifically, to real-world applications is still lacking. This review article is intended to provide the reader a road map to understand the early development of DOFC and the progressive evolution and application to the modeling of complex real-world problems. The review starts by offering a brief introduction to the mathematics of DOFC, including analytical and numerical methods, and it continues providing an extensive overview of the applications of DOFC to fields like viscoelasticity, transport processes, and control theory that have seen most of the research activity to date.

scholarly journals Mobile Manipulation Hackathon: Moving into Real World Applications

2021 ◽  
pp. 2-14
Author(s):  
Maximo A. Roa ◽  
Mehmet R. Dogar ◽  
Jordi Pages ◽  
Carlos Vivas ◽  
Antonio Morales ◽  
...  
Keyword(s):  
Real World ◽  
Mobile Manipulation ◽  
Real World Applications
Sign in / Sign up

Export Citation Format

Share Document