Displaying 1 result from an estimated 1 matches for "crellvm".
Did you mean:
cllvm
2018 Feb 19
0
LLVM Weekly - #216, Feb 19th 2018
...r of Code 2018. Student applications open on March 12th.
Martin Cracauer has written a blog post on [LLVM's garbage collection
facilities and SBCL's generational
GC](https://medium.com/@MartinCracauer/llvms-garbage-collection-facilities-and-sbcl-s-generational-gc-a13eedfb1b31).
The paper [Crellvm: Verified Credible Compilation for
LLVM](http://sf.snu.ac.kr/crellvm/) has been accepted for PLDI 2018, and may
be of interest to many LLVM Weekly readers. The authors present a methodology
for validating optimisations, and apply it to mem2reg and gvn (global value
numbering).
Serge Guelton and Ju...