Related articles about grin

[andorp]

Abstracting Abstract Machines
https://arxiv.org/pdf/1007.4446.pdf

[csabahruska]

Parallel incremental whole-program optimizations for Scala.js
https://dl.acm.org/doi/10.1145/3022671.2984013

[csabahruska]

Lecture Notes on Static Analysis
http://www.itu.dk/people/brabrand/static.pdf

good intro material

[andorp]

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ennals-thesis.pdf

[andorp]

http://fare.tunes.org/tmp/phd/thesis.pdf

[andorp]

Trees that Grow
http://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf

[andorp]

A Nanopass Framework for Compiler Education:
https://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf

[andorp]

Bottom-up Type Annotation with the Cofree Comonad:
https://brianmckenna.org/blog/type_annotation_cofree

[Edited]
Grin.Research module was created to reflect this idea.
3a55f03

[andorp]

Logical Relations - Compiler verification
AhmedLR.pdf

[andorp]

https://github.com/ekmett/bound/blob/master/examples/Overkill.hs

[andorp]

https://gergo.erdi.hu/blog/2015-02-05-typed_embedding_of_stlc_into_haskell/

[andorp]

Monadic Augment and Generalised Short Cut Fusion
http://www.cs.appstate.edu/~johannp/jfp06-revised.pdf

[andorp]

Combining Effects and Coeffects via Grading
https://www.cs.kent.ac.uk/people/staff/dao7/publ/combining-effects-and-coeffects-icfp16.pdf
http://www.cs.ox.ac.uk/conferences/fscd2017/preproceedings_unprotected/TLLA_Orchard.pdf

[andorp]

Total Haskell is Reasonable Coq
1711.09286.pdf

[andorp]

Explaning Type Errors
explaining-errors-slides.pdf

[andorp]

Comonadic functional attribute evaluation
tfp05-book.pdf

[andorp]

Structured Computation on Trees
uustalu0812-slides.pdf

[andorp]

Functorial Data Migration.pdf

[andorp]

A Syntactic Type System for Recursive Modules
oopsla2011.pdf

[andorp]

Introducing the backprop library
https://blog.jle.im/entry/introducing-the-backprop-library.html

[andorp]

A Denotational Semantics for Weak Memory Concurrency
brookesslides.pdf

[andorp]

On the type structure of standard ML

[andorp]

Cedille-core:
https://github.com/MaiaVictor/cedille-core

[andorp]

Generic Derivation of Induction for Impredicative Encodings in Cedille
http://homepage.divms.uiowa.edu/~astump/papers/cpp-2018.pdf

[csabahruska]

Supercompilation by Evaluation
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/supercomp-by-eval.pdf

[csabahruska]

https://www.ponylang.org/

[andorp]

Calculating Correct Compilers:
http://www.cs.nott.ac.uk/~pszgmh/ccc.pdf

[andorp]

Making a Fast Curry: Push/Enter vs Eval/Apply for higher order languages:

• https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf
• https://www.microsoft.com/en-us/research/publication/make-fast-curry-pushenter-vs-evalapply/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Feval-apply%2F
• https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf

[andorp]

Compiling Agda to Haskell with fewer coercions
Thesis.pdf

[csabahruska]

This thesis investigates the viability of trace-based just-in-time (JIT)
compilation for optimising programs written in the lazy functional
programming language Haskell.
Trace-based Just-in-time Compilation for Lazy Functional Programming Languages

[csabahruska]

Secrets of the Glasgow Haskell Compiler inliner
https://ghc.haskell.org/trac/ghc/wiki/Inlining

[andorp]

Ready Set Verify!

[andorp]

Incremental Garbage Collection for GHC:
gc-exploringbarriertoentry.pdf

[csabahruska]

https://ghc.haskell.org/trac/ghc/wiki/ReadingList

[andorp]

Sequent Calculus as a Compiler Intermediate Language

[andorp]

http://cs.nott.ac.uk/~jph/progs4cheap.pdf

[andorp]

Categorical Programming with Abstract Data Types

[andorp]

Random access to Abstract Data Types

[andorp]

Absal is a cleaned up adaptation of Lamping's Abstract Algorithm.
https://github.com/MaiaVictor/abstract-algorithm
Interaction combinators

[csabahruska]

Supporting Separate Compilation in a Defunctionalizing Compiler

Abstract Interpretation of Functional Programs using an Attribute Grammar System

[csabahruska]

Compiling Tree Transforms to Operate on Packed Representations
https://engineering.purdue.edu/~milind/docs/ecoop17.pdf

[andorp]

Demand Analysis
https://www.microsoft.com/en-us/research/publication/demand-analysis/
https://www.microsoft.com/en-us/research/wp-content/uploads/2006/07/demand-1.pdf

[csabahruska]

GPU Data-Flow:
http://matt.might.net/papers/prabhu2011eigencfa.pdf

[csabahruska]

A parallel approach for solving data flow analysis problems
https://www.researchgate.net/publication/287083768_A_parallel_approach_for_solving_data_flow_analysis_problems

[csabahruska]

Olin Shivers, PhD thesis:
Control-Flow Analysis of Higher-Order Languages
http://www.ccs.neu.edu/home/shivers/papers/diss.pdf

[csabahruska]

Incrementalized Pointer and Escape Analysis (Frédéric Vivien, Martin Rinard)

[csabahruska]

Dijkstra, A., Fokker, J.D. & Swierstra, S.D. (2009). The architecture of the Utrecht Haskell compiler

[csabahruska]

Paper about more efficient data-flow analysis execution:
A Graph–Free Approach to Data–Flow Analysis

[andorp]

Regions, Linearity, Garbage collection
https://cyclone.thelanguage.org/wiki/Papers/

[andorp]

Secrets of the Glasgow Haskell Compiler inliner
https://www.microsoft.com/en-us/research/wp-content/uploads/2002/07/inline.pdf

[csabahruska]

http://fixpt.de/blog/2018-12-30-strictness-analysis-part-2.html

[csabahruska]

Optimizing Lazy Functional Programs Using Flow Inference (Karl-Filip Faxen)
https://www.researchgate.net/publication/221477317_Optimizing_Lazy_Functional_Programs_Using_Flow_Inference

[csabahruska]

Analysing, Transforming and Compiling Lazy Functional Programs (1997)
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.4551

Other papers from the author:
https://www.researchgate.net/profile/Karl-Filip_Faxen

[csabahruska]

