projects / web.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
uninit blog post: update example so it still works with current rustc
[web.git] / research /
2021-01-15 Ralf Jungfix typo tree | commitdiff
2020-12-08 Ralf Jungupdate screen render of thesis tree | commitdiff
2020-11-26 Ralf Jungadd 'theses' section to publication list tree | commitdiff
2020-11-19 Ralf Jungmention MIT tree | commitdiff
2020-09-24 Ralf JungI am not a PhD student any more... tree | commitdiff
2020-09-10 Ralf Jungadd thesis DOI tree | commitdiff
2020-09-01 Ralf Jungfix more HTML tree | commitdiff
2020-09-01 Ralf Jungfix HTML tree | commitdiff
2020-09-01 Ralf Jungadd thesis to publication list tree | commitdiff
2020-09-01 Ralf Jungadd my PhD thesis tree | commitdiff
2020-08-31 Ralf Jungfix redirects tree | commitdiff
2020-08-31 Ralf Jungrename Iris workshop talk file to be more consistent tree | commitdiff
2020-08-31 Ralf Jungadd twinsem paper tree | commitdiff
2020-08-31 Ralf Jungadd PRiML talk (and reference it) tree | commitdiff
2020-08-31 Ralf Jungadd bachelor thesis tree | commitdiff
2020-08-31 Ralf Jungadd iris talks tree | commitdiff
2020-08-30 Ralf Jungdisable thesis site for now tree | commitdiff
2020-08-30 Ralf Jungadd thesis page stub tree | commitdiff
2020-08-29 Ralf Jungadd some missing linebreaks tree | commitdiff
2020-08-29 Ralf Jungadd CACM article, italicize venues tree | commitdiff
2019-12-06 Ralf Jungbetter section title tree | commitdiff
2019-12-06 Ralf Jungfix URL and style tree | commitdiff
2019-12-06 Ralf Jungadd some of my talks tree | commitdiff
2019-11-18 Ralf Jungadd my POPL20 papers tree | commitdiff
2019-02-15 Ralf Jungupdate room number tree | commitdiff
2018-12-07 Ralf Jungadd research statement tree | commitdiff
2018-12-06 Ralf Jungworkshop talks are not publications tree | commitdiff
2018-12-05 Ralf Jungthe journal paper is no longer a preprint tree | commitdiff
2018-12-05 Ralf Jungthe ground-up paper got published tree | commitdiff
2018-11-21 Ralf Jungfix tracking generated HTML files tree | commitdiff
2018-11-21 Ralf Jungtrack HTML changes in git tree | commitdiff
2018-09-22 Ralf Jungadd twinsem paper tree | commitdiff
2018-08-07 Ralf Jungmore https tree | commitdiff
2018-07-08 Ralf Jungadd MoSeL paper tree | commitdiff
2018-05-23 Ralf Jungadd MPI-SWS imrpint links tree | commitdiff
2018-03-03 Ralf Jungforgot to add POPL to RustBelt publication tree | commitdiff
2018-01-21 Ralf Junglinks to POPL'18 talk tree | commitdiff
2017-11-13 Ralf Jungupdate RustBelt paper tree | commitdiff
2017-07-11 Ralf Junghttps for plv.mpi-sws.org tree | commitdiff
2017-07-08 Ralf Jungseems like 'Publications' is a collective term tree | commitdiff
2017-07-08 Ralf Jungadd two recently submitted papers tree | commitdiff
2017-01-24 Ralf Junglink directly to iris-project.org tree | commitdiff
2017-01-24 Ralf JungESOP papers are final tree | commitdiff
2016-12-19 Ralf Jungupdate papers tree | commitdiff
2016-10-11 Ralf Jungwe dont actually have an appendix for the refinement... tree | commitdiff
2016-10-11 Ralf Jungpapers update: add ICFP talk; add refinement paper tree | commitdiff
2016-07-01 Ralf Jungit's ICFP 2016 tree | commitdiff
2016-06-14 Ralf JungICFP paper has been accepted :D tree | commitdiff
2016-03-17 Ralf Jungadd HOGS tree | commitdiff
2016-01-13 Ralf Jung*oops* typo tree | commitdiff
2016-01-13 Ralf Jungadd link to RustBelt page tree | commitdiff
2016-01-02 Ralf Jungsplit CSS into several files; take some CSS from the... tree | commitdiff
2015-10-12 Ralf Jungfix research page tree | commitdiff
2015-10-12 Ralf Jungresearch: add link to research category of my blog tree | commitdiff
2015-10-09 Ralf Jungmake a research page happen tree | commitdiff
2015-10-09 Ralf Jungprepare for having two sites: personal and research tree | commitdiff
sources for my website