projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
First draft of stacked borows impl post
[web.git]
/
research
/
publications.html
2018-09-22
Ralf Jung
add twinsem paper
blob
|
commitdiff
|
raw
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