检索结果-内蒙古大学图书馆

program generation meets program verification: A case study on number-theoretic transform

SCIENCE OF COMPUTER programMING 2024年 232卷

作者： Masuda, Masahiro Kameyama, Yukiyoshi Univ Tsukuba Dept Comp Sci Tsukuba 3058573 Japan

program generation allows us to produce high-performance code specialized to each application domain. Although it has had great success in various domains, it remains to be seen whether it is effective for cryptography, where the correctness of programs is *** work presents a unified approach to program generation, analysis, and verification. Our target is Number-Theoretic Transform (NTT), a key building block of several candidates in Post Quantum Cryptography. We developed a program-generation framework based on the typed tagless-final style, and obtained highly efficient implementations with vector instructions such as AVX2 and AVX-512. The framework allows us to implement a program analyzer for integer overflow analysis. By combining a brute-force analysis with the standard static interval analysis, we have obtained more precise results than the state-of-the-art static analyzer, which let us find a new *** have verified the generated program using the framework. While verifying the generated program all at once is intractable, we can separately verify the low-level components and the high-level algorithm, thanks to the compositional nature of our program generator. We have used an SMT solver for the former and a custom symbolic interpreter for the latter to prove the functional correctness of the generated program successfully.

关键词： program generation Static analysis Functional correctness Number-theoretic transform Post-quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

program generation for ML Modules 18

Program Generation for ML Modules

引用

ACM SIGPLAN Workshop on Partial Evaluation and program Manipulation (PEPM)

作者： Watanabe, Takahisa Kameyama, Yukiyoshi Univ Tsukuba Dept Comp Sci Tsukuba Ibaraki Japan

ISBN: (纸本)9781450355872

program generation has been successful in various domains which need high performance and high productivity. Yet, programming-language supports for program generation need further improvement. An important omission is the functionality of generating modules in a type safe way. Inoue et al. have addressed this issue in 2016, but investigated only a few examples. We propose a language as an extension of (a small subset of) MetaOCaml in which one can manipulate and generate code of a module, and implement it based on a simple translation to MetaOCaml. We show that our language solves the performance problem in functor applications pointed out by Inoue et al., and that it provides a suitable basis for writing code generators for modules.

关键词： program generation Modules Type Safety program Transformation

来源：评论

学校读者我要写书评

暂无评论

Efficient program generation by evolving graph structures with multi-start nodes

引用

APPLIED SOFT COMPUTING 2011年第4期11卷 3618-3624页

作者： Mabu, Shingo Hirasawa, Kotaro Waseda Univ Grad Sch Informat Prod & Syst Wakamatsu Ku Fukuoka 8080135 Japan

Automatic program generation is one of the applicable fields of evolutionary computation, and Genetic programming (GP) is the typical method for this field. On the other hand, Genetic Network programming (GNP) has been proposed as an extended algorithm of GP in terms of gene structures. GNP is a graph-based evolutionary algorithm and applied to automatic program generation in this paper. GNP has directed graph structures which have some features inherently, for example, re-usability of nodes and the small number of nodes. These features contribute to creating complicated programs with compact structures and never cause bloat. In this paper, the extended algorithm of GNP is proposed, which can create plural programs simultaneously in one individual by using multi-start nodes. In addition, GNP can evolve the programs in one individual considering the fitness and also its standard deviation in order to evolve the plural programs efficiently. In the simulations, Even-n-Parity problem and Mirror Symmetry problem are used for the performance evaluation, and the results show that the proposed method outperforms the standard GNP with single start node. (C) 2011 Elsevier B.V. All rights reserved.

关键词： Evolutionary computation program generation Graph structure Even-n-Parity problem Mirror Symmetry problem

来源：评论

学校读者我要写书评

暂无评论

Distributed measurement and control system based on microcontrollers with automatic program generation

引用

SENSORS AND ACTUATORS A-PHYSICAL 2001年第3期90卷 215-221页

