Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Related articles #1

Open
andorp opened this issue Jan 2, 2018 · 122 comments
Open

Related articles #1

andorp opened this issue Jan 2, 2018 · 122 comments
Assignees
@andorp

Comments

@andorp
Copy link
Member

andorp commented Jan 2, 2018 •
edited

Articles that can be useful in the future.
@andorp
Copy link
Member Author

andorp commented Jan 2, 2018

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

@andorp andorp self-assigned this Jan 2, 2018
@andorp
Copy link
Member Author

andorp commented Jan 5, 2018 •
edited

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

@andorp
Copy link
Member Author

andorp commented Jan 16, 2018

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

@andorp
Copy link
Member Author

andorp commented Jan 22, 2018

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

@andorp
Copy link
Member Author

andorp commented Jan 22, 2018

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

@andorp
Copy link
Member Author

andorp commented Jan 22, 2018 •
edited

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
Copy link
Member Author

andorp commented Jan 23, 2018

Logical Relations - Compiler verification
AhmedLR.pdf

@andorp
Copy link
Member Author

andorp commented Jan 24, 2018

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

@andorp
Copy link
Member Author

andorp commented Jan 24, 2018

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

@andorp
Copy link
Member Author

andorp commented Jan 24, 2018 •
edited

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

@andorp
Copy link
Member Author

andorp commented Jan 26, 2018

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
Copy link
Member Author

andorp commented Jan 26, 2018

Total Haskell is Reasonable Coq
1711.09286.pdf

@andorp
Copy link
Member Author

andorp commented Jan 26, 2018

Explaning Type Errors
explaining-errors-slides.pdf

@andorp
Copy link
Member Author

andorp commented Jan 27, 2018

Comonadic functional attribute evaluation
tfp05-book.pdf

@andorp
Copy link
Member Author

andorp commented Jan 27, 2018

Structured Computation on Trees
uustalu0812-slides.pdf

@andorp
Copy link
Member Author

andorp commented Feb 1, 2018 •
edited

Functorial Data Migration.pdf

@andorp
Copy link
Member Author

andorp commented Feb 2, 2018

A Syntactic Type System for Recursive Modules
oopsla2011.pdf

@andorp
Copy link
Member Author

andorp commented Feb 15, 2018

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

@andorp
Copy link
Member Author

andorp commented Feb 20, 2018

A Denotational Semantics for Weak Memory Concurrency
brookesslides.pdf

@andorp andorp closed this as completed Feb 20, 2018
@andorp andorp reopened this Feb 20, 2018
@andorp
Copy link
Member Author

andorp commented Feb 22, 2018

On the type structure of standard ML

@andorp
Copy link
Member Author

andorp commented Feb 23, 2018

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

@andorp
Copy link
Member Author

andorp commented Feb 23, 2018

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

@csabahruska
Copy link
Member

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

@csabahruska
Copy link
Member

https://www.ponylang.org/

@andorp
Copy link
Member Author

andorp commented Mar 12, 2018

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

@andorp
Copy link
Member Author

andorp commented Mar 14, 2018 •
edited

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

@andorp
Copy link
Member Author

andorp commented Mar 14, 2018

Compiling Agda to Haskell with fewer coercions
Thesis.pdf

@csabahruska
Copy link
Member

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

@csabahruska
Copy link
Member

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
Copy link
Member

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

@csabahruska
Copy link
Member

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
Copy link
Member

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

good overview for CFA and related analyses

@csabahruska
Copy link
Member

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

@csabahruska
Copy link
Member

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

good intro material

csabahruska pushed a commit that referenced this issue May 7, 2021
@Anderssorby
Merge pull request #1 from yatima-inc/acs/fix-nix-build
3a9697f 
Acs/fix nix build
@csabahruska
Copy link
Member

csabahruska commented May 11, 2021 •
edited

A Flow-Sensitive Approach for Steensgaard’s Pointer Analysis
http://www.novoscursos.ufv.br/graduacao/caf/ccp/www/wp-content/uploads/2019/02/POC-II-2018-2-Jos%C3%A9-Wesley-de-Souza-Magalh%C3%A3es.pdf

Making Context-sensitive Points-to Analysis with Heap Cloning Practical For The Real World
https://llvm.org/pubs/2007-06-10-PLDI-DSA.pdf

@csabahruska
Copy link
Member

Heap Abstractions for Static Analysis
https://arxiv.org/pdf/1403.4910.pdf

@csabahruska
Copy link
Member

papers for next-gen compiler design:

Calculating correct compilers II: Return of the register machines
https://pure.itu.dk/portal/files/85295380/bahr20jfp_paper.pdf

Systematic abstraction of abstract machines
https://matt.might.net/papers/vanhorn2012abstract.pdf

Abstracting Abstract Machines
https://matt.might.net/papers/vanhorn2010abstract.pdf

@csabahruska
Copy link
Member

Trace-based just-in-time compiler for Haskell with RPython
https://ntnuopen.ntnu.no/ntnu-xmlui/bitstream/handle/11250/253137/618488_FULLTEXT01.pdf?sequence=1

