projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fix an old typo and remove a reduntant clause
[web.git]
/
research
/
2024-10-02
Ralf Jung
move perennial paper to consistent location
tree
|
commitdiff
2024-10-02
Ralf Jung
twinsem paper: directly link to current location
tree
|
commitdiff
2024-10-02
Ralf Jung
move twinsem paper to new folder
tree
|
commitdiff
2024-10-02
Ralf Jung
add OOPSLA paper
tree
|
commitdiff
2024-07-02
Ralf Jung
add RefinedRust paper
tree
|
commitdiff
2024-05-29
Ralf Jung
update CV, remove old research statement
tree
|
commitdiff
2024-03-21
Ralf Jung
update website
tree
|
commitdiff
2024-03-11
Ralf Jung
contact: use my ETH email address
tree
|
commitdiff
2023-11-22
Ralf Jung
link to group website
tree
|
commitdiff
2023-11-22
Ralf Jung
add Grove
tree
|
commitdiff
2023-09-29
Ralf Jung
tweak image behavior on small screens
tree
|
commitdiff
2023-09-29
Ralf Jung
experiment with a high-res version of the image
tree
|
commitdiff
2023-09-29
Ralf Jung
update picture
tree
|
commitdiff
2023-06-08
Ralf Jung
add vMVCC paper
tree
|
commitdiff
2023-01-25
Ralf Jung
update office room number
tree
|
commitdiff
2023-01-02
Ralf Jung
disable position ad
tree
|
commitdiff
2022-11-18
Ralf Jung
also mention application deadline for direct doctorate
tree
|
commitdiff
2022-11-18
Ralf Jung
mention the direct doctorate program
tree
|
commitdiff
2022-11-17
Ralf Jung
update student ad to match email
tree
|
commitdiff
2022-11-16
Ralf Jung
clarify phd dates
tree
|
commitdiff
2022-11-02
Ralf Jung
fix address
tree
|
commitdiff
2022-11-02
Ralf Jung
update my adress and phone number
tree
|
commitdiff
2022-10-07
Ralf Jung
syntax
tree
|
commitdiff
2022-10-07
Ralf Jung
but still make it bold
tree
|
commitdiff
2022-10-07
Ralf Jung
no need to still make this red
tree
|
commitdiff
2022-10-06
Ralf Jung
add later credits
tree
|
commitdiff
2022-08-16
Ralf Jung
fix link
tree
|
commitdiff
2022-08-16
Ralf Jung
announce my ETH position :-))
tree
|
commitdiff
2022-07-03
Ralf Jung
I am no longer on the job market
tree
|
commitdiff
2022-07-03
Ralf Jung
research page moved to new location
tree
|
commitdiff
2022-06-19
Ralf Jung
more https
tree
|
commitdiff
2022-04-10
Ralf Jung
this seems to be a better approximation of my room...
tree
|
commitdiff
2022-01-20
Ralf Jung
Simuliris paper award
tree
|
commitdiff
2021-12-20
Ralf Jung
add Simuliris paper
tree
|
commitdiff
2021-11-15
Ralf Jung
update CV and research statement
tree
|
commitdiff
2021-11-08
Ralf Jung
update CV and research statement
tree
|
commitdiff
2021-10-27
Ralf Jung
mention Derek
tree
|
commitdiff
2021-10-26
Ralf Jung
add Eduard Martin Preis
tree
|
commitdiff
2021-10-26
Ralf Jung
give some room number
tree
|
commitdiff
2021-10-07
Ralf Jung
update research website
tree
|
commitdiff
2021-09-16
Ralf Jung
be less redundant about the year of my thesis
tree
|
commitdiff
2021-09-16
Ralf Jung
add SIGPLAN award
tree
|
commitdiff
2021-09-16
Ralf Jung
get rid of MPI-SWS imprint
tree
|
commitdiff
2021-09-16
Ralf Jung
remove old redirect file
tree
|
commitdiff
2021-09-16
Ralf Jung
update my afiliation
tree
|
commitdiff
2021-09-16
Ralf Jung
move research website to my server
tree
|
commitdiff
2021-08-25
Ralf Jung
link to OSDI website
tree
|
commitdiff
2021-07-14
Ralf Jung
the ACM news is out :)
tree
|
commitdiff
2021-07-11
Ralf Jung
add GhostCell paper
tree
|
commitdiff
2021-05-26
Ralf Jung
add GoJournal paper
tree
|
commitdiff
2021-05-02
Ralf Jung
add Otto Hahn medal
tree
|
commitdiff
2021-03-23
Ralf Jung
add CACM article to website
tree
|
commitdiff
2021-03-16
Ralf Jung
win -> receive
tree
|
commitdiff
2021-03-11
Ralf Jung
add ETAPS award :)
tree
|
commitdiff
2021-01-15
Ralf Jung
fix typo
tree
|
commitdiff
2020-12-08
Ralf Jung
update screen render of thesis
tree
|
commitdiff
2020-11-26
Ralf Jung
add 'theses' section to publication list
tree
|
commitdiff
2020-11-19
Ralf Jung
mention MIT
tree
|
commitdiff
2020-09-24
Ralf Jung
I am not a PhD student any more...
tree
|
commitdiff
2020-09-10
Ralf Jung
add thesis DOI
tree
|
commitdiff
2020-09-01
Ralf Jung
fix more HTML
tree
|
commitdiff
2020-09-01
Ralf Jung
fix HTML
tree
|
commitdiff
2020-09-01
Ralf Jung
add thesis to publication list
tree
|
commitdiff
2020-09-01
Ralf Jung
add my PhD thesis
tree
|
commitdiff
2020-08-31
Ralf Jung
fix redirects
tree
|
commitdiff
2020-08-31
Ralf Jung
rename Iris workshop talk file to be more consistent
tree
|
commitdiff
2020-08-31
Ralf Jung
add twinsem paper
tree
|
commitdiff
2020-08-31
Ralf Jung
add PRiML talk (and reference it)
tree
|
commitdiff
2020-08-31
Ralf Jung
add bachelor thesis
tree
|
commitdiff
2020-08-31
Ralf Jung
add iris talks
tree
|
commitdiff
2020-08-30
Ralf Jung
disable thesis site for now
tree
|
commitdiff
2020-08-30
Ralf Jung
add thesis page stub
tree
|
commitdiff
2020-08-29
Ralf Jung
add some missing linebreaks
tree
|
commitdiff
2020-08-29
Ralf Jung
add CACM article, italicize venues
tree
|
commitdiff
2019-12-06
Ralf Jung
better section title
tree
|
commitdiff
2019-12-06
Ralf Jung
fix URL and style
tree
|
commitdiff
2019-12-06
Ralf Jung
add some of my talks
tree
|
commitdiff
2019-11-18
Ralf Jung
add my POPL20 papers
tree
|
commitdiff
2019-02-15
Ralf Jung
update room number
tree
|
commitdiff
2018-12-07
Ralf Jung
add research statement
tree
|
commitdiff
2018-12-06
Ralf Jung
workshop talks are not publications
tree
|
commitdiff
2018-12-05
Ralf Jung
the journal paper is no longer a preprint
tree
|
commitdiff
2018-12-05
Ralf Jung
the ground-up paper got published
tree
|
commitdiff
2018-11-21
Ralf Jung
fix tracking generated HTML files
tree
|
commitdiff
2018-11-21
Ralf Jung
track HTML changes in git
tree
|
commitdiff
2018-09-22
Ralf Jung
add twinsem paper
tree
|
commitdiff
2018-08-07
Ralf Jung
more https
tree
|
commitdiff
2018-07-08
Ralf Jung
add MoSeL paper
tree
|
commitdiff
2018-05-23
Ralf Jung
add MPI-SWS imrpint links
tree
|
commitdiff
2018-03-03
Ralf Jung
forgot to add POPL to RustBelt publication
tree
|
commitdiff
2018-01-21
Ralf Jung
links to POPL'18 talk
tree
|
commitdiff
2017-11-13
Ralf Jung
update RustBelt paper
tree
|
commitdiff
2017-07-11
Ralf Jung
https for plv.mpi-sws.org
tree
|
commitdiff
2017-07-08
Ralf Jung
seems like 'Publications' is a collective term
tree
|
commitdiff
2017-07-08
Ralf Jung
add two recently submitted papers
tree
|
commitdiff
2017-01-24
Ralf Jung
link directly to iris-project.org
tree
|
commitdiff
2017-01-24
Ralf Jung
ESOP papers are final
tree
|
commitdiff
2016-12-19
Ralf Jung
update papers
tree
|
commitdiff
2016-10-11
Ralf Jung
we dont actually have an appendix for the refinement...
tree
|
commitdiff
2016-10-11
Ralf Jung
papers update: add ICFP talk; add refinement paper
tree
|
commitdiff
next