2 |
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
How ISO C became unusable for operating systems development ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
A Systematic Evaluation of Large Language Models of Code ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
On Reinforcement Learning, Effect Handlers, and the State Monad ...
|
|
|
|
Abstract:
We study the algebraic effects and handlers as a way to support decision-making abstractions in functional programs, whereas a user can ask a learning algorithm to resolve choices without implementing the underlying selection mechanism, and give a feedback by way of rewards. Differently from some recently proposed approach to the problem based on the selection monad [Abadi and Plotkin, LICS 2021], we express the underlying intelligence as a reinforcement learning algorithm implemented as a set of handlers for some of these algebraic operations, including those for choices and rewards. We show how we can in practice use algebraic operations and handlers -- as available in the programming language EFF -- to clearly separate the learning algorithm from its environment, thus allowing for a good level of modularity. We then show how the host language can be taken as a lambda-calculus with handlers, this way showing what the essential linguistic features are. We conclude by hinting at how type and effect systems ...
|
|
Keyword:
FOS Computer and information sciences; Logic in Computer Science cs.LO; Machine Learning cs.LG; Programming Languages cs.PL
|
|
URL: https://arxiv.org/abs/2203.15426 https://dx.doi.org/10.48550/arxiv.2203.15426
|
|
BASE
|
|
Hide details
|
|
9 |
Compilable Neural Code Generation with Compiler Feedback ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Threaded Code Generation with a Meta-Tracing JIT Compiler ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Svar: A Tiny C++ Header Brings Unified Interface for Multiple programming Languages ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Elastic Silicon Interconnects: Abstracting Communication in Accelerator Design ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
Generation of TypeScript Declaration Files from JavaScript Code ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|