3 ms·
Saarland 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/h
by touisteur 8y ago
Saarland 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/