projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
add hiring note
[web.git]
/
research
/
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