@csabahruska
Copy link
Member

Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
https://2021.ecoop.org/details/ecoop-2021-ecoop-research-papers/3/Lossless-Persisted-Summarization-of-Static-Callgraph-Points-To-and-Data-Flow-Analys

@csabahruska
Copy link
Member

Ningning Xie: Perceus: garbage free reference counting with reuse
https://www.youtube.com/watch?v=pYaUT63yIRE

@csabahruska
Copy link
Member

Compositional Pointer and Escape Analysis for Java Programs, 1999
https://people.csail.mit.edu/rinard/paper/oopsla99.pdf
notes:
points-to escape graph

Incrementalized Pointer and Escape Analysis, 2001
https://people.csail.mit.edu/rinard/paper/pldi01.pdf
NOTES:
improves: Compositional Pointer and Escape Analysis for Java Programs, 1999

Fast Escape Analysis and Stack Allocation for Object-Based Programs, 2000
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.59.117&rep=rep1&type=pdf#cite.WR99
NOTES:
can be used as: whole program analysis, precomputed/incremental analysis, partial program analysis
lattice based, linear time analysis

Escape Analysis in the Context of Dynamic Compilation and Deoptimization, 2005
https://ssw.jku.at/Teaching/PhDTheses/Kotzmann/phd-kotzmann.pdf

Compiling with Continuations, or without? Whatever.
https://www.cs.purdue.edu/homes/rompf/papers/cong-icfp19.pdf

Can a Shape Analysis Work at Run-time, 2001
https://www.usenix.org/legacy/events/jvm01/full_papers/bogda/bogda.pdf

Pointer and Escape Analysis for Multithreaded Programs, 2001
https://people.csail.mit.edu/rinard/paper/ppopp01.pdf

Shape Analysis (2000)
by Reinhard Wilhelm, Mooly Sagiv, Thomas Reps
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=463329BDD47D15DBD6335A962AD57A1F?doi=10.1.1.2.9541&rep=rep1&type=pdf

@csabahruska
Copy link
Member

https://www.mmtk.io/
MMTk is a memory management toolkit providing language implementers with a powerful memory management framework and researchers with a multi-runtime platform for memory management research.

@csabahruska
Copy link
Member

Declarative Whole-Program Escape Analysis for Java
https://yanniss.github.io/theses/balatsouras.pdf

@csabahruska
Copy link
Member

Defensive Points-To Analysis: Effective Soundness via Laziness
https://drops.dagstuhl.de/opus/volltexte/2018/9228/pdf/LIPIcs-ECOOP-2018-23.pdf
This is a compositional points-to analysis.

@csabahruska
Copy link
Member

A massively parallel, optimal functional runtime in Rust
https://github.com/Kindelia/HVM

@csabahruska
Copy link
Member

Bidirectional typing in souffle datalog
https://www.philipzucker.com/notes/Languages/datalog/#type-checking
https://arxiv.org/pdf/1908.05839.pdf
https://twitter.com/SandMouth/status/1521328683117596678

@csabahruska
Copy link
Member

Calculating Dependently-Typed Compilers (Functional Pearl)
https://www.youtube.com/watch?v=4GkGNPXOmC8

@csabahruska
Copy link
Member

Scheme Workshop Keynote: Andy Keep
https://www.youtube.com/watch?v=BcC3KScZ-yA

Flow-Sensitive Type Recovery in Linear-Log Time
https://legacy.cs.indiana.edu/~dyb/pubs/type-recovery.pdf

The Development of Chez Scheme
https://legacy.cs.indiana.edu/~dyb/pubs/hocs.pdf

A Practical and Flexible Flow Analysis for Higher-Order Languages
https://legacy.cs.indiana.edu/~dyb/pubs/toplas97.pdf

Fast and Effective Procedure Inlining
https://legacy.cs.indiana.edu/~dyb/pubs/inlining.pdf

@csabahruska
Copy link
Member

Efficient and Scalable Parallel Functional Programming Through Disentanglement
http://www.cs.cmu.edu/~swestric/22/thesis.pdf
http://www.cs.cmu.edu/~swestric/

@csabahruska
Copy link
Member

On a Strongly Normalizing STG Machine
https://api-depositonce.tu-berlin.de/server/api/core/bitstreams/52dbd305-9beb-4ec9-9fe2-8374f9fca3d2/content

@csabahruska
Copy link
Member

Example for great Integrated Development Environment
https://www.youtube.com/watch?v=72y2EC5fkcE

@csabahruska
Copy link
Member

Better Defunctionalization through Lambda Set Specialization
https://pldi23.sigplan.org/details/pldi-2023-pldi/41/Better-Defunctionalization-through-Lambda-Set-Specialization

@csabahruska
Copy link
Member

https://www.cs.cornell.edu/~asampson/blog/flattening.html

@csabahruska
Copy link
Member

FP^2: Fully in-Place Functional Programming
https://www.microsoft.com/en-us/research/publication/fp2-fully-in-place-functional-programming/

@csabahruska
Copy link
Member

https://galois.com/news/yet-another-pointer-analysis-for-llvm/

@csabahruska
Copy link
Member

Better Defunctionalization through Lambda Set Specialization

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andorp andorp

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@dmjio @csabahruska @andorp