projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
license some blog posts under CC BY-SA 4.0
[web.git]
/
research
/
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
2016-07-01
Ralf Jung
it's ICFP 2016
tree
|
commitdiff
2016-06-14
Ralf Jung
ICFP paper has been accepted :D
tree
|
commitdiff
2016-03-17
Ralf Jung
add HOGS
tree
|
commitdiff
2016-01-13
Ralf Jung
*oops* typo
tree
|
commitdiff
2016-01-13
Ralf Jung
add link to RustBelt page
tree
|
commitdiff
2016-01-02
Ralf Jung
split CSS into several files; take some CSS from the...
tree
|
commitdiff
2015-10-12
Ralf Jung
fix research page
tree
|
commitdiff
2015-10-12
Ralf Jung
research: add link to research category of my blog
tree
|
commitdiff
2015-10-09
Ralf Jung
make a research page happen
tree
|
commitdiff
2015-10-09
Ralf Jung
prepare for having two sites: personal and research
tree
|
commitdiff