projects / web.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add OOPSLA paper
[web.git] / research / publications.html
2024-10-02 Ralf Jungadd OOPSLA paper blob | commitdiff | raw
2024-07-02 Ralf Jungadd RefinedRust paper blob | commitdiff | raw | diff to current
2023-11-22 Ralf Jungadd Grove blob | commitdiff | raw | diff to current
2023-06-08 Ralf Jungadd vMVCC paper blob | commitdiff | raw | diff to current
2022-10-06 Ralf Jungadd later credits blob | commitdiff | raw | diff to current
2022-06-19 Ralf Jungmore https blob | commitdiff | raw | diff to current
2022-01-20 Ralf JungSimuliris paper award blob | commitdiff | raw | diff to current
2021-12-20 Ralf Jungadd Simuliris paper blob | commitdiff | raw | diff to current
2021-08-25 Ralf Junglink to OSDI website blob | commitdiff | raw | diff to current
2021-07-11 Ralf Jungadd GhostCell paper blob | commitdiff | raw | diff to current
2021-05-26 Ralf Jungadd GoJournal paper blob | commitdiff | raw | diff to current
2021-03-23 Ralf Jungadd CACM article to website blob | commitdiff | raw | diff to current
2020-11-26 Ralf Jungadd 'theses' section to publication list blob | commitdiff | raw | diff to current
2020-09-01 Ralf Jungfix more HTML blob | commitdiff | raw | diff to current
2020-09-01 Ralf Jungadd thesis to publication list blob | commitdiff | raw | diff to current
2020-08-31 Ralf Jungrename Iris workshop talk file to be more consistent blob | commitdiff | raw | diff to current
2020-08-31 Ralf Jungadd PRiML talk (and reference it) blob | commitdiff | raw | diff to current
2020-08-29 Ralf Jungadd some missing linebreaks blob | commitdiff | raw | diff to current
2020-08-29 Ralf Jungadd CACM article, italicize venues blob | commitdiff | raw | diff to current
2019-12-06 Ralf Jungbetter section title blob | commitdiff | raw | diff to current
2019-12-06 Ralf Jungfix URL and style blob | commitdiff | raw | diff to current
2019-12-06 Ralf Jungadd some of my talks blob | commitdiff | raw | diff to current
2019-11-18 Ralf Jungadd my POPL20 papers blob | commitdiff | raw | diff to current
2018-12-06 Ralf Jungworkshop talks are not publications blob | commitdiff | raw | diff to current
2018-12-05 Ralf Jungthe journal paper is no longer a preprint blob | commitdiff | raw | diff to current
2018-12-05 Ralf Jungthe ground-up paper got published blob | commitdiff | raw | diff to current
2018-09-22 Ralf Jungadd twinsem paper blob | commitdiff | raw | diff to current
2018-08-07 Ralf Jungmore https blob | commitdiff | raw | diff to current
2018-07-08 Ralf Jungadd MoSeL paper blob | commitdiff | raw | diff to current
2018-03-03 Ralf Jungforgot to add POPL to RustBelt publication blob | commitdiff | raw | diff to current
2018-01-21 Ralf Junglinks to POPL'18 talk blob | commitdiff | raw | diff to current
2017-11-13 Ralf Jungupdate RustBelt paper blob | commitdiff | raw | diff to current
2017-07-11 Ralf Junghttps for plv.mpi-sws.org blob | commitdiff | raw | diff to current
2017-07-08 Ralf Jungseems like 'Publications' is a collective term blob | commitdiff | raw | diff to current
2017-07-08 Ralf Jungadd two recently submitted papers blob | commitdiff | raw | diff to current
2017-01-24 Ralf Junglink directly to iris-project.org blob | commitdiff | raw | diff to current
2017-01-24 Ralf JungESOP papers are final blob | commitdiff | raw | diff to current
2016-12-19 Ralf Jungupdate papers blob | commitdiff | raw | diff to current
2016-10-11 Ralf Jungwe dont actually have an appendix for the refinement... blob | commitdiff | raw | diff to current
2016-10-11 Ralf Jungpapers update: add ICFP talk; add refinement paper blob | commitdiff | raw | diff to current
2016-07-01 Ralf Jungit's ICFP 2016 blob | commitdiff | raw | diff to current
2016-06-14 Ralf JungICFP paper has been accepted :D blob | commitdiff | raw | diff to current
2016-03-17 Ralf Jungadd HOGS blob | commitdiff | raw | diff to current
2015-10-09 Ralf Jungmake a research page happen blob | commitdiff | raw | diff to current
sources for my website