<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Juvix to VampIR Pipeline

Name: Juvix to VampIR Pipeline
Creator: Lukasz Czajka
Keywords: vamp-ir, arithmetic circuits, compilation, juvix, geb, normalisation

descriptionPublicationkeyboard_double_arrow_right Report 14 Aug 2023 English Publisher:Zenodo

Authors: Lukasz Czajka;

doi: 10.5281/zenodo.8268823 , 10.5281/zenodo.8246536 , 10.5281/zenodo.8268274 , 10.5281/zenodo.8246535 , 10.5281/zenodo.8247642 , 10.5281/zenodo.8252903

Juvix to VampIR Pipeline

- Summary
- Subjects
- Related research
  (4)
- Metrics

Abstract

This report explores two alternatives to Geb for Juvix-to-VampIR compilation. The first alternative is a straightforward approach based on full normalisation, which may be implemented relatively quickly and used as a comparison baseline for all other approaches. The second alternative is based on a pipeline of several compiler transformations that together convert Juvix programs into a form that can be directly translated to VampIR input.

This document is based on Juvix v0.4.1, Geb v0.4.0, and VampIR v0.1.3.

Keywords

vamp-ir, arithmetic circuits, compilation, juvix, geb, normalisation

4 Research products, page 1 of 1

halo2 software on GitHub
IsRelatedTo
geb software on GitHub
IsRelatedTo
vamp-ir software on GitHub
IsRelatedTo
JURIX2022 software on GitHub
IsRelatedTo

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average