update student ad to match email
[web.git] / research /
2022-11-17 Ralf Jungupdate student ad to match email
2022-11-16 Ralf Jungclarify phd dates
2022-11-02 Ralf Jungfix address
2022-11-02 Ralf Jungupdate my adress and phone number
2022-10-07 Ralf Jungsyntax
2022-10-07 Ralf Jungbut still make it bold
2022-10-07 Ralf Jungno need to still make this red
2022-10-06 Ralf Jungadd later credits
2022-08-16 Ralf Jungfix link
2022-08-16 Ralf Jungannounce my ETH position :-))
2022-07-03 Ralf JungI am no longer on the job market
2022-07-03 Ralf Jungresearch page moved to new location
2022-06-19 Ralf Jungmore https
2022-04-10 Ralf Jungthis seems to be a better approximation of my room...
2022-01-20 Ralf JungSimuliris paper award
2021-12-20 Ralf Jungadd Simuliris paper
2021-11-15 Ralf Jungupdate CV and research statement
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 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-05-26 Ralf Jungadd GoJournal paper
2021-05-02 Ralf Jungadd Otto Hahn medal
2021-03-23 Ralf Jungadd CACM article to website
2021-03-16 Ralf Jungwin -> receive
2021-03-11 Ralf Jungadd ETAPS award :)
2021-01-15 Ralf Jungfix typo
2020-12-08 Ralf Jungupdate screen render of thesis
2020-11-26 Ralf Jungadd 'theses' section to publication list
2020-11-19 Ralf Jungmention MIT
2020-09-24 Ralf JungI am not a PhD student any more...
2020-09-10 Ralf Jungadd thesis DOI
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 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
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
2019-02-15 Ralf Jungupdate room number
2018-12-07 Ralf Jungadd research statement
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-11-21 Ralf Jungfix tracking generated HTML files
2018-11-21 Ralf Jungtrack HTML changes in git
2018-09-22 Ralf Jungadd twinsem paper
2018-08-07 Ralf Jungmore https
2018-07-08 Ralf Jungadd MoSeL paper
2018-05-23 Ralf Jungadd MPI-SWS imrpint links
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
2016-01-13 Ralf Jung*oops* typo
2016-01-13 Ralf Jungadd link to RustBelt page
2016-01-02 Ralf Jungsplit CSS into several files; take some CSS from the...
2015-10-12 Ralf Jungfix research page
2015-10-12 Ralf Jungresearch: add link to research category of my blog
2015-10-09 Ralf Jungmake a research page happen
2015-10-09 Ralf Jungprepare for having two sites: personal and research