GraalSP: Polyglot, efficient, and robust machine learning-based static profiler

M Čugurović, MV Janičić, V Jovanović… - Journal of Systems and …, 2024 - Elsevier
Compilers use profiles to apply profile-guided optimizations and produce efficient programs.
Dynamic profilers collect high-quality profiles but require identifying suitable profile …

Hardware synthesis from a recursive functional language

K Zhai, R Townsend, L Lairmore… - 2015 International …, 2015 - ieeexplore.ieee.org
Abstraction in hardware description languages stalled at the register-transfer level decades
ago, yet few alternatives have had much success, in part because they provide only modest …

Bridging the GUI gap with reactive values and relations

I Perez, H Nilsson - Proceedings of the 2015 ACM SIGPLAN Symposium …, 2015 - dl.acm.org
There are at present two ways to write GUIs for functional code. One is to use standard GUI
toolkits, with all the benefits they bring in terms of feature completeness, choice of platform …

Measuring the Haskell gap

L Petersen, TA Anderson, H Liu, N Glew - Proceedings of the 25th …, 2013 - dl.acm.org
Papers on functional language implementations frequently set the goal of achieving
performance" comparable to C", and sometimes report results comparing benchmark results …

Lambda the ultimate SSA: optimizing functional programs in SSA

S Bhat, T Grosser - … on Code Generation and Optimization (CGO …, 2022 - ieeexplore.ieee.org
Static Single Assignment (SSA) is the workhorse of modern optimizing compilers for
imperative programming languages. However, functional languages have been slow to …

[PDF][PDF] HaskellFL: A Tool for Detecting Logical Errors in Haskell

V Vasconcelos, MAS Bigonha - International Journal of Computer …, 2021 - llp.dcc.ufmg.br
Understanding and using the functional paradigm is a challenge for many programmers.
Looking for logical errors in code may take a lot of a developer's time when a program grows …

A modern look at GRIN, an optimizing functional language back end

P Podlovics, C Hruska, A Pénzes - Acta Cybernetica, 2022 - cyber.bibl.u-szeged.hu
GRIN is short for Graph Reduction Intermediate Notation, a modern back end for lazy
functional languages. Most of the currently available compilers for such languages share a …

An efficient representation for lazy constructors using 64-bit pointers

G Fourtounis, N Papaspyrou - Proceedings of the 3rd ACM SIGPLAN …, 2014 - dl.acm.org
Pointers in the AMD64 architecture contain unused space, a feature often exploited by
modern programming language implementations. We use this property in a …

Functional Programming In Modern Software Systems

E Benini - amslaurea.unibo.it
Con questa tesi si vuole studiare come il paradigma funzionale, sebbene sia meno utilizzato
rispetto alle controparti imperative ed object oriented, stia influenzando l'industria del …

Detecting logical errors in Haskell

VCR Vasconcelos - 2021 - repositorio.ufmg.br
Compreender e utilizar o paradigma funcional é um desafio para diversos programadores.
Procurar por erros lógicos em um código pode tomar muito tempo de um desenvolvedor …