This is just my materials, I don't have an associated platform with verification/certification. However, some folks from HN have previously done the course and emailed me after, and seem to have gotten some value out of it.
https://cseweb.ucsd.edu/classes/sp17/cse131-a/
https://podcast.ucsd.edu/podcasts/default.aspx?PodcastId=401...
https://github.com/ucsd-cse131-sp17
Earlier offering:
thanks for making this material available!
https://dirkjan.ochtman.nl/writing/2012/07/21/compilers-on-c...
Also, if you like this sort of thing, my compiler in Python that compiles to LLVM IR might be interesting: