Search Results - Compilers Principles

Research on the Knowledge and Ability dual-driven Teaching Model for the Course of Compilers Principles by HE, Yanxiang, DU, Zhuomin, WANG, Hanfei

“…In this paper, the key and difficult problems in the teaching process of the course of Compilers Principles are studied, as well as the theory and practice teaching models are discussed…”
Get full text

Teaching Reform of Principles of Compilers under the Background of New Engineering by Dong, Min, Bi, Sheng

“…With the rapid development of information technology in the context of new engineering, the traditional course of Compilers faces many challenges and needs for reform in terms of teaching content…”
Get full text

Flipped Classroom Teaching Practice of Compiler Principles Based on MOOC by Liu, Xinxin

“…To explore the blended teaching mode of MOOC (Massive Open Online Course) and flipped classroom for all-in-English teaching of compiler principles…”
Get full text

Transformation System of two Similar Syntax Programs Based on the Compiler Principle by Xiao, Fengwei

“… similar programs based on the compilation principle. The method is divided into three stages…”
Get full text

Gamification of LR Algorithm: Engaging Students by Playing in Compiler Principle Course by Zhang, Yujie, Dou, Yuhao, Meng, Xiangwu, Lai, Yi'an, Lu, Yuhao, Wang, Xin

“…Theoretical knowledge of the compiler principle courses is often abstract and uninteresting, which may easily make students lose their confidence and interest in learning such important computer science courses…”
Get full text

The application of natural language processing in compiler principle system by Zhai, Yujia, Liu, Lizhen, Song, Wei, Du, Chao, Zhao, Xinlei

“…Compiling principle is an important course of computer science major, which mainly introduces general principles and basic methods of the construction of compiling programs mainly…”
Get full text

Engineering Reform of Compiler Principles Course by Zheng Xioajuan, Jin Ying

“…In this paper a teaching model has been established for compiler principle course through making engineering reform to compiler principles course…”
Get full text

Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations by Gao, Fengjuan, Chen, Hongyu, Zhou, Yuewei, Wang, Ke

“…In this paper, we take a different angle to evaluate compiler opti-mizations than all existing works in compiler testing literature…”
Get full text

Design and Application of Assisted Instruction Software for the Compiler Construction Principles with Java by Youtian Qu, Huilai Zou, Lili Zhong, Chaonan Wang

“…The Compiler Construction Principles course is a core foundation stone in a computer science curriculum…”
Get full text

Theoretical Foundations and Principles of Trustworthy Compilers by Safonov, Vladimir O.

“…This chapter contains sections titled: The Trustworthy Computing (TWC) Initiative TWC and Trustworthy Compilers Verified Compilers Spec#…”
Get full text

Trustworthy compilers by Safonov, Vladimir O

“…This unique guide book explains and teaches the concept of trustworthy compilers based on 50…”
Get full text

ProteoWizard: open source software for rapid proteomics tools development by Kessner, Darren, Chambers, Matt, Burke, Robert, Agus, David, Mallick, Parag

“… techniques and design principles and supports a variety of platforms with native compilers…”
Get full text

Research and practice on issue-driven teaching mode by Shan Lin, Han Wang, Yanzhong Hu

“…This paper has proposed a novel teaching mode for compiler principle course based on issue-driven…”
Get full text

MLIR: Scaling Compiler Infrastructure for Domain Specific Computation by Lattner, Chris, Amini, Mehdi, Bondhugula, Uday, Cohen, Albert, Davis, Andy, Pienaar, Jacques, Riddle, River, Shpeisman, Tatiana, Vasilache, Nicolas, Zinenko, Oleksandr

“…This work presents MLIR, a novel approach to building reusable and extensible compiler infrastructure…”
Get full text

A new practicum in compiler construction by Chakraborty, Pinaki, Saxena, P. C., Katti, C. P., Pahwa, Gauri, Taneja, Shweta

“… It uses some venerable principles of compiler construction like recursive descent parsing, syntax directed translation, and backpatching…”
Get full text

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle by El-Korashy, Akram, Tsampas, Stelios, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank

“…). The existing C to CHERI compiler, for example, achieves memory safety by following a principle called "pointers as capabilities" (PAC…”
Get full text

Position paper: the science of deep specification by Appel, Andrew W, Beringer, Lennart, Chlipala, Adam, Pierce, Benjamin C, Shao, Zhong, Weirich, Stephanie, Zdancewic, Steve

“…We introduce our efforts within the project 'The science of deep specification' to work out the key formal underpinnings of industrial-scale formal…”
Get more information

On Compiler Error Messages : What They Say and What They Mean by Traver, V. Javier

“…Programmers often encounter cryptic compiler error messages that are difficult to understand and thus difficult to resolve…”
Get full text

OCC: An Automated End-to-End Machine Learning Optimizing Compiler for Computing-In-Memory by Siemieniuk, Adam, Chelini, Lorenzo, Khan, Asif Ali, Castrillon, Jeronimo, Drebes, Andi, Corporaal, Henk, Grosser, Tobias, Kong, Martin

“… We demonstrate the programmability of memristor-based accelerators using the new compiler design principle of multilevel rewriting, where a hierarchy of abstractions lowers programs level-by-level…”
Get full text

Design and Implementation of Amharic-based IDE with High-Level Programming Language by Gizachew, Fitsum

“…: the main goal of this study is to create an easy-to-use high-level Amharic programming language, as well as a special compiler Environment for the language.METHODS…”
Get full text