projects / web.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
personal website: delete stale files
[web.git] / research /
15 hours ago Ralf Jungpersonal website: delete stale files master tree | commitdiff
15 hours ago Ralf Jungresearch: delete 'other' files tree | commitdiff
20 hours ago Ralf Jungadd camera-ready version of itree-program-logic paper tree | commitdiff
2024-10-15 Ralf Jungadd link to department website tree | commitdiff
2024-10-02 Ralf Jungmove perennial paper to consistent location tree | commitdiff
2024-10-02 Ralf Jungtwinsem paper: directly link to current location tree | commitdiff
2024-10-02 Ralf Jungmove twinsem paper to new folder tree | commitdiff
2024-10-02 Ralf Jungadd OOPSLA paper tree | commitdiff
2024-07-02 Ralf Jungadd RefinedRust paper tree | commitdiff
2024-05-29 Ralf Jungupdate CV, remove old research statement tree | commitdiff
2024-03-21 Ralf Jungupdate website tree | commitdiff
2024-03-11 Ralf Jungcontact: use my ETH email address tree | commitdiff
2023-11-22 Ralf Junglink to group website tree | commitdiff
2023-11-22 Ralf Jungadd Grove tree | commitdiff
2023-09-29 Ralf Jungtweak image behavior on small screens tree | commitdiff
2023-09-29 Ralf Jungexperiment with a high-res version of the image tree | commitdiff
2023-09-29 Ralf Jungupdate picture tree | commitdiff
2023-06-08 Ralf Jungadd vMVCC paper tree | commitdiff
2023-01-25 Ralf Jungupdate office room number tree | commitdiff
2023-01-02 Ralf Jungdisable position ad tree | commitdiff
2022-11-18 Ralf Jungalso mention application deadline for direct doctorate tree | commitdiff
2022-11-18 Ralf Jungmention the direct doctorate program tree | commitdiff
2022-11-17 Ralf Jungupdate student ad to match email tree | commitdiff
2022-11-16 Ralf Jungclarify phd dates tree | commitdiff
2022-11-02 Ralf Jungfix address tree | commitdiff
2022-11-02 Ralf Jungupdate my adress and phone number tree | commitdiff
2022-10-07 Ralf Jungsyntax tree | commitdiff
2022-10-07 Ralf Jungbut still make it bold tree | commitdiff
2022-10-07 Ralf Jungno need to still make this red tree | commitdiff
2022-10-06 Ralf Jungadd later credits tree | commitdiff
2022-08-16 Ralf Jungfix link tree | commitdiff
2022-08-16 Ralf Jungannounce my ETH position :-)) tree | commitdiff
2022-07-03 Ralf JungI am no longer on the job market tree | commitdiff
2022-07-03 Ralf Jungresearch page moved to new location tree | commitdiff
2022-06-19 Ralf Jungmore https tree | commitdiff
2022-04-10 Ralf Jungthis seems to be a better approximation of my room... tree | commitdiff
2022-01-20 Ralf JungSimuliris paper award tree | commitdiff
2021-12-20 Ralf Jungadd Simuliris paper tree | commitdiff
2021-11-15 Ralf Jungupdate CV and research statement tree | commitdiff
2021-11-08 Ralf Jungupdate CV and research statement tree | commitdiff
2021-10-27 Ralf Jungmention Derek tree | commitdiff
2021-10-26 Ralf Jungadd Eduard Martin Preis tree | commitdiff
2021-10-26 Ralf Junggive some room number tree | commitdiff
2021-10-07 Ralf Jungupdate research website tree | commitdiff
2021-09-16 Ralf Jungbe less redundant about the year of my thesis tree | commitdiff
2021-09-16 Ralf Jungadd SIGPLAN award tree | commitdiff
2021-09-16 Ralf Jungget rid of MPI-SWS imprint tree | commitdiff
2021-09-16 Ralf Jungremove old redirect file tree | commitdiff
2021-09-16 Ralf Jungupdate my afiliation tree | commitdiff
2021-09-16 Ralf Jungmove research website to my server tree | commitdiff
2021-08-25 Ralf Junglink to OSDI website tree | commitdiff
2021-07-14 Ralf Jungthe ACM news is out :) tree | commitdiff
2021-07-11 Ralf Jungadd GhostCell paper tree | commitdiff
2021-05-26 Ralf Jungadd GoJournal paper tree | commitdiff
2021-05-02 Ralf Jungadd Otto Hahn medal tree | commitdiff
2021-03-23 Ralf Jungadd CACM article to website tree | commitdiff
2021-03-16 Ralf Jungwin -> receive tree | commitdiff
2021-03-11 Ralf Jungadd ETAPS award :) tree | commitdiff
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
next
sources for my website