4 ms·
LVC – Linear Verified Compiler
- Animats 8y agoYes, single assignment is functional programming.[1] But without all the cool notational problems. [1] https://www.cs.princeton.edu/~appel/papers/ssafun.pdf https://www.cs.princeton.edu/~appel/papers/ssafun.pdf
- touisteur 8y agoThe SSA Book from INRIA is a fun deep dive in SSA. Amazing what you can do on such a 'dumb' representation. Previous hn link with interesting comments on HN: https://news.ycombinator.com/item?id=9376184 https://news.ycombinator.com/item?id=9376184
- atombender 8y agoExcellent paper. Just submitted it: https://news.ycombinator.com/item?id=18800570 https://news.ycombinator.com/item?id=18800570
- profquail 8y agoThere’ve been some follow-up papers to Appel’s Compiling with Continuations over the years. The most recent one, Compiling with Contiuations, or Without? Whatever. [1] is pretty interesting — they show a direct-style functional IR with 2nd-class continuations, and describe how it can be used for both traditional SSA-style optimizations, as well as some optimizations that more naturally operate on CPS-style IR. [1]: https://www.cs.purdue.edu/homes/rompf/papers/cong-preprint201811.pdf https://www.cs.purdue.edu/homes/rompf/papers/cong-preprint20...
- touisteur 8y agoSaarland University seems to be putting out great research in the last few years. The author is advised by S. Hack (http://compilers.cs.uni-saarland.de/people/hack/publications.pp http://compilers.cs.uni-saarland.de/people/hack/publications...). Saarland also has Andreas Zeller ( https://www.st.cs.uni-saarland.de/zeller/ https://www.st.cs.uni-saarland.de/zeller/) who wrote 'Why Programs Fail' which I gift to junior developers. There's also the great Fuzzing Book (https://www.fuzzingbook.org https://www.fuzzingbook.org) in progress. Probably a great place to do CS research right now.
- kuhhk 8y agoI was just reading the editorial reviews for the "Why Programs Fail" [0] that you recommended and couldn't agree more with this statement: "Today every computer program written is also debugged, but debugging is not a widely studied or taught skill. Few books beyond this one present a systematic approach to finding and fixing programming errors." --James Larus, Microsoft Research This was something my school's CS program severely lacked. [0] https://www.amazon.com/Why-Programs-Fail-Systematic-Debugging-ebook-dp-B0092L8LCW/dp/B0092L8LCW/ https://www.amazon.com/Why-Programs-Fail-Systematic-Debuggin...
- marton78 8y agoAlso there's the (very good) Max Planck Institute for Informatics next door: https://www.mpi-inf.mpg.de/ https://www.mpi-inf.mpg.de/
- deleted 8y ago[deleted]