projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d3928ea
)
link to OSDI website
author
Ralf Jung
<post@ralfj.de>
Wed, 25 Aug 2021 14:22:51 +0000
(16:22 +0200)
committer
Ralf Jung
<post@ralfj.de>
Wed, 25 Aug 2021 14:22:51 +0000
(16:22 +0200)
research/publications.html
patch
|
blob
|
history
diff --git
a/research/publications.html
b/research/publications.html
index 460155c1c80b21fba5008ac765862279ca2910f8..a761219ff179fae2d0c5e98430c4b126b4984412 100644
(file)
--- a/
research/publications.html
+++ b/
research/publications.html
@@
-17,7
+17,7
@@
slug: Publications
<ul><li>
<b>GoJournal: a verified, concurrent, crash-safe journaling system</b><br/>
Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich<br>
<ul><li>
<b>GoJournal: a verified, concurrent, crash-safe journaling system</b><br/>
Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich<br>
- <i>In
OSDI 2021
</i><br>
+ <i>In
<a href="https://www.usenix.org/conference/osdi21">OSDI 2021</a>
</i><br>
[<a href="perennial/gojournal.pdf">paper</a>]
</li></ul>
[<a href="perennial/gojournal.pdf">paper</a>]
</li></ul>