projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add OOPSLA paper
[web.git]
/
research
/
index.html
2024-05-29
Ralf Jung
update CV, remove old research statement
blob
|
commitdiff
|
raw
2024-03-21
Ralf Jung
update website
blob
|
commitdiff
|
raw
|
diff to current
2023-11-22
Ralf Jung
link to group website
blob
|
commitdiff
|
raw
|
diff to current
2023-09-29
Ralf Jung
tweak image behavior on small screens
blob
|
commitdiff
|
raw
|
diff to current
2023-09-29
Ralf Jung
experiment with a high-res version of the image
blob
|
commitdiff
|
raw
|
diff to current
2023-01-02
Ralf Jung
disable position ad
blob
|
commitdiff
|
raw
|
diff to current
2022-11-18
Ralf Jung
also mention application deadline for direct doctorate
blob
|
commitdiff
|
raw
|
diff to current
2022-11-18
Ralf Jung
mention the direct doctorate program
blob
|
commitdiff
|
raw
|
diff to current
2022-11-17
Ralf Jung
update student ad to match email
blob
|
commitdiff
|
raw
|
diff to current
2022-11-16
Ralf Jung
clarify phd dates
blob
|
commitdiff
|
raw
|
diff to current
2022-11-02
Ralf Jung
update my adress and phone number
blob
|
commitdiff
|
raw
|
diff to current
2022-08-16
Ralf Jung
fix link
blob
|
commitdiff
|
raw
|
diff to current
2022-08-16
Ralf Jung
announce my ETH position :-))
blob
|
commitdiff
|
raw
|
diff to current
2022-07-03
Ralf Jung
I am no longer on the job market
blob
|
commitdiff
|
raw
|
diff to current
2021-10-27
Ralf Jung
mention Derek
blob
|
commitdiff
|
raw
|
diff to current
2021-10-07
Ralf Jung
update research website
blob
|
commitdiff
|
raw
|
diff to current
2021-09-16
Ralf Jung
update my afiliation
blob
|
commitdiff
|
raw
|
diff to current
2021-01-15
Ralf Jung
fix typo
blob
|
commitdiff
|
raw
|
diff to current
2020-11-19
Ralf Jung
mention MIT
blob
|
commitdiff
|
raw
|
diff to current
2020-09-24
Ralf Jung
I am not a PhD student any more...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-07
Ralf Jung
add research statement
blob
|
commitdiff
|
raw
|
diff to current
2018-08-07
Ralf Jung
more https
blob
|
commitdiff
|
raw
|
diff to current
2017-07-11
Ralf Jung
https for plv.mpi-sws.org
blob
|
commitdiff
|
raw
|
diff to current
2016-01-13
Ralf Jung
*oops* typo
blob
|
commitdiff
|
raw
|
diff to current
2016-01-13
Ralf Jung
add link to RustBelt page
blob
|
commitdiff
|
raw
|
diff to current
2015-10-12
Ralf Jung
research: add link to research category of my blog
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Ralf Jung
make a research page happen
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Ralf Jung
prepare for having two sites: personal and research
blob
|
commitdiff
|
raw
|
diff to current
projects / web.git / history