Results 11 to 20 of about 200,612 (308)

CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle [PDF]

, 2020
Capability machines such as CHERI provide memory capabilities that can be used by compilers to provide security benefits for compiled code (e.g., memory safety). The C to CHERI compiler, for example, achieves memory safety by following a principle called
Devriese, Dominique, El-Korashy, Akram, Garg, Deepak, Patrignani, Marco, Piessens, Frank, Tsampas, Stelios   +5 more
core   +3 more sources

A Multi-One Instruction Set Computer for Microcontroller Applications

IEEE Access, 2021
This work presents a simple integer-only instruction set architecture and microarchitecture derived from One Instruction Set Computers (OISCs) and embedding multiple execution modes ( ${m}$ OISC), capable of running at a reasonable performance level to ...
Marco Crepaldi, Andrea Merello, Mirco Di Salvo   +2 more
doaj   +1 more source

Compiler Compiler Facilities in Atlas Autocode [PDF]

The Computer Journal, 1967
As we have demonstrated in another paper in this issue (see page 345), the Compiler Compiler has proven itself to be a very useful tool in writing compilers. As we came to use it for more general data-processing tasks, the lack of any comprehensive arithmetic facilities became a limitation.
Brooker, R. A., Morris, D., Rohl, J. S.
openaire   +1 more source

Redesigning OP2 Compiler to Use HPX Runtime Asynchronous Techniques [PDF]

, 2017
Maximizing parallelism level in applications can be achieved by minimizing overheads due to load imbalances and waiting time due to memory latencies. Compiler optimization is one of the most effective solutions to tackle this problem.
Kaiser, Hartmut, Khatami, Zahra, Ramanujam, J.   +2 more
core   +3 more sources

An Interactive Interpreter for Two Dimensional Lucid

IEEE Access, 2022
We present an initial draft of the “Luminous” interactive interpreter for a new dialect of the functional dataflow language Lucid. Luminous is not the first implementation of Lucid but it is novel in several ways.
Omar Alaqeeli, William Wadge
doaj   +1 more source

A formally verified compiler back-end [PDF]

, 2008
This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming ...
A Dold, A Dold, A Hobor, A Pnueli, ACJ Fox, AJ Chlipala, AW Appel, AW Appel, AW Appel, BK Rosen, C Lindig, CW Barrett, D Cachera, D Lacey, D Leinenbach, D Leinenbach, E Eide, F Henderson, G Barthe, G Barthe, G Barthe, G Barthe, G Clemmensen, G Goos, G Klein, G Li, G Li, G Morrisett, G Morrisett, GA Kildall, GC Necula, GC Necula, GC Necula, GC Necula, GJ Chaitin, GP Huet, H-J Boehm, IBM Corporation, J Chen, J Guttman, J Knoop, J Knoop, J McCarthy, J-B Tristan, J-B Tristan, JO Blech, JR Ellis, JS Moore, JS Moore, L Beringer, L Chirica, L George, L Rideau, LD Zuck, M Huisman, M Müller-Olm, M Strecker, MA Dave, N Benton, P Letouzey, P Letouzey, PH Hartel, PW O’Hearn, Q Huang, R Milner, R Stärk, S Beyer, S Blazy, S Blazy, S Coupet-Grimal, S Gulwani, S Lerner, SL Peyton Jones, SS Muchnick, TC Hales, WM McKeeman, X Feng, X Leroy, X Leroy, X Leroy, X Leroy, X Rival, Xavier Leroy, Y Bertot, Y Bertot, Z Shao   +85 more
core   +8 more sources

A Fast Compiler for NetKAT [PDF]

, 2015
High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about network behavior. Unfortunately, current compilers only handle "local" programs
Eliopoulos, Spiridon, Foster, Nate, Guha, Arjun, Smolka, Steffen   +3 more
core   +1 more source

A Compiler Compiler and Methodology for Problem Oriented Language Compiler Implementors [PDF]

The Computer Journal, 1978
The Program Synthesis system is a compiler compiler specially designed to enable the implementors of application systems to design, implement and issue language-based applications without having to concern themselves with the technical aspects of compiler construction; and also to ensure that the resulting systems are easily enhanced and easily ...
Evans, R. V., Lockington, G. S., Reid, T. N.   +2 more
openaire   +1 more source

Enabling Cross-Event Optimization in Discrete-Event Simulation Through Compile-Time Event Batching [PDF]

, 2018
A discrete-event simulation (DES) involves the execution of a sequence of event handlers dynamically scheduled at runtime. As a consequence, a priori knowledge of the control flow of the overall simulation program is limited.
Andelfinger, Philipp, Hartenstein, Hannes, Leinweber, Marc   +2 more
core   +3 more sources

A solution for automatic parallelization of sequential assembly code [PDF]

Serbian Journal of Electrical Engineering, 2013
Since modern multicore processors can execute existing sequential programs only on a single core, there is a strong need for automatic parallelization of program code.
Kovačević Đorđe, Stanojević Mladen, Marinković Vladimir, Popović Miroslav   +3 more
doaj   +1 more source