LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "compiler" as a keyword



A Proof-Producing Compiler for Blockchain Applications

Sign Up to like & get
recommendations! Published in 2025 at "Journal of Automated Reasoning"

DOI: 10.1007/s10817-025-09723-y

Abstract: CairoZero is a programming language for running decentralized applications (dApps) at scale. Programs written in the CairoZero language are compiled to machine code for the Cairo CPU architecture and cryptographic protocols are used to verify… read more here.

Keywords: proof producing; producing compiler; language; blockchain applications ... See more keywords

ALIC: A Low Overhead Compiler Optimization Prediction Model

Sign Up to like & get
recommendations! Published in 2018 at "Wireless Personal Communications"

DOI: 10.1007/s11277-018-5479-x

Abstract: Iterative compilation based on machine learning can automatically predict the best optimization for the new programs. However, the efficient prediction models often require repetitive training, which leads to a higher training time overheads, and greatly… read more here.

Keywords: iterative compilation; prediction model; optimization; compiler ... See more keywords

A SQL to C compiler in 500 lines of code

Sign Up to like & get
recommendations! Published in 2019 at "Journal of Functional Programming"

DOI: 10.1017/s0956796819000054

Abstract: Abstract We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code – a convincing case study that high-level… read more here.

Keywords: compiler; programming; sql compiler; 500 lines ... See more keywords
Photo from wikipedia

Fine-Grained Compiler Identification With Sequence-Oriented Neural Modeling

Sign Up to like & get
recommendations! Published in 2021 at "IEEE Access"

DOI: 10.1109/access.2021.3069227

Abstract: Different compilers and optimization levels can be used to compile the source code. Revealed in reverse from the produced binaries, these compiler details facilitate essential binary analysis tasks, such as malware analysis and software forensics.… read more here.

Keywords: compiler; accuracy; neural modeling; accuracy identifying ... See more keywords

ToolPhet: Inference of Compiler Provenance From Stripped Binaries With Emerging Compilation Toolchains

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Access"

DOI: 10.1109/access.2024.3355098

Abstract: Identifying compiler toolchain provenance serves as a basis for both benign and malicious binary analyses. A wealth of prior studies mostly focuses on the inference of a popular compiler toolchain for C and C++ languages… read more here.

Keywords: inference; emerging compilation; provenance; compiler ... See more keywords

Compiler-Assisted Semantic-Aware Encryption for Efficient and Secure Serverless Computing

Sign Up to like & get
recommendations! Published in 2021 at "IEEE Internet of Things Journal"

DOI: 10.1109/jiot.2020.3031550

Abstract: Serverless computing like Function-as-a-Service (FaaS) is attractive for IoT service providers, liberating the providers from server maintenance. Since a data processing function is executed on the cloud instead of a dedicated server in the FaaS… read more here.

Keywords: compiler; semantic aware; compiler assisted; serverless computing ... See more keywords

Privacy Set: Privacy-Authority-Aware Compiler for Homomorphic Encryption on Edge-Cloud System

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Internet of Things Journal"

DOI: 10.1109/jiot.2024.3437356

Abstract: Fully homomorphic encryption (FHE) offers a promising solution for privacy-preserving cloud computing by allowing cloud servers to compute on encrypted data without decryption. However, its applicability is limited by the programming burden of ciphertext management… read more here.

Keywords: privacy authority; edge cloud; authority; privacy ... See more keywords

The Sparse Polyhedral Framework: Composing Compiler-Generated Inspector-Executor Code

Sign Up to like & get
recommendations! Published in 2018 at "Proceedings of the IEEE"

DOI: 10.1109/jproc.2018.2857721

Abstract: Irregular applications such as big graph analysis, material simulations, molecular dynamics simulations, and finite element analysis have performance problems due to their use of sparse data structures. Inspector–executor strategies improve sparse computation performance through parallelization… read more here.

Keywords: framework; inspector executor; executor; executor transformations ... See more keywords

UDIR: Towards a Unified Compiler Framework for Reconfigurable Dataflow Architectures

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Computer Architecture Letters"

DOI: 10.1109/lca.2023.3342130

Abstract: Specialized hardware accelerators have gained traction as a means to improve energy efficiency over inefficient von Neumann cores. However, as specialized hardware is limited to a few applications, there is increasing interest in programmable, non-von… read more here.

Keywords: specialized hardware; udir towards; dataflow architectures; reconfigurable dataflow ... See more keywords

DNNVM: End-to-End Compiler Leveraging Heterogeneous Optimizations on FPGA-Based CNN Accelerators

Sign Up to like & get
recommendations! Published in 2020 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"

DOI: 10.1109/tcad.2019.2930577

Abstract: The convolutional neural network (CNN) has become a state-of-the-art method for several artificial intelligence domains in recent years. The increasingly complex CNN models are both computation-bound and I/O-bound. Field-programmable gate array-based accelerators driven by custom… read more here.

Keywords: compiler; state art; 330 mhz; heterogeneous optimizations ... See more keywords

OCC: An Automated End-to-End Machine Learning Optimizing Compiler for Computing-In-Memory

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"

DOI: 10.1109/tcad.2021.3101464

Abstract: Memristive devices promise an alternative approach toward non-Von Neumann architectures, where specific computational tasks are performed within the memory devices. In the machine learning (ML) domain, crossbar arrays of resistive devices have shown great promise… read more here.

Keywords: machine learning; compiler; memory; automated end ... See more keywords