corpus.blog
41,554 blogs · 5,225,211 posts Claim your blog
Record · corpus.blog/posts/01a0ff96-1e01-71f9-a786-604d2a49087a

It’s Time for a Modern Synthesis Kernel

John Regehr · published 2 July 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.regehr.org Wayback capture
1blogs citing
First cited
31 Jul 2019
Most recent
31 Jul 2019
Rank this month
not ranked
External links
16
Words captured
2,933

Cited by

Blog
In the post
Date
SIGPLAN Blog
Program Synthesis in 2019 Read at the source ↗
31 Jul 2019

Links from this post

Link
Host
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.4871&rep=rep1&type=pdf
citeseerx.ist.psu.edu
https://blogs.msdn.microsoft.com/oldnewthing/?p=97995
blogs.msdn.microsoft.com
https://pdos.csail.mit.edu/~rsc/pike84bitblt.pdf
pdos.csail.mit.edu
http://www.codersnotes.com/notes/a-constructive-look-at-templeos/
codersnotes.com
https://www.youtube.com/watch?v=hILdR8XRvdQ
youtube.com
Single-stepping through the Kernel Read at the source ↗
anmolsarma.in
https://gist.github.com/regehr/02b48aa3cf96df423401b09878bc03b6
gist.github.com
https://github.com/torvalds/linux/blob/e93c9c99a629c61837d5a7fc2120cd2b6c70dbdd/fs/read_write.c
github.com
https://github.com/torvalds/linux/blob/e93c9c99a629c61837d5a7fc2120cd2b6c70dbdd/include/linux/file.h
github.com
https://github.com/torvalds/linux/blob/e93c9c99a629c61837d5a7fc2120cd2b6c70dbdd/fs/file.c
github.com
https://kernelnewbies.org/FAQ/current
kernelnewbies.org
https://github.com/torvalds/linux/blob/e93c9c99a629c61837d5a7fc2120cd2b6c70dbdd/include/linux/fdtable.h
github.com
https://mirage.io/
mirage.io
https://www.cc.gatech.edu/~calton/publication.html
cc.gatech.edu
https://www.cc.gatech.edu/~calton/publications/sosp95.pdf
cc.gatech.edu
https://www.hpl.hp.com/techreports/Compaq-DEC/WRL-TN-11.pdf
hpl.hp.com