作者： Bolic, M Drndarevic, V Samardzic, B Inst Nucl Sci VINCA Dept Elect YU-11001 Belgrade Yugoslavia

The paper describes an open architecture microcontroller based distributed measurement and control system with automatic generation of application program, interpretation of functions and generation of program for control of the newly added distributed unit os distributed unit of a new type connected to the system performs automatically, without user assistance. The elements of the system are interconnected by means of a serial common bus according to the reduced OSI protocol. The proposed concept was tested in a system developed by using 8-bit Atmel microcontrollers of 89S and 89C series. Apart from the central unit, intelligent distributed units were developed for the control of a stepper motor, programmable linear movement, control of halogen lamps, acquisition and generation of analogue, digital and timing pulses and a real time clock (RTC). (C) 2001 Elsevier Science B.V. All rights reserved.

关键词： distributed system measurement control microcontroller autoconfiguration program generation

来源：评论

学校读者我要写书评

暂无评论

program generation for Performance 16

Program Generation for Performance

引用

31st IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Puschel, Markus ETH Dept Comp Sci Zurich Switzerland

ISBN: (纸本)9781450338455

It has become extraordinarily difficult to write software that performs close to optimally on complex modern microarchitectures. Particularly plagued are domains that require complex mathematical computations such as multimedia processing, communication, control, graphics, and machine learning. In these domains, performance-critical components are usually written in C (with possible extensions) and often even in assembly, carefully "tuned" to the platform's architecture and microarchitecture. The result is usually long, rather unreadable code that needs to be re-written or re-tuned with every platform upgrade. On the other hand, the performance penalty for relying on straightforward, non-tuned, "more elegant" implementations can be often a factor of 10, 100, or even more. The overall problem is one of productivity, maintainability, and quality (namely performance), i.e., software engineering. However, even though a large set of sophisticated software engineering theory and tools exist, it appears that to date this community has not focused much on mathematical computations nor performance in the detailed, close-to-optimal sense above. The reason for the latter may be that performance, unlike various aspects of correctness, is not syntactic in nature (and in reality is often even unpredictable and, well, messy). The aim of this talk is to draw attention to the performance/productivity problem for mathematical applications and to make the case for a more interdisciplinary attack. As a set of thoughts in this direction we offer some of the lessons we have learned in the last decade in our own research on Spiral (***), a program generation framework for numerical kernels. Key techniques used in Spiral include staged declarative domain-specific languages to express algorithm knowledge and algorithm transformations, the use of platform-cognizant rewriting systems for parallelism and locality optimizations, and the use of search and machine learning techniques t

关键词： program generation automatic programming parallelization vectorization rewriting systems Fourier transform matrix algebra

来源：评论

学校读者我要写书评

暂无评论

SPEECH-COPILOT: LEVERAGING LARGE LANGUAGE MODELS FOR SPEECH PROCESSING VIA TASK DECOMPOSITION, MODULARIZATION, AND program generation

SPEECH-COPILOT: LEVERAGING LARGE LANGUAGE MODELS FOR SPEECH ...

引用

2024 Spoken Language Technology Workshop

作者： Ku, Chun-Yi Yang, Chih-Kai Huang, Wei-Ping Lu, Ke-Han Lee, Hung-yi Natl Taiwan Univ Grad Inst Commun Engn Taipei Taiwan Natl Taiwan Univ Grad Inst Elect Engn Taipei Taiwan

ISBN: (纸本)9798350392265;9798350392258

In this work, we introduce Speech-Copilot, a modular framework for instruction-oriented speech-processing tasks that minimizes human effort in toolset construction. Unlike end-to-end methods using large audio-language models, Speech-Copilot builds speech processing-specific toolsets by analyzing pre-collected task instructions and breaking tasks into manageable sub-tasks. It features a flexible agent that performs tasks through program generation based on large language models. Our approach achieves state-of-the-art performance on the Dynamic-SUPERB benchmark, demonstrating its effectiveness across diverse speech-processing tasks. Key contributions include: 1) developing an innovative framework for speech processing-specific toolset construction, 2) establishing a high-performing agent based on large language models, and 3) offering a new perspective on addressing challenging instruction-oriented speech-processing tasks. Without additional training required by end-to-end approaches, our method provides a flexible and extendable solution for a wide range of speech-processing applications.

关键词： Large language models speech processing agent program generation

来源：评论

学校读者我要写书评

暂无评论

Modeling the control of a flexible manufacturing cell for automatic verification and control program generation

引用

INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS 2006年第3期18卷 191-208页

作者： Richardsson, Johan Fabian, Martin Volvo Car Corp Gothenburg Sweden Chalmers S-41296 Gothenburg Sweden

Shortened product life-cycles decrease the output rate of manufacturing systems. Offline verification of the control systems promises to increase the output. However, to make offline verification possible some major improvements of the current development process of manufacturing systems are needed. Information handling and development of control programs based on information reuse are two of the most important improvement areas. This paper presents the results of the modeling of a real manufacturing cell according to a previously presented method for offline verification and program generation based on information reuse.

关键词： information reuse control program verification program generation manufacturing cell

来源：评论

学校读者我要写书评

暂无评论

Grammar-based program generation Based on Model Finding

Grammar-based Program Generation Based on Model Finding

引用

8th IEEE International Design and Test Symposium (IDT)

作者： Soeken, Mathias Dreehsler, Rolf Univ Bremen Inst Comp Sci D-28359 Bremen Germany DFKI GmbH Cyber Phys Syst D-28359 Bremen Germany

ISBN: (纸本)9781479935253

This paper presents an algorithm that generates test. programs in order to test programming languages and domain specific languages using formal methods. The novelty of the approach is that it is embedded into a model driven engineering environment and it is described as a model finding problem. The grammar of the language and the respective test programs are represented as meta-models and models, respectively. As a result, model finders are utilized to generate test programs based on user constraints while additionally ensuring embedded constraints of the programming languages. An experimental evaluation demonstrates the applicability of the approach.

关键词： program generation Language meta-models Computer programming Languages FINDINGS embedding

来源：评论

学校读者我要写书评

暂无评论

program generation FOR ADA - A CASE-STUDY

引用

SOFTWARE-PRACTICE & EXPERIENCE 1988年第12期18卷 1125-1138页

作者： ALLEN, P BURNS, A Postgraduate School of Computing University of Bradford Bradford West Yorkshire BD7 1DP U.K.

program generation software is increasingly being used, not only to assist non-computer professionals to produce their own applications, but also to provide tools for programmers and designers. As part of the toolkit for an Ada dialogue development system, a program generator has been written in Ada to generate the package which codes the dialogue manager for a specified user interface. The input specifications and the method of generation are described. The advantages and disadvantages of Ada as the implementation, target and specification language are discussed.

关键词： program generation Ada User interface Specification language

来源：评论

学校读者我要写书评

暂无评论

Concurrency Control program generation by Extending Nodes in Genetic programming 3

Concurrency Control Program Generation by Extending Nodes in...

引用

3rd IIAI International Conference on Advanced Applied Informatics (IIAI-AAI)

作者： Saigo, Tatsuya Tamura, Shinji Hochin, Teruhisa Nomiya, Hiroki Kyoto Inst Technol Grad Sch Sci & Technol Kyoto 606 Japan

ISBN: (纸本)9781479941735

This paper tries to generate an appropriate concurrency control program by using genetic programming (GP). In GP, a program is represented with a tree. By limiting the usage of variables to one of two variables, an appropriate program could be generated. This method, however, could not create all of concurrency control programs. This paper extends the variable to bring more information than before for creating any concurrency control programs. It is experimentally shown that an appropriate concurrency control program can successfully be generated by extending the variable.

关键词： concurrency control program generation genetic programming symbol set

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：