Displaying 1 result from an estimated 1 matches for "martincracauer".
2018 Feb 19
0
LLVM Weekly - #216, Feb 19th 2018
...been
[accepted](http://blog.llvm.org/2018/02/llvm-accepted-to-2018-google-summer-of.html)
to Google Summer 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 validat...