web.git
2022-07-02 Ralf Jungadd Miri update blog post
2022-06-19 Ralf Jungmore https
2022-05-25 Ralf Jungnote on integer-pointer transmutation
2022-05-13 Ralf Jungremove Jabber ID from website
2022-05-03 Ralf Jungmake it clear that this is an RSS feed
2022-04-13 Ralf Jungupdate PNVI-ae-udi paper URL
2022-04-13 Ralf Jungfix a typo
2022-04-12 Ralf Jungtweak wording
2022-04-12 Ralf Jungtweaks
2022-04-12 Ralf Jungcredit where credit is due
2022-04-11 Ralf Jungmore on 'udi' and angelic non-determinism; make some...
2022-04-11 Ralf Jungadd some comments to code snippets
2022-04-11 Ralf Jungfix code snippet
2022-04-11 Ralf Junglink to new LLVM bugtracker
2022-04-11 Ralf Jungmore precision around restrict
2022-04-11 Ralf Jungclarify assumption
2022-04-11 Ralf Jungapply some feedback
2022-04-11 Ralf Jungadd reddit link
2022-04-11 Ralf Jungadd exposure blog post
2022-04-10 Ralf Jungthis seems to be a better approximation of my room...
2022-03-10 Ralf Jungdont singe those poor integers
2022-01-20 Ralf JungSimuliris paper award
2021-12-20 Ralf Jungadd Simuliris paper
2021-11-25 Ralf Junglink to reddit for ub-good-idea
2021-11-25 Ralf Jungblog post on why we cannot do without UB
2021-11-19 Ralf Jungtweak landing page
2021-11-19 Ralf Jungadd empty robots.txt (for fewer 404s)
2021-11-18 Ralf Jungpublish UB blog post
2021-11-15 Ralf Jungupdate CV and research statement
2021-11-12 Ralf Jungadd draft of UB post
2021-11-08 Ralf Jungupdate CV and research statement
2021-10-27 Ralf Jungmention Derek
2021-10-26 Ralf Jungadd Eduard Martin Preis
2021-10-26 Ralf Junggive some room number
2021-10-07 Ralf Jungupdate research website
2021-09-16 Ralf Jungbe less redundant about the year of my thesis
2021-09-16 Ralf Jungadd SIGPLAN award
2021-09-16 Ralf Jungget rid of MPI-SWS imprint
2021-09-16 Ralf Jungfix ralfj.de redirects
2021-09-16 Ralf Jungremove old redirect file
2021-09-16 Ralf Jungupdate my afiliation
2021-09-16 Ralf Jungmove research website to my server
2021-08-25 Ralf Junglink to OSDI website
2021-07-14 Ralf Jungthe ACM news is out :)
2021-07-11 Ralf Jungadd GhostCell paper
2021-06-10 Ralf Jungfix some typos
2021-06-10 Ralf Jungadd ghostcell podcast episode
2021-05-26 Ralf Jungadd GoJournal paper
2021-05-02 Ralf Jungadd Otto Hahn medal
2021-04-02 Ralf Junglicense some blog posts under CC BY-SA 4.0
2021-03-23 Ralf Jungadd CACM article to website
2021-03-23 Ralf Jungadd CACM article to blog
2021-03-18 Ralf Jungfix a typo
2021-03-16 Ralf Jungwin -> receive
2021-03-11 Ralf Jungadd ETAPS award :)
2021-03-06 Ralf Jungfix text
2021-03-06 Ralf Junguninit blog post: update example so it still works...
2021-01-25 Ralf Junguninit post: add forward link to provenance post
2021-01-15 Ralf Jungfix typo
2020-12-15 Ralf Jungfix typo and add post to research category
2020-12-14 Ralf Jungbetter wording
2020-12-14 Ralf Jungfix int->uintptr_t fallout
2020-12-14 Ralf Jungreplace int by uintptr_t
2020-12-14 Ralf Jungadd forum link
2020-12-14 Ralf Jungfinal tweaks and publish Pointers are Complicated II
2020-12-10 Ralf Jungminor tweaks
2020-12-09 Ralf Jungless 'we'
2020-12-08 Ralf Jung(hopefully) final tweaks
2020-12-08 Ralf Jungupdate screen render of thesis
2020-12-07 Ralf Junggive it a different spin
2020-12-07 Ralf Jungfirst complete draft
2020-12-06 Ralf Jungprovenance-matters: explain what went wrong
2020-12-02 Ralf Jungstart writing provenance-optimization blog post
2020-11-26 Ralf Jungadd 'theses' section to publication list
2020-11-19 Ralf Jungmention MIT
2020-09-29 Ralf Jungbetter wording
2020-09-29 Ralf Jungpointers are complicated: clarify that this post is...
2020-09-28 Ralf Jungadd Reddit link
2020-09-28 Ralf Jungshow a bit elss text on the index
2020-09-28 Ralf Jungadd Miri blog post
2020-09-28 Ralf Jungfix Ruby deprecation warning
2020-09-24 Ralf JungI am not a PhD student any more...
2020-09-10 Ralf Jungadd thesis DOI
2020-09-03 Ralf Jungadd phd thesis post
2020-09-01 Ralf Jungfix more HTML
2020-09-01 Ralf Jungfix HTML
2020-09-01 Ralf Jungadd thesis to publication list
2020-09-01 Ralf Jungadd my PhD thesis
2020-08-31 Ralf Jungfix redirects
2020-08-31 Ralf Jungrename Iris workshop talk file to be more consistent
2020-08-31 Ralf Jungmake redirect regex a bit more readable
2020-08-31 Ralf Jungalso redirect cs root
2020-08-31 Ralf Jungtrack redirects in git
2020-08-31 Ralf Jungadd twinsem paper
2020-08-31 Ralf Jungadd PRiML talk (and reference it)
2020-08-31 Ralf Jungadd bachelor thesis
2020-08-31 Ralf Jungadd iris talks
2020-08-30 Ralf Jungdisable thesis site for now
2020-08-30 Ralf Jungadd thesis page stub
2020-08-29 Ralf Jungadd some missing linebreaks
next