projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
more on 'udi' and angelic non-determinism; make some sentences less long
[web.git]
/
research
/
publications.html
2022-01-20
Ralf Jung
Simuliris paper award
blob
|
commitdiff
|
raw
2021-12-20
Ralf Jung
add Simuliris paper
blob
|
commitdiff
|
raw
|
diff to current
2021-08-25
Ralf Jung
link to OSDI website
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Ralf Jung
add GhostCell paper
blob
|
commitdiff
|
raw
|
diff to current
2021-05-26
Ralf Jung
add GoJournal paper
blob
|
commitdiff
|
raw
|
diff to current
2021-03-23
Ralf Jung
add CACM article to website
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Ralf Jung
add 'theses' section to publication list
blob
|
commitdiff
|
raw
|
diff to current
2020-09-01
Ralf Jung
fix more HTML
blob
|
commitdiff
|
raw
|
diff to current
2020-09-01
Ralf Jung
add thesis to publication list
blob
|
commitdiff
|
raw
|
diff to current
2020-08-31
Ralf Jung
rename Iris workshop talk file to be more consistent
blob
|
commitdiff
|
raw
|
diff to current
2020-08-31
Ralf Jung
add PRiML talk (and reference it)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-29
Ralf Jung
add some missing linebreaks
blob
|
commitdiff
|
raw
|
diff to current
2020-08-29
Ralf Jung
add CACM article, italicize venues
blob
|
commitdiff
|
raw
|
diff to current
2019-12-06
Ralf Jung
better section title
blob
|
commitdiff
|
raw
|
diff to current
2019-12-06
Ralf Jung
fix URL and style
blob
|
commitdiff
|
raw
|
diff to current
2019-12-06
Ralf Jung
add some of my talks
blob
|
commitdiff
|
raw
|
diff to current
2019-11-18
Ralf Jung
add my POPL20 papers
blob
|
commitdiff
|
raw
|
diff to current
2018-12-06
Ralf Jung
workshop talks are not publications
blob
|
commitdiff
|
raw
|
diff to current
2018-12-05
Ralf Jung
the journal paper is no longer a preprint
blob
|
commitdiff
|
raw
|
diff to current
2018-12-05
Ralf Jung
the ground-up paper got published
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Ralf Jung
add twinsem paper
blob
|
commitdiff
|
raw
|
diff to current
2018-08-07
Ralf Jung
more https
blob
|
commitdiff
|
raw
|
diff to current
2018-07-08
Ralf Jung
add MoSeL paper
blob
|
commitdiff
|
raw
|
diff to current
2018-03-03
Ralf Jung
forgot to add POPL to RustBelt publication
blob
|
commitdiff
|
raw
|
diff to current
2018-01-21
Ralf Jung
links to POPL'18 talk
blob
|
commitdiff
|
raw
|
diff to current
2017-11-13
Ralf Jung
update RustBelt paper
blob
|
commitdiff
|
raw
|
diff to current
2017-07-11
Ralf Jung
https for plv.mpi-sws.org
blob
|
commitdiff
|
raw
|
diff to current
2017-07-08
Ralf Jung
seems like 'Publications' is a collective term
blob
|
commitdiff
|
raw
|
diff to current
2017-07-08
Ralf Jung
add two recently submitted papers
blob
|
commitdiff
|
raw
|
diff to current
2017-01-24
Ralf Jung
link directly to iris-project.org
blob
|
commitdiff
|
raw
|
diff to current
2017-01-24
Ralf Jung
ESOP papers are final
blob
|
commitdiff
|
raw
|
diff to current
2016-12-19
Ralf Jung
update papers
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Ralf Jung
we dont actually have an appendix for the refinement...
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Ralf Jung
papers update: add ICFP talk; add refinement paper
blob
|
commitdiff
|
raw
|
diff to current
2016-07-01
Ralf Jung
it's ICFP 2016
blob
|
commitdiff
|
raw
|
diff to current
2016-06-14
Ralf Jung
ICFP paper has been accepted :D
blob
|
commitdiff
|
raw
|
diff to current
2016-03-17
Ralf Jung
add HOGS
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Ralf Jung
make a research page happen
blob
|
commitdiff
|
raw
|
diff to current
projects / web.git / history