add phd thesis post
[web.git] / research / publications.html
2020-09-01 Ralf Jungfix more HTML
2020-09-01 Ralf Jungadd thesis to publication list
2020-08-31 Ralf Jungrename Iris workshop talk file to be more consistent
2020-08-31 Ralf Jungadd PRiML talk (and reference it)
2020-08-29 Ralf Jungadd some missing linebreaks
2020-08-29 Ralf Jungadd CACM article, italicize venues
2019-12-06 Ralf Jungbetter section title
2019-12-06 Ralf Jungfix URL and style
2019-12-06 Ralf Jungadd some of my talks
2019-11-18 Ralf Jungadd my POPL20 papers
2018-12-06 Ralf Jungworkshop talks are not publications
2018-12-05 Ralf Jungthe journal paper is no longer a preprint
2018-12-05 Ralf Jungthe ground-up paper got published
2018-09-22 Ralf Jungadd twinsem paper
2018-08-07 Ralf Jungmore https
2018-07-08 Ralf Jungadd MoSeL paper
2018-03-03 Ralf Jungforgot to add POPL to RustBelt publication
2018-01-21 Ralf Junglinks to POPL'18 talk
2017-11-13 Ralf Jungupdate RustBelt paper
2017-07-11 Ralf Junghttps for plv.mpi-sws.org
2017-07-08 Ralf Jungseems like 'Publications' is a collective term
2017-07-08 Ralf Jungadd two recently submitted papers
2017-01-24 Ralf Junglink directly to iris-project.org
2017-01-24 Ralf JungESOP papers are final
2016-12-19 Ralf Jungupdate papers
2016-10-11 Ralf Jungwe dont actually have an appendix for the refinement...
2016-10-11 Ralf Jungpapers update: add ICFP talk; add refinement paper
2016-07-01 Ralf Jungit's ICFP 2016
2016-06-14 Ralf JungICFP paper has been accepted :D
2016-03-17 Ralf Jungadd HOGS
2015-10-09 Ralf Jungmake a research page happen