Exceptional GRIN (Christof Douma's master thesis)
https://github.com/uhc/uhc/blob/master/EHC/text/grinc/exceptionalgrin-final.pdf

exception support for GRIN

[csabahruska]

Extending the UHC LLVM backend: Adding support for accurate garbage collection. Paul van der Ende.
www.cs.uu.nl/education/scripties/pdf.php?SID=INF/SCR-2009-059

[csabahruska]

Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine

[csabahruska]

Incremental whole program optimization and compilation

[csabahruska]

Lambdachine
Combination of GRIN and STG
http://files.catwell.info/misc/mirror/tracing-jit-haskell-schilling.pdf
https://github.com/nominolo/lambdachine
tracing-jit-haskell-schilling.pdf

[andorp]

Exponential Functor and recursive schemas: http://comonad.com/reader/2008/rotten-bananas/

[csabahruska]

Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-Programming

[andorp]

Effect-Driven QuickChecking of Compilers
Midtgaard-al-ICFP17-full.pdf

[csabahruska]

"Multi-Level Intermediate Representation" Compiler Infrastructure
https://github.com/tensorflow/mlir

https://drive.google.com/file/d/1hUeAJXcAXwz82RXA5VtO5ZoH8cVQhrOK/view

SIL BB arguments
https://www.youtube.com/watch?v=Ntj8ab-5cvE&feature=youtu.be&t=596

LLVM 2.0 Design learnings
https://www.youtube.com/watch?v=VeRaLPupGks

[csabahruska]

Points-to Analysis by Type Inference of Programs with Structures and Unions
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.51.1358&rep=rep1&type=pdf

[csabahruska]

Sparse Bidirectional DataFlow Analysis as a Basis for Type Inference

[andorp]

Generic Programming With Adjunctions
GenericProgrammingWithAdjunctions.pdf

[andorp]

Types as abstract interpretations
Cousot-POPL97-p316-331-1997.pdf

[csabahruska]

Compositional Shape Analysis by means of Bi-Abduction
Related to/uses separation logic.

[csabahruska]

Efficient Points-To Analysis based on CFL-Reachability Summarisation

[csabahruska]

m-CFA: Resolving and Exploiting k-CFA Paradox Illuminating Functional vs. Object-Oriented Program Analysis

Alternate Control-Flow Analyses for Defunctionalization in the MLton Compiler

Pushdown Control-Flow Analysis for Free

[andorp]

https://plum-umd.github.io/abstracting-definitional-interpreters/

[andorp]

http://www.kframework.org/index.php/Main_Page

[csabahruska]

Staged Abstract Interpreters Fast and Modular Whole-Program Analysis via Meta-Programming

[csabahruska]

LoCal: a language for programs operating on serialized data (2019)

[andorp]

Counting Immutable Beans

[csabahruska]

Liveness-Based Pointer Analysis
fast flow and context sensitive points-to analysis

[csabahruska]

Performance optimization on Declarative Points-to Analysis using the Souffle Datalog Engine
(describes how to model context sensitive analyses in datalog)

Toward Parallel CFA with Datalog, MPI, and CUDA

[csabahruska]

Sharing Analysis + EVAL inlining + Unboxing = Deforestation

[csabahruska]

Compiler Auto-Vectorization with Imitation Learning
Supporting Separate Compilation in a Defunctionalizing Compiler

[csabahruska]

Abstract Allocation as a Unified Approach to Polyvariance in Control-flow Analyses
Allocation Characterizes Polyvariance
Introspective Polyvariance for Control-Flow Analyses

[andorp]

Defunctionalisation as Modular Closure Conversion

[csabahruska]

From folklore to fact: Comparing implementations of stacks and continuations

[csabahruska]

Garbage Collection Using a Finite Liveness Domain (2020)

[csabahruska]

Prefetching in Functional Languages

[csabahruska]

ASAP implementation:
https://github.com/doctorn/micro-mitten

[csabahruska]

data flow analysis = type inference
Data-Flow Analyses as Effects and Graded Monads

[csabahruska]

Binary-Level Type Inference using Datalog

[csabahruska]

Type inference implementation in Datalog and Prolog:
Automatic Type Inference via Partial Evaluation

[csabahruska]

Reconciling Semantics and Reflection
Formalisms, Protocols, Applications and Architecture
http://fare.tunes.org/tmp/phd/thesis.pdf
http://fare.tunes.org/reflection.html
https://www.youtube.com/watch?v=heU8NyX5Hus
https://www.youtube.com/watch?v=fH51qhI3hq0

[csabahruska]

Sources and implementation of the ICFP 2020 paper "Elaboration with First-Class Implicit Function Types" by András Kovács.
https://github.com/AndrasKovacs/implicit-fun-elaboration/tree/staging

[csabahruska]

Perceus: Garbage Free Reference Counting with Reuse
https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf
NOTE: it was inspired by the Counting Immutable Beans paper

[csabahruska]

Type theory elaboration implementation
https://www.youtube.com/playlist?list=PL2ZpyLROj5FOt99f_KCxARvd1hDqKns5b

[csabahruska]

A High-Performance Multicore IO Manager Based on libuv (Experience Report)
https://raw.githubusercontent.com/ZHaskell/stdio/master/docs/A%20High-Performance%20Multicore%20IO%20Manager%20Based%20on%20libuv%20(Experience%20Report).pdf

https://www.reddit.com/r/haskell/comments/6sc9og/why_libuv_why_multicore_combine_libuv_with_ghc_rts/

[andorp]

Incrementalizing Static Analyses in Datalog
https://openscience.ub.uni-mainz.de/handle/20.500.12030/5617

[dmjio]

A Framework for Selective Recompilationin the Presence of Complex Intermodule Dependencies
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=618727F10C6186056DEB8418CAF7ECF9?doi=10.1.1.83.7284&rep=rep1&type=pdf

[csabahruska]

What is contification?
https://julesjacobs.com/2019/03/09/what-is-contification.html

[csabahruska]

Language Support for Programming High-Performance Code
https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/27016/1/pflichtexemplar.pdf
NOTE: good overview for vectorisation

[csabahruska]

SIMD@OpenMP: A Programming Model Approach to Leverage SIMD Features
https://www.tdx.cat/bitstream/handle/10803/334171/TDLCdG1de1.pdf?sequence=5.txt

[csabahruska]

Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap
https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_8.pdf
https://twitter.com/krgermane/status/1381809615596220422

Kinds Are Calling Conventions
https://www.microsoft.com/en-us/research/uploads/prod/2020/03/kacc.pdf

https://blog.cloudflare.com/building-fast-interpreters-in-rust/
http://neilmitchell.blogspot.com/2020/04/writing-fast-interpreter.html

[csabahruska]

Control-Flow Analysis of Functional Programs
https://tidsskrift.dk/brics/article/view/21936

good overview for CFA and related analyses

[csabahruska]

VeGen, The Vectorizer Generator for SIMD and Beyond
https://dl.acm.org/doi/10.1145/3445814.3446692
https://www.youtube.com/watch?v=uwNAnC2y